Workflow Partitioning in Mobile Information Systems

Baresi, Luciano; Maurino, Andrea; Modafferi, Stefano

doi:10.1007/0-387-22874-8_7

Cited by 33 publications

(27 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Such unpredictability cannot be modeled into a traditionally static workflow [6]. Here the BPM has to adapt to the state of a number of services related to the context in which they are present.…”

Section: Mobile Servicesmentioning

confidence: 99%

The Challenge of Dynamic Services in Business Process Management

Kirkham¹,

Winfield²,

Haberecht³

et al. 2011

IJDS

View full text Add to dashboard Cite

show abstract

Section: Mobile Servicesmentioning

confidence: 99%

The Challenge of Dynamic Services in Business Process Management

Kirkham¹,

Winfield²,

Haberecht³

et al. 2011

IJDS

View full text Add to dashboard Cite

show abstract

“…Another stream of related work concerns the decentralized execution of service-oriented processes [2], [11]. A serviceoriented process in this context is a set of interrelated tasks whose execution involves multiple services.…”

Section: Related Workmentioning

confidence: 99%

Bridging Global and Local Models of Service-Oriented Systems

Zaha

Dumas

Hofstede

et al. 2008

IEEE Trans. Syst., Man, Cybern. C

View full text Add to dashboard Cite

Abstract-A service-oriented system is a collection of independent services that interact with one another through message exchanges. Languages such as the Web Services Description Language (WSDL) and the Business Process Execution Language (BPEL) allow developers to capture the interactions in which an individual service can engage, both from a structural and from a behavioral perspective. However, in large service-oriented systems, stakeholders may require a global picture of the way services interact with each other, rather than multiple small pictures focusing on individual services. Such global models are especially useful when a set of services interact in such a way that none of them sees all messages being exchanged, yet interactions between some services may affect the way other services interact. Unfortunately, global models of service interactions may sometimes capture behavioral constraints that can not be enforced locally. In other words, some global models may not be translatable into a set of local models such that the sum of the local models equals the original global model. Starting from a previously proposed language for global modeling of service interactions, this paper defines an algorithm for determining if a global model is locally enforceable and an algorithm for generating local models from global ones. It also shows how local models are mapped into templates of BPEL process definitions.

show abstract

“…Some analysis were conceived to address problems that are specific to workflows. Examples of these include workflow concurrency analysis [13], graph-based partitioning of workflows [1], model checking of activity graphs [5] and checking the protocols of Web Service composition by multi-agent systems [27].…”

Section: Current Validation Approachesmentioning

confidence: 99%

Provenance-Based Validation of E-Science Experiments

et al. 2007

View full text Add to dashboard Cite

E-science experiments typically involve many distributed services maintained by different organisations. After an experiment has been executed, it is useful for a scientist to verify that the execution was performed correctly or is compatible with some existing experimental criteria or standards, not necessarily anticipated prior to execution. Scientists may also want to review and verify experiments performed by their colleagues. There are no existing frameworks for validating such experiments in today's e-science systems. Users therefore have to rely on error checking performed by the services, or adopt other ad hoc methods. This paper introduces a platform-independent framework for validating workflow executions. The validation relies on reasoning over the documented provenance of experiment results and semantic descriptions of services advertised in a registry. This validation process ensures experiments are performed correctly, and thus results generated are meaningful. The framework is tested in a bioinformatics application that performs protein compressibility analysis.

show abstract

Workflow Partitioning in Mobile Information Systems

Cited by 33 publications

References 14 publications

The Challenge of Dynamic Services in Business Process Management

The Challenge of Dynamic Services in Business Process Management

Bridging Global and Local Models of Service-Oriented Systems

Provenance-Based Validation of E-Science Experiments

Contact Info

Product

Resources

About