Flexible and Reliable Process Model Properties: An Integrated Approach

  • Tiziana Margaria
  • Volker Gruhn
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1641)


In this article we describe an integrated approach to process management based on the widely used LEU toolset for process modelling and workflow management and on the ABC tools for formal verification of process model properties. We show how process modelling and process model analysis benefit from this integration by gaining a fully automatic global property check capability. We illustrate the approach by means of a process model example taken from an industrial project.


Model Check Formal Method Global Constraint Formal Verification Kripke Structure 
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.
    J.R. Abrial The B Book, Assigning Programs to Meaning, Cambr. Univ. Press, 1996Google Scholar
  2. 2.
    M.v.d. Beeck, V. Braun, A. Claßen et al.: Graphs in MetaFrame; The Unifying Power of Polymorphism, Proc. TACAS’97, Enschede (NL), LNCS 1217, Springer Verlag, April 1997.Google Scholar
  3. 3.
    M. v.d. Beeck, T. Margaria, B. Steffen: A Formal Requirements Engineering Method Combining Specification, Synthesis, and Verification, Proc. IEEE SEE’97, Cottbus (D), Apr. 1997, IEEE Comp. Soc. Press, pp. 131–144.Google Scholar
  4. 4.
    V. Braun, T. Margaria, B. Steffen, F.-K. Bruhns: Service Definition for Intelligent Networks: Experience in a Leading-edge Technological Project Based on Constraint Techniques, Proc. PACT’97, 3rd Int. Conf. on Practical Applic. of Constraint Technology, April 1997, London (UK), Ed. by The Practical Application CompanyGoogle Scholar
  5. 5.
    W. Deiters and V. Gruhn. Software Process Model Analysis Based on FUNSOFT Nets. Mathematical Modeling and Simulation, (8), May 1991.Google Scholar
  6. 6.
    W. Deiters and V. Gruhn. Process Management in Practice. Applying the FUNSOFT Net Approach to Large-Scale Processes. Automated Software Engineering, (5), pp. 7–25, Kluwer, 1991.Google Scholar
  7. 7.
    W. Deiters, V. Gruhn, W. Schäfer. Process Programming: A structured Multi-Paradigm Approach Could be Achieved. In Proc. 5th Int. Software Process Workshop, Kennebunkport (USA), Sept. 1989.Google Scholar
  8. 8.
    G. Dinkhoff, V. Gruhn, A. Saalmann, M. Zielonka. Business Process Modeling in the Workflow Management Environment LEU. Proc. 13. Int. Conf. on the Entity-Relationship Approach, pp.46–63, Manchester (UK), Dec.1994, Springer, LNCS 881.Google Scholar
  9. 9.
    W. Emmerich, V. Gruhn. FUNSOFT Nets: A Petri-Net based Software Process Modeling Language. Proc. 6th Int. Worksh. on Software Specification and Design, pp.175–184, Como (I), Sept. 1991.Google Scholar
  10. 10.
    H.J. Genrich. Predicate/Transition Nets. In Petri Nets: Central Models and Their Properties, pp.208–247, Berlin (D), 1987. Springer, LNCS N. 254.CrossRefGoogle Scholar
  11. 11.
    D. Georgakopoulos, M.F. Hornick, A. Sheth. An Overview of Workflow Management: from Process Modeling to Workflow Automation Infrastructure. Journ. of Distributed and Parallel Databases, 3(2), 1995.Google Scholar
  12. 12.
    V. Gruhn. Business Process Modeling and Workflow Management. Intelligent and Cooperative Information Systems, 4(2):145–164, 1995.Google Scholar
  13. 13.
    D. Harel: Statecharts: A visual formalism for complex systems, Science of Computer Programming, vol. 8, no.3, pp.231–274, 1987zbMATHCrossRefGoogle Scholar
  14. 14.
    P. Huber, K. Jensen, R.M. Shapiro. Hierarchies in Coloured Petri Nets. Proc. 10th Int. Conf. on Application and Theory of Petri Nets, pp. 192–209, Bonn (D), 1989.Google Scholar
  15. 15.
    D. Kozen: “Results on the Propositional β-Calculus”, Theoretical Computer Science, Vol. 27, 1983, pp. 333–354.zbMATHCrossRefGoogle Scholar
  16. 16.
    U. Leonhardt, J. Kramer, B. Nuseibeh, A. Finkelstein. Decentralised Process Modelling in a Multi-Perspective Development Environment. Proc. ICSE 17, pp.255–264, Seattle (USA), April 1995.Google Scholar
  17. 17.
    T. Margaria, V. Braun: Formal Methods and Customized Visualization: A Fruitful Symbiosis In Services and Visualization, LNCS 1385, Springer Verlag.Google Scholar
  18. 18.
    T. Margaria, V. Braun, B. Steffen, R. Rückert: Personalized Electronic Commerce Services, to appear in Annual Review of Communication, Int. Engineering Consortium Chicago (USA), IEC, 1998.Google Scholar
  19. 19.
    C. Montangero, ed. Software Process Technology-Proc. 5th Europ. Worksh. on Software Process Modelling, Nancy (F), Oct. 1996, Springer, LNCS N. 1149.Google Scholar
  20. 20.
    G. Plotkin: A Structural Approach to Operational Semantics, Univ. of Aarhus (DK), DAIMI FN-19, 1981.Google Scholar
  21. 21.
    P. Starke. On the mutual simulatability of different types of Petri nets. In Concurrency and Nets, pp. 481–495, Berlin, FRG, 1987. Springer.Google Scholar
  22. 22.
    B. Steffen: Unifying Models, Inv. talk, 14th Symp. on Theoretical Aspects of Computer Science (STACS’97), Feb.–Mar. 1997, Lübeck (D), LNCS, Springer Verlag.Google Scholar
  23. 23.
    B. Steffen, A. Claßen, M. Klein, J. Knoop, T. Margaria: The Fixpoint Analysis Machine, Proc. CONCUR’95, Pittsburgh (USA), Aug. 1995, Springer, LNCS 962.Google Scholar
  24. 24.
    B. Steffen, T. Margaria: Tools Get Formal Methods into Practice, pos. statement, ACM Worksh. on Strategic Directions in Computing Research, ACM Computing Surveys 28A(4), Dec. 1996,
  25. 25.
    B. Steffen, T. Margaria, V. Braun: The Electronic Tool Integration Platform: Concepts and Design, Int. Jour. on Software Tools for Technology Transfer, Vol.1, Springer Verlag, Dec. 1997, pp. 9–31.zbMATHCrossRefGoogle Scholar
  26. 26.
    B. Steffen, T. Margaria, V. Braun, N. Kalt: Hierarchical Service Definition, Annual Review of Communication, Int. Eng. Consortium, Chicago (USA), IEC, 1997.Google Scholar
  27. 27.
    B. Steffen, T. Margaria, A. Claßen, V. Braun: “Incremental Formalization: a Key to Industrial Success”, Software: Concepts and Tools 17(2), pp.78–91, Springer Verlag., July 1996.Google Scholar
  28. 28.
    C. Stirling: Modal and Temporal Logics, In Handbook of Logics in Computer Science, Vol. 2, pp. 478–551, Oxford Univ. Press, 1995.Google Scholar
  29. 29.
    B. Warboys. Reflections on the Relationship Between BPR and Software Process Modelling. Proc. 13. Int. Conf. on the Entity-Relationship Approach, pp. 1–9, Manchester (UK) Dec. 1994. Springer, LNCS 881.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Tiziana Margaria
    • 1
  • Volker Gruhn
    • 2
  1. 1.MetaFrame Technologies GmbHDortmundGermany
  2. 2.Universität DortmundDortmundGermany

Personalised recommendations