Diagnosing Process Design: A Formal Approach

Pedro Ramos and José Luiz Fiadeiro
Additional contact information
Pedro Ramos: Department of Informatics, Instituto Superior das Ciências do Trabalho e da Empresa (ISCTE), 1600 Lisboa, Portugal
José Luiz Fiadeiro: Department of Informatics, Faculty of Sciences, University of Lisbon 1700 Lisboa, Portugal

Chapter 8 in Reengineering in Action:The Quest for World-Class Excellence, 1999, pp 131-155 from World Scientific Publishing Co. Pte. Ltd.

Abstract: AbstractComputational tools that support process design have been widely used in Business Process Reengineering. In order to assist the designer, they use information about the organization (structure, tasks, documents, etc.). However, knowledge and inference about the expected behavior of processes have not been supported to the same extent. In this chapter we redress this situation by showing how the compliance of a process design with respect to organizational rules can be formally analyzed using techniques from artificial intelligence and computer science. Based on these formalisms we have built a software tool that detects incorrect and incomplete designs of organizational process, and helps the designer to decide between alternative choices.

Date: 1999
References: Add references at CitEc
Citations:

Downloads: (external link)
https://www.worldscientific.com/doi/pdf/10.1142/9781848160576_0008 (application/pdf)
https://www.worldscientific.com/doi/abs/10.1142/9781848160576_0008 (text/html)
Ebook Access is available upon purchase.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:wsi:wschap:9781848160576_0008

Ordering information: This item can be ordered from

Access Statistics for this chapter

More chapters in World Scientific Book Chapters from World Scientific Publishing Co. Pte. Ltd.
Bibliographic data for series maintained by Tai Tone Lim ().