Evaluation of OrViA framework for model-driven SOA implementations: An industrial case study

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

Volumn 5240 LNCS, Issue , 2008, Pages 310-325

  Stein, Sebastian ^a   Kühne, Stefan ^b   Drawehn, Jens ^c   Feja, Sven ^d   Rotzoll, Werner ^e  

^a IDS SCHEER AG   (Germany)

^b UNIVERSITY OF LEIPZIG   (Germany)

^c UNIVERSITY OF STUTTGART   (Germany)

^d UNIVERSITY OF KIEL   (Germany)

^e DVZ Datenverarbeitungszentrum Mecklenburg Vorpommern GmbH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLIANCE CONTROL; E-GOVERNMENT; ENTERPRISE RESOURCE MANAGEMENT;

BUSINESS PROCESS; INDUSTRIAL CASE STUDY; INTEGRATION PROBLEMS; MODEL DRIVEN APPROACH; MODEL-CHECKING TECHNOLOGY; PLATFORM INDEPENDENT; REAL WORLD PROJECTS; SOA IMPLEMENTATIONS;

MODEL CHECKING;

EID: 57049143135     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-85758-7_23     Document Type: Conference Paper

References (23)

1. Smith, H., Fingar, P.: Business Process Management: The Third Wave, 1st edn. Meghan-Kiffer Press, Tampa (2003)
2. Miller, J., Mukerji, J.: MDA guide. Technical Report omg/2003-06-01, Object Management Group (OMG) Version 1.0.1 (June 2003)
3. McGovern, J., Sims, O., Jain, A., Little, M.: Enterprise Service Oriented Architectures. Springer, Dordrecht (2006)
4. Kühne, S., Thränert, M., Speck, A.: Towards a methodology for orchestration and validation of cooperative e-business components. In: Rutherford, M.J. (ed.) 7th GPCE Young Researcher Workshop, pp. 29-34 (2005)
5. Fähnrich, K.P., Kühne, S., Speck, A., Wagner, J.(eds.): Integration betrieblicher Informationssysteme: Problemanalysen und Lösungsansätze des Model-Driven Integration Engineering. Leipziger Beiträge zur Informatik, vol. IV. Eigenverlag Leipziger Informatik-Verbund (LIV), Leipzig, Germany (2006)
6. Lau, E.: E-government: Analysis framework and methodology. Puma(2001)16/ann/revl, OECD (2001), http://www.olis.oecd.org/olis/2001doc.nsf/ LinkTo/NT00000936/$FILE/JT00118445.PDF
7. Algermissen, L., Delfmann, P., Niehaves, B.: Experiences in process-oriented reorganisation through reference modelling in public administrations - the case study regio@komm. In: 13th European Conference on Information Systems, Information Systems in a Rapidly Changing Economy (ECIS) (2005)
8. Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, L., Weerawarana, S.: Business Process Execution Language for Web Services (BPEL4WS) 1.1. Technical report, OASIS (May 2003), http://www-128.ibm.com/developerworks/library/ws-bpel/
9. Creswell, J.W.: Research design: Qualitative, quantitative, and mixed method approaches, 2nd edn. Sage Publications, Inc, Thousand Oaks (2002)
10. Popper, K.: Logik der Forschung, 11th edn. Mohr Siebeck, Tübingen (1934)
11. Wohlin, C., Runeson, P., Höst, M., Ohlsson, M.C., Regnell, B., Wessén, A.: Experimentation in software engineering: an introduction. International Series in Software Engineering. Kluwer Academic Publishers, Norwell (2000)
12. Dehnert, J., van der Aalst, W.M.P.: Bridging Gap between Business Models and Workflow Specifications. International Journal of Cooperative Information Systems 13(3), 289-332 (2004)
13. Stein, S., Ivanov, K.: Vorgehensmodell zur Entwicklung von Geschäftsservices. In: Fähnrich, K.P., Thränert, M. (eds.) Integration Engineering - Motivation, Begriffe, Methoden und Anwendungsfälle. Leipziger Beiträge zur Informatik VI. Eigenverlag Leipziger Informatik-Verbund (LIV), Leipzig, Germany (2007)
14. Scheer, A.W., Thomas, O., Adam, O.: Process Modelling Using Event-Driven Process Chains. In: Dumas, M., van der Aalst, W.M.P., ter Hofstede, A.H.M. (eds.) Process-Aware Information Systems, pp. 119-146. Wiley, Hoboken (2005)
15. Stein, S., Barchewitz, K., El Kharbili, M.: Enabling Business Experts to Discover Web Services for Business Process Automation. In: Pautasso, C., Gschwind, T. (eds.) 2nd Workshop on Emerging Web Services Technology, Halle, Germany, pp. 19-35 (November 2007)
16. Pfeiffer, J.H., Rossak, W.R., Speck, A.: Applying model checking to workflow verification. In: ECBS 2004: Proceedings of the 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2004), Washington, DC, USA, pp. 144-151. IEEE Computer Society, Los Alamitos (2004)
17. Clarke, E.M., Draghicescu, I.A.: Expressibility results for linear-time and branching-time logics. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency. LNCS, vol. 354, pp. 428-437. Springer, Heidelberg (1989)
18. McMillan, K.: Symbolic Model Checking. Kluwer Academic Publishers, Dordrecht (1993)
19. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking, 3rd edn. The MIT Press, Cambridge (2001)
20. Feja, S., Fötsch, D., Stein, S.: Grafische Validierungsregeln am Beispiel von EPKs. In: Software Engineering 2008, Fachtagung des GI-Fachbereichs Softwaretechnik, München.GI, February 22. LNI (2008) (to appear)
21. Fötsch, D., Speck, A., Hänsgen, P.: The Operator Hierarchy Concept for XML Document Transformation Technologies. In: 3. Berliner XML-Tage 2005 (BXML 2005), Berlin, Germany, pp. 59-70 (2005)
22. Stein, S., Ivanov, K.: EPK nach BPEL Transformation als Vor aussetzung für praktische Um setzung einer SOA. In: Bleek, W.G., Raasch, J., Züllighoven, H. (eds.) Software Engineering 2007. Gesellschaft für Informatik (GI), Hamburg, Germany, March 2007. Lecture Notes in Informatics (LNI), vol. 105, pp. 75-80 (2007)
23. van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distributed and Parallel Databases 14(3), 5-51 (2003)