Skip to main content
SpringerLink
Log in

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

  • Conference paper
Business Process Management (BPM 2008)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 5240))

Included in the following conference series:

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Smith, H., Fingar, P.: Business Process Management: The Third Wave, 1st edn. Meghan-Kiffer Press, Tampa (2003)

    Google Scholar 

  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. McGovern, J., Sims, O., Jain, A., Little, M.: Enterprise Service Oriented Architectures. Springer, Dordrecht (2006)

    Google Scholar 

  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. 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. Lau, E.: E-government: Analysis framework and methodology. Puma(2001)16/ann/rev1, 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)

    Google Scholar 

  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), 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)

    Google Scholar 

  10. Popper, K.: Logik der Forschung, 11th edn. Mohr Siebeck, Tübingen (1934)

    MATH  Google Scholar 

  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)

    Book  MATH  Google Scholar 

  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)

    Article  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  18. McMillan, K.: Symbolic Model Checking. Kluwer Academic Publishers, Dordrecht (1993)

    Book  MATH  Google Scholar 

  19. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking, 3rd edn. The MIT Press, Cambridge (2001)

    Google Scholar 

  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. 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. 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. 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)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IDS Scheer AG, Altenkesseler Str. 17, 66115, Saarbrücken, Germany

    Sebastian Stein

  2. Universität Leipzig, Institut für Informatik, Betriebliche Informationssysteme, Johannisgasse 23, 04103, Leipzig, Germany

    Stefan Kühne

  3. Fraunhofer Institut für Arbeitswissenschaft und Organisation, Nobelstr. 12, 70569, Stuttgart, Germany

    Jens Drawehn

  4. Christian-Albrechts-Universität zu Kiel, 24098, Kiel, Germany

    Sven Feja

  5. DVZ Datenverarbeitungszentrum Mecklenburg-Vorpommern GmbH, Lübecker Str. 283, 19059, Schwerin, Germany

    Werner Rotzoll

Authors
  1. Sebastian Stein
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Stefan Kühne
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jens Drawehn
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Sven Feja
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Werner Rotzoll
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Tartu, J Liivi 2, 50409, Tartu, Estonia

    Marlon Dumas

  2. Department of Computer Science, Information Systems Group, University of Twente, P.O. Box 217, 7500 AE, Enschede, The Netherlands

    Manfred Reichert

  3. SAP Labs, LLC 3475 Deer Creek Road, CA 94304, Palo Alto, USA

    Ming-Chien Shan

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Stein, S., Kühne, S., Drawehn, J., Feja, S., Rotzoll, W. (2008). Evaluation of OrViA Framework for Model-Driven SOA Implementations: An Industrial Case Study. In: Dumas, M., Reichert, M., Shan, MC. (eds) Business Process Management. BPM 2008. Lecture Notes in Computer Science, vol 5240. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-85758-7_23

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-85758-7_23

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-85757-0

  • Online ISBN: 978-3-540-85758-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation