Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Assertions to better specify the amazon bug
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Computer
The Category of Typed Graph Grammars and its Adjunctions with Categories
Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science
UML Activity Diagrams as a Workflow Specification Language
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Modeling and validation of service-oriented architectures: application vs. style
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Understanding SOA with Web Services (Independent Technology Guides)
Understanding SOA with Web Services (Independent Technology Guides)
Declarative techniques for model-driven business process integration
IBM Systems Journal
Model-driven Monitoring: Generating Assertions from Visual Contracts
ASE '06 Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering
Analysis of UML activities using dynamic meta modeling
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
Sound and complete abstract graph transformation
SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications
Towards an automatic service discovery for UML-based rich service descriptions
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Hi-index | 0.00 |
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.