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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
J.R. Abrial The B Book, Assigning Programs to Meaning, Cambr. Univ. Press, 1996
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.
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.
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
W. Deiters and V. Gruhn. Software Process Model Analysis Based on FUNSOFT Nets. Mathematical Modeling and Simulation, (8), May 1991.
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.
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.
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.
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.
H.J. Genrich. Predicate/Transition Nets. In Petri Nets: Central Models and Their Properties, pp.208–247, Berlin (D), 1987. Springer, LNCS N. 254.
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.
V. Gruhn. Business Process Modeling and Workflow Management. Intelligent and Cooperative Information Systems, 4(2):145–164, 1995.
D. Harel: Statecharts: A visual formalism for complex systems, Science of Computer Programming, vol. 8, no.3, pp.231–274, 1987
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.
D. Kozen: “Results on the Propositional β-Calculus”, Theoretical Computer Science, Vol. 27, 1983, pp. 333–354.
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.
T. Margaria, V. Braun: Formal Methods and Customized Visualization: A Fruitful Symbiosis In Services and Visualization, LNCS 1385, Springer Verlag.
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.
C. Montangero, ed. Software Process Technology-Proc. 5th Europ. Worksh. on Software Process Modelling, Nancy (F), Oct. 1996, Springer, LNCS N. 1149.
G. Plotkin: A Structural Approach to Operational Semantics, Univ. of Aarhus (DK), DAIMI FN-19, 1981.
P. Starke. On the mutual simulatability of different types of Petri nets. In Concurrency and Nets, pp. 481–495, Berlin, FRG, 1987. Springer.
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.
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.
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/
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.
B. Steffen, T. Margaria, V. Braun, N. Kalt: Hierarchical Service Definition, Annual Review of Communication, Int. Eng. Consortium, Chicago (USA), IEC, 1997.
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.
C. Stirling: Modal and Temporal Logics, In Handbook of Logics in Computer Science, Vol. 2, pp. 478–551, Oxford Univ. Press, 1995.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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