Skip to main content
SpringerLink
Log in

Flexible and Reliable Process Model Properties: An Integrated Approach

  • Conference paper
Book cover Applied Formal Methods — FM-Trends 98 (FM-Trends 1998)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1641))

Included in the following conference series:

  • 337 Accesses

Abstract

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.

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. J.R. Abrial The B Book, Assigning Programs to Meaning, Cambr. Univ. Press, 1996

    Google Scholar 

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

    Google Scholar 

  5. W. Deiters and V. Gruhn. Software Process Model Analysis Based on FUNSOFT Nets. Mathematical Modeling and Simulation, (8), May 1991.

    Google Scholar 

  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. 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. 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. 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. H.J. Genrich. Predicate/Transition Nets. In Petri Nets: Central Models and Their Properties, pp.208–247, Berlin (D), 1987. Springer, LNCS N. 254.

    Chapter  Google Scholar 

  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. V. Gruhn. Business Process Modeling and Workflow Management. Intelligent and Cooperative Information Systems, 4(2):145–164, 1995.

    Google Scholar 

  13. D. Harel: Statecharts: A visual formalism for complex systems, Science of Computer Programming, vol. 8, no.3, pp.231–274, 1987

    Article  MATH  Google Scholar 

  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. D. Kozen: “Results on the Propositional β-Calculus”, Theoretical Computer Science, Vol. 27, 1983, pp. 333–354.

    Article  MATH  Google Scholar 

  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. T. Margaria, V. Braun: Formal Methods and Customized Visualization: A Fruitful Symbiosis In Services and Visualization, LNCS 1385, Springer Verlag.

    Google Scholar 

  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. 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. G. Plotkin: A Structural Approach to Operational Semantics, Univ. of Aarhus (DK), DAIMI FN-19, 1981.

    Google Scholar 

  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. 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. 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. 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, http://www.acm.org/surveys/1996/SteffenTools/

  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.

    Article  MATH  Google Scholar 

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

Download references

Author information

Authors and Affiliations

  1. MetaFrame Technologies GmbH, Joseph-von-Fraunhofer-Str. 20, D-44227, Dortmund, Germany

    Tiziana Margaria

  2. Universität Dortmund, Baroper Str.301, D-44221, Dortmund, Germany

    Volker Gruhn

Authors
  1. Tiziana Margaria
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Volker Gruhn
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. German Research Center for Artificial Intelligence (DFKI GmbH), Stuhlsatzenhausweg 3, D-66123, Saarbrücken, Germany

    Dieter Hutter  & Werner Stephan  & 

  2. Centro per la ricerca scientifica e tecnologica, ITC-irst, via Sommarive, 18, I-38050, Povo (Trento), Italy

    Paolo Traverso

  3. Bundesamt für Sicherheit in der Informationstechnik (BSI), Godesberger Allee 183, D-53175, Bonn, Germany

    Markus Ullmann

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Margaria, T., Gruhn, V. (1999). Flexible and Reliable Process Model Properties: An Integrated Approach. In: Hutter, D., Stephan, W., Traverso, P., Ullmann, M. (eds) Applied Formal Methods — FM-Trends 98. FM-Trends 1998. Lecture Notes in Computer Science, vol 1641. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48257-1_13

Download citation

  • DOI: https://doi.org/10.1007/3-540-48257-1_13

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66462-8

  • Online ISBN: 978-3-540-48257-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation