Formalising feasibility and correctness of distributed business processes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2465, Issue , 2002, Pages 432-443

  Janowski, Tomasz ^a   Ojo, Adegboyega ^a  

^a UNITED NATIONS UNIVERSITY   (Macao)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; DATA MINING; FORMAL METHODS; INFORMATION SYSTEMS; MANUFACTURE; SEMANTIC WEB; SEMANTICS;

BUSINESS GOALS; BUSINESS PROCESS; BUSINESS SUPPORT; CUSTOMER-DRIVEN; FORMAL ANALYSIS; FORMAL SEMANTICS; PROCESS MODELLING;

MODELING LANGUAGES;

EID: 33748680102     PISSN: 03029743     EISSN: 16113349     Source Type: Journal    
DOI: 10.1007/3-540-46140-x_33     Document Type: Article

References (15)

1. T.H. Davenport. Mission Critical, Realising the Promise of Enterprise Systems. Harvard Business School Press, 2000.
2. A.A. Desrochers and R.Y. Al-Jaar. Applications of Petri Nets in Manufacturing Systems. IEEE Press, 1995.
3. H. Eertink et al. A Business Process Design Language. In Formal Methods Congress, volume 1708 of LNCS, pages 76-95. Springer, 1999.
4. R. Anupindi et al. Managing Business Process Flows. Prentice Hall, 1999.
5. 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.
6. G.A. Hansen. Automating Business Process Reengineering. Prentice Hall, 1997.
7. 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.
8. 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.
9. K. Kosanke. CIMOSA: Open System Architecture for CIM. Springer Verlag, 1993.
10. A.W. Scheer. ARIS - Business Process Frameworks. Springer, 1998.
11. The RAISE Method Group. The RAISE Specification Language. Pr. Hall, 1992.
12. 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.
13. F. Vernadat. Enterprise Modeling and Integration. Chapman and Hall, 1996.
14. T.E. Vollmann. Manufacturing, Planning and Control Systems. Irwin, 1992.
15. 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.