Evaluation of OrViA Framework for Model-Driven SOA Implementations: An Industrial Case Study

  • Sebastian Stein
  • Stefan Kühne
  • Jens Drawehn
  • Sven Feja
  • Werner Rotzoll
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5240)


Today, most business processes are at least partially supported by IT systems. An integration of those IT systems is required, because a business process usually involves several IT systems. The OrViA framework suggests a model-driven approach to solve this integration problem. Platform independent business processes are modelled and transformed into executable ones. To ensure compliance to internal and external policies, the OrViA framework suggests using model checking technologies.

We present an industrial case study evaluating the OrViA framework in context of a model-driven SOA implementation in the E-Government domain. We were able to successfully apply the OrViA framework, but we also identified several problems. Our case study shows how model-driven approaches can be successfully applied in real-world projects.


Business Process Model Check Model Transformation Kripke Structure Computation Tree Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Smith, H., Fingar, P.: Business Process Management: The Third Wave, 1st edn. Meghan-Kiffer Press, Tampa (2003)Google Scholar
  2. 2.
    Miller, J., Mukerji, J.: MDA guide. Technical Report omg/2003-06-01, Object Management Group (OMG) Version 1.0.1 (June 2003)Google Scholar
  3. 3.
    McGovern, J., Sims, O., Jain, A., Little, M.: Enterprise Service Oriented Architectures. Springer, Dordrecht (2006)Google Scholar
  4. 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)Google Scholar
  5. 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)Google Scholar
  6. 6.
    Lau, E.: E-government: Analysis framework and methodology. Puma(2001)16/ann/rev1, OECD (2001),$FILE/JT00118445.PDF
  7. 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)Google Scholar
  8. 8.
    Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: Business Process Execution Language for Web Services (BPEL4WS) 1.1. Technical report, OASIS (May 2003),
  9. 9.
    Creswell, J.W.: Research design: Qualitative, quantitative, and mixed method approaches, 2nd edn. Sage Publications, Inc, Thousand Oaks (2002)Google Scholar
  10. 10.
    Popper, K.: Logik der Forschung, 11th edn. Mohr Siebeck, Tübingen (1934)zbMATHGoogle Scholar
  11. 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)CrossRefzbMATHGoogle Scholar
  12. 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)CrossRefGoogle Scholar
  13. 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)Google Scholar
  14. 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)CrossRefGoogle Scholar
  15. 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)Google Scholar
  16. 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)CrossRefGoogle Scholar
  17. 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)CrossRefGoogle Scholar
  18. 18.
    McMillan, K.: Symbolic Model Checking. Kluwer Academic Publishers, Dordrecht (1993)CrossRefzbMATHGoogle Scholar
  19. 19.
    Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking, 3rd edn. The MIT Press, Cambridge (2001)Google Scholar
  20. 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)Google Scholar
  21. 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)Google Scholar
  22. 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)Google Scholar
  23. 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)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Sebastian Stein
    • 1
  • Stefan Kühne
    • 2
  • Jens Drawehn
    • 3
  • Sven Feja
    • 4
  • Werner Rotzoll
    • 5
  1. 1.IDS Scheer AGSaarbrückenGermany
  2. 2.Universität Leipzig, Institut für Informatik, Betriebliche InformationssystemeLeipzigGermany
  3. 3.Fraunhofer Institut für Arbeitswissenschaft und OrganisationStuttgartGermany
  4. 4.Christian-Albrechts-Universität zu KielKielGermany
  5. 5.DVZ Datenverarbeitungszentrum Mecklenburg-Vorpommern GmbHSchwerinGermany

Personalised recommendations