Sciweavers

Share
AGTIVE
2007
Springer

Assuring Consistency of Business Process Models and Web Services Using Visual Contracts

11 years 6 months ago
Assuring Consistency of Business Process Models and Web Services Using Visual Contracts
Abstract. Business process models describe workflows by a set of actions together with their ordering. When implementing business processes within a service-oriented architecture, these actions are mapped to existing IT (web) services, which are then to be executed in the order specified by the business process. However, the execution of a web service can require certain preconditions to be fulfilled. These might not hold at the time of execution specified in the business process model: it can be inconsistent with the web service specification. In this paper we propose a technique for checking consistency of process models with web service specifications. To this end, both are equipped with a formal semantics (in terms of graph transformations). We show how to use an existing model checker for graph transformation systems to carry out the consistency check. Key words: Business processes, web services, UML Activities, visual contracts, graph transformations
Gregor Engels, Baris Güldali, Christian Solte
Added 07 Jun 2010
Updated 07 Jun 2010
Type Conference
Year 2007
Where AGTIVE
Authors Gregor Engels, Baris Güldali, Christian Soltenborn, Heike Wehrheim
Comments (0)
books