The increasing popularity of mobile devices fosters the omnipresence of services in mobile environments. Software systems in a mobile environment often want to manage a set of services that form a logical group and orchestrate the execution of a particular process for all its members. To orchestrate a group of services, abstractions are required which allow control over the execution in a way t...

This work presents a new approach to handling knowledge-intensive business processes in an adaptive, flexible and accurate way. We propose to support processes by executing a process skeleton, consisting of the most important recurring activities of the process, through a workflow engine. This skeleton should be kept simple. The corresponding workflow is complemented by two features: firstly, a...

In this paper, we address workflow management system for automatically operating yard management system which can fill up a gap between transportation and warehouse management system in supply chain management. But, it is difficult to find an optimal solution for yard operation problems because of its dynamic complexities. Instead, we propose workflow management system which describes the autom...

The suitability of the BPEL workflow description language for the dynamic composition of Web services representing computational algebra systems is investigated. The prototype implementation of the system for dynamic generation of BPEL workflows and two examples demonstrating the benefits of our approach are described. One of important aspects of the design is that the composition is achieved u...

When a new electronic service is composed from existing ones, the characteristics of the component services will naturally have a major influence on both the functional and the non-functional characteristics of the composite service. When more than one service satisfy the specified functional requirements of a given component for a composite service, these services can be differentiated on the ...

In this paper, we present a Workflow-based grId portal for problem Solving Environment(WISE) which has been developed by integrating workflow, Grid and web technology to provide an enhanced powerful approach for problem solving environment. Workflow technology supports coordinated execution of multiple application tasks on Grid resources by enabling users to describe a workflow by composing man...

In this paper, we present a Workflow-based grId portal for problem Solving Environment(WISE) which has been developed by integrating workflow, Grid and web technology to provide an enhanced powerful approach for problem solving environment. Workflow technology supports coordinated execution of multiple application tasks on Grid resources by enabling users to describe a workflow by composing man...

In 2000, after a comprehensive survey of tools and techniques for workflow management, 20 control-flow patterns were identified [5] and made these available through www.workflowpatterns.com. Since then, many commercial and academic workflow management systems have been evaluated using these patterns. Moreover, standards such as BPEL and XPDL have been evaluated and these evaluations have trigge...

Service-Oriented Architecture Workflow Patterns Coloured Petri Nets In Service-Oriented Architectures (SOA) services are composed by coordinating their communications into a flow of interactions. Coloured Petri nets (CPN) offer a formal yet easy tool for modelling abstract SOAs. Still, mapping abstract SOAs into executable ones requires a non-trivial and time-costly analysis. Here, we propose a...

In the paper by Grando et al. [1], the authors use formal methods to prove whether a computer-interpretable guideline modeling language satisfies a set of control-flow workflow patterns [2]. They contrast the formal proof with an earlier informal analysis [3] in which we had compared different guideline modeling languages according to workflow patterns that they supported. Grando et al. find di...