Building business process description and reasoning meta-model Mbp in a-prolog

Authors:
Hai Wan;Yunxiang Zheng;Yin Chen;Lei Li
Affiliations:
Software Research Institute, Sun Yat-Sen University, Guangzhou, PRC;Software Research Institute, Sun Yat-Sen University, Guangzhou, PRC;Computer Science Department, South China Normal University, Guangzhou, PRC;Software Research Institute, Sun Yat-Sen University, Guangzhou, PRC
Venue:
SPW/ProSim'06 Proceedings of the 2006 international conference on Software Process Simulation and Modeling
Year:
2006

Citing 6
Cited 0

Logic programming and databases

Logic programming and databases
Logic programming and knowledge representation-the A-prolog perspective

Artificial Intelligence
Requirements, domain and specifications: a viewpoint-based approach to requirements engineering

Proceedings of the 24th International Conference on Software Engineering
Representing Knowledge in A-Prolog

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Theory and applications of answer set programming

Theory and applications of answer set programming
Reasoning about partial goal satisfaction for requirements and design engineering

Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

In order to elicit and describe business processes ofComplex Information System (CIS) in requirements analysis phase definitely, avoid inconsistent or ambiguous process definitions, and help reasoning, checking and planning processes, Business Process Meta-model Mbp in A-Prolog is proposed, which is composed of three hierarchical representations: interactive multi-business processes Multi-pro, business process Pro, and business Bus cored by Role-Action-Form. This paper presents the applicability of A-Prolog to the representation of business process and multiple aspects of reasoning about processes and effects. Finally, based on BPPA system (Business Process Planning based on A-Prolog) which has been applied in CIS development, an example of applying business process reasoning to workflow planning demonstrates that Mbp can simplify and improve business process representation and analysis of CIS reasonably and effectively.