Abstract
A distributed business process organizes activities by several enterprises to fulfill a given business goal. The purpose of this paper is to formalise what it means for such a process to be feasible (possible to carry out given the resources delegated for its execution) and for a feasible process to be correct (satisfying a given business goal), using customer-driven manufacturing as a particular, although broadly defined business area. Possible applications are: formal analysis of business processes, providing formal semantics to process modelling languages, and specification and rigorous development of business-support software.
On leave from the Computer Science Department, University of Lagos, Nigeria.
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.
References
T.H. Davenport. Mission Critical, Realising the Promise of Enterprise Systems. Harvard Business School Press, 2000.
A.A. Desrochers and R.Y. Al-Jaar. Applications of Petri Nets in Manufacturing Systems. IEEE Press, 1995.
H. Eertink et al. A Business Process Design Language. In Formal Methods Congress, volume 1708 of LNCS, pages 76–95. Springer, 1999.
R. Anupindi et al. Managing Business Process Flows. Prentice Hall, 1999.
J. Goossenaerts, M. Gruninger, J.G. Nell, M. Petit, and F. Vernadat. Formal Semantics of Enterprise Models. In K. Kosanke, editor, Proceedings of ICEIMT’97, Berlin. Springer Verlag, 1997.
G.A. Hansen. Automating Business Process Reengineering. Prentice Hall, 1997.
T. Janowski. Distributed production with specification-generated processes. In 4th IEEE/IFIP International Conference on Information Technology for Balanced Automation Systems in Production and Transportation (BASYS00). Kluwer, 2000.
W. Janssen, H. Jonkers, and J.P.C. Verhoosel. What makes business processes special? An evaluation framework for modelling languages and tools in Business Process Redesign. In 2nd IFIP Workshop on Evaluation of Modelling Methods in Systems Analysis and Design, Barcelona, 1997.
K. Kosanke. CIMOSA: Open System Architecture for CIM. Springer Verlag, 1993.
A.W. Scheer. ARIS-Business Process Frameworks. Springer, 1998.
The RAISE Method Group. The RAISE Specification Language. Pr. Hall, 1992.
W.M.P. van der Aalst. Workflow Verification: Finding Control-Flow Errors using Petri-net-based Techniques. In Business Process Management: Models, Techniques, and Empirical Studies, volume 1806 of LNCS, pages 161–183. Springer, 2000.
F. Vernadat. Enterprise Modeling and Integration. Chapman and Hall, 1996.
T.E. Vollmann. Manufacturing, Planning and Control Systems. Irwin, 1992.
M. Voorhoeve. Compositional Modeling and Verification of Workflow Processes. In Business Process Management: Models, Techniques, and Empirical Studies, volume 1806 of LNCS, pages 184–200. Springer, 2000.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Janowski, T., Ojo, A. (2002). Formalising Feasibility and Correctness of Distributed Business Processes. In: Arisawa, H., Kambayashi, Y., Kumar, V., Mayr, H.C., Hunt, I. (eds) Conceptual Modeling for New Information Systems Technologies. ER 2001. Lecture Notes in Computer Science, vol 2465. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46140-X_33
Download citation
DOI: https://doi.org/10.1007/3-540-46140-X_33
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-44122-9
Online ISBN: 978-3-540-46140-1
eBook Packages: Springer Book Archive