Assuring consistency of business process models and web services using visual contracts

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5088 LNCS, Issue , 2008, Pages 17-31

  Engels, Gregor ^a   Güldali, Baris ^a   Soltenborn, Christian ^a   Wehrheim, Heike ^a  

^a UNIVERSITY OF PADERBORN   (Germany)

Author keywords

Business processes; Graph transformations; UML activities; Visual contracts; Web services

Indexed keywords

FORMAL METHODS; GRAPH THEORY; INFORMATION SERVICES; MODEL CHECKING; SEMANTICS; SERVICE ORIENTED ARCHITECTURE (SOA); SPECIFICATIONS; WEBSITES;

BUSINESS PROCESS; BUSINESS PROCESS MODEL; CONSISTENCY CHECKS; GRAPH TRANSFORMATION; GRAPH TRANSFORMATION SYSTEM; SERVICE SPECIFICATIONS; UML ACTIVITIES; VISUAL CONTRACTS;

WEB SERVICES;

EID: 56749174654     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-89020-1_2     Document Type: Conference Paper

References (24)

1. Newcomer, E., Lomow, G.: Understanding SOA with Web Services. AddisonWesley, Reading (2004)
2. van der Aalst, W., Hofstede, A.: YAWL: Yet Another Workflow Language. Technical report, Queensland University of Technology, Brisbane (2002)
3. Keller, G., Niittgens, M., Scheer, A.W.: Semantische Prozessmodellierung auf der Grundlage Ereignisgesteuerter Prozessketten (EPK). Technical Report 1989, Institut für Wirtschaftsinformatik, Universität des Saarlandes (1992)
4. Andrews, T., et al.: Business Process Execution Language for Web Services version 1.1 (2003)
5. Dumas, M., Hofstede, A.: UML Activity Diagrams as a Workflow Specification Language. In: UML 2001: Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools, London, UK, pp. 76-90. Springer, Heidelberg (2001)
6. Object Management Group: UML Specification V2.1.1 (2007). http://www.omg.org/cgi-bin/doc?formal/07-02-05
7. Lohmann, M.: kontraktbasierte Modellierung, Implementierung und Suche von Komponenten in serviceorientierten Architekturen. PhD thesis, University of Paderborn (2006)
8. Hausmann, J.H.: Dynamic Meta Modeling. PhD thesis, University of Paderborn (2005)
9. Meyer, B.: Applying design by contract. IEEE Computer 25(10), 40-51 (1992)
10. Rensink, A.: The GROOVE Simulator: A Tool for State Space Generation.. In: Pfaltz, J.L., Nagl, M., Böhlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062, pp. 479-485. Springer, Heidelberg (2004)
11. Corradini, A., Ehrig, H., Löwe, M., Montanari, U., Padberg, J.: The Category of Typed Graph Grammars and its Adjunctions with Categories. In: Cuny, J., Engels, G., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1994. LNCS, vol. 1073, pp. 56-74. Springer, Heidelberg (1996)
12. van der Aalst, W., van Hee, K.: Workflow Management - Models, Methods, and Systems. MIT Press, Cambridge (2002)
13. van der Aalst, W.: Verification of Workflow Nets. In: ICATPN 1997: Proceedings of the 18th International Conference on Application and Theory of Petri Nets, London, UK, pp. 407-126. Springer, Heidelberg (1997)
14. Engels, G., Soltenborn, C., Wehrheim, H.: Analysis of UML Activities using Dynamic Meta Modeling. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol. 4468, pp. 76-90. Springer, Heidelberg (2007)
15. Chinnici, R., Moreau, J.J., Ryman, A., Weerawarana, S.: Web Services Description Language (WSDL) Version 2.0 Part 1: Core Language (2007). http://www.w3.org/TR/wsd120/
16. Engels, G., Güldali, B., Lohmann, M., Juwig, O., Richter, J.P.: Industrielle Fall-studie: Einsatz visueller Kontrakte in serviceorientierten Architekturen. In: Biel, B., Book, M., Gruhn, V. (eds.) Software Engineering, GI. LNI, vol. 79, pp. 111-122 (2006)
17. Heckel, R., Ehrig, H., Wolter, U., Corradini, A.: Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems. APCS (Applied Categorical Structures) 9(1), 83-110 (2001)
18. Koehler, J., Gschwind, T., Küster, J., Pautasso, C., Ryndina, K., Vanhatalo, J., Völzer, H.: Combining Quality Assurance and Model Transformations in Business-Driven Development. In: Proceedings of third International Symposium AGTIVE 2007, pp. 1-16 (2007) (Selected and Invited Papers)
19. Eclipse Foundation: The Eclipse project, http://www.eclipse.org/
20. Lohmann, M., Engels, G., Sauer, S.: Model-driven Monitoring: Generating Assertions from Visual Contracts. In: 21st IEEE/ACM International Conference on Automated Software Engineering (ASE) 2006 Demonstration Session (September 2006)
21. Baresi, L., Denaro, G., Mainetti, L., Paolini, P.: Assertions to better specify the amazon bug. In: Proc. of the 14th international conference on Software engineering and knowledge engineering, SEKE 2002, pp. 585-592 (2002)
22. Baresi, L., Heckel, R., Thöne, S., Varro, D.: Modeling and validation of service-oriented architectures: application vs. style. In: Proc. of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC / SIGSOFT FSE 2003, pp. 68-77 (2003)
23. Gönczy, L., Kovács, M., Varro, D.: Modeling and verification of reliable messaging by graph transformation systems. In: Proc. of the Workshop on Graph Transformation for Verification and Concurrency (ICGT 2006). Elsevier, Amsterdam (2006)
24. Koehler, J., Hauser, R., Sendall, S., Wahler, M.: Declarative techniques for model-driven business process integration. IBM Systems Journal 44(1), 47-66 (2005)