Zusammenfassung
In diesem Beitrag wird das Gebiet der formalen Verifikationsmethoden basierend auf Prozeßalgebren für den Bereich der Geschäftsprozeßmodellierung erschlossen, um somit eine Analyse von Sicherheitseigenschaften für Geschäftsprozesse mit einer formal definierten Semantik zu ermöglichen. Hierzu wird zunächst das Erweiterte Metamodell definiert, das auf dem Minimalen Metamodell der Workflow Management Coalition (WfMC) aufbaut. Für die Entitäten dieses Metamodells wird eine Abbildung in die Prozeßalgebra CCS (Calculus of Communicating Systems) entwickelt und mit dem Werkzeug FOG (Formalisierung von Geschäftsprozessen mit CCS) eine automatische Durchführung dieser Abbildung realisiert. Die Darstellung in einer Prozeßalgebra erlaubt dann u.a. die Verifikation von Sicherheitsanforderungen, die auf Basis Temporaler Logiken formuliert werden.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
R.E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers, 35 (8): 677–691, 1986.
J.C.M. Baeten and W.P. Weijland. Process Algebra. Cambridge University Press, 1990.
Workflow-Management Coalition. Terminology & Glossary. Technical Report TC-1011, Workflow Management Coalition, Juni 1996. Issue 2. 0.
R. Cleaveland, J. Parrow, and B. Steffen. The concurrency workbench: A semantics-based tool for the verification of concurrent systems. ACM Transactions on Programming Languages and Systems, 15 (1): 36–72, Januar 1993.
A. Kotz-Dittrich, P. Muth, G. Weikum, J. Weißenfels und D.Wodtke. Spezifikation, Verifikation und verteilte Ausfßhrung von Workflows in MENTOR. Informatik Forschung und Entwicklung, 12 (2): 61–71, 1997.
E.A. Emerson. Temporal and Modal Logic. In J. van Leeuwen, editor, Handbook of theoretical computer science, Band B, Kapitel 16, Seiten 995–1072, Elsevier, 1992.
J. Gray and A. Reuter. Transaction processing: concepts and techniques. Morgan Kaufmann Publishers, 1993.
M. Hammer und J. Champy. Business Reengineering: Die Radikalkur fßr das Unternehmen. Campus-Verlag, 1994.
M.C.B. Hennessy and R. Milner. Algebraic laws for nondeterminism and concurrency. Journal of the ACM, 32(1): 137–161, Januar 1985. D. Hollingsworth. The workflow reference model. Technical Report TC-1003, Workflow Management Coalition, November 1994. Issue 1.1.
Bundesamt fßr Sicherheit in der Informationstechnik (BSI). IT- Sicherheitshandbuch: Handbuch fßr die sichere Anwendung der Informationstechnik. Version 1.0, BSI 7105. März 1992.
L. Lamport. Specifying concurrent program modules. ACM Transactions on Programming Languages and Systems, 5: 190–222, 1983.
J. Lechtenbärger. Geschßftsprozeßmodellierung unter der Verwendung der Prozeßalgebra CCS. Diplomarbeit, Abteilung Informationssysteme, Fachbereich Informatik, Universität Oldenburg, Juli 1997.
K.L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
R. Milner. Communication and Concurrency. Prentice-Hall, London, 1989.
F. Neuscheler. Ein integrierter Ansatz zur Analyse und Bewertung von Geschäftsprozessen. Dissertation, Universität Karlsruhe, 1995.
E.R. Olderog. Nets, terms and formulas—Three views of concurrent processes and their relationship. Cambridge University Press, 1991.
One96] Work Group One. Interface 1: Process definition interchange. Technical Report TC-1016, Workflow Management Coalition, Mai 1996. Version 1.0 Beta.
D.M.R. Park. Concurrency and automata on infinite sequences. LNCS, Band 104, Springer-Verlag, 1980.
G.D. Plotkin. A structural approach to operational semantics. Technical Report DAIMI-FN-19, Arhus University, 1981.
A. Pnueli. A temporal logic of concurrent programs. Theoretical Computer Science, 13: 45–60, 1981.
J. Ritter. Der Meta-Editor ASSUME. Technischer Bericht, Institut OFFIS, Oldenburg, Juni 1997.
C. Stirling. Modal and temporal logics for processes. LNCS, Band 1043, Springer-Verlag, 1996.
A. Taudes, P. Cilek und M. Natter. Ein Ansatz zur Optimierung von Geschäftsprozessen. In
Kapitel 10, Seiten 177–190.
G. Vossen und J. Becker. Geschäftsprozeßmodellierung und Workflow- Management. International Thomson Publishing, 1996.
W.M.P. van der Aalst and K.M. van Hee. Business process redesign: A petri-net- based approach. Computer in Industries, 29 (1–2): 15–26, 1996.
P.R. White. Report on a process analysis and design method. Technical Report, Informatics Process Group, University of Manchester, April 1994.
Y. Yesha and N. Adam. Electronic commerce: An overview. In N. Adam and Y. Yesha, editors, Electronic Commerce. LNCS, Band 1028, Springer-Verlag, 1996.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1999 Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, Braunschweig/Wiesbaden
About this chapter
Cite this chapter
Lechtenbörger, J., Thoben, W. (1999). Sicherheitsanalyse von Geschäftsprozessen unter Verwendung der Prozeßalgebra CCS. In: Röhm, A.W., Fox, D., Grimm, R., Schoder, D. (eds) Sicherheit und Electronic Commerce. DuD-Fachbeiträge. Vieweg+Teubner Verlag. https://doi.org/10.1007/978-3-322-84901-4_12
Download citation
DOI: https://doi.org/10.1007/978-3-322-84901-4_12
Publisher Name: Vieweg+Teubner Verlag
Print ISBN: 978-3-528-03139-8
Online ISBN: 978-3-322-84901-4
eBook Packages: Springer Book Archive