Building Business Process Description and Reasoning Meta-model Mbp in A-Prolog
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 M bp 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 M bp can simplify and improve business process representation and analysis of CIS reasonably and effectively.
KeywordsBusiness process Meta-model A-Prolog Requirements analysis
Unable to display preview. Download preview PDF.
- 2.Erdem, E.: Theory and Applications of Answer Set Programming. Ph.D Dissertation, the University of Texas at Austin (August 2002)Google Scholar
- 3.Letier, E., van Lamsweerde, A.: Reasoning about Partial Goal Satisfaction for Requirements and Design Engineering. In: Proceedings of 12th International ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-12), Newport Beach, Califonia, USA, October 31-November 5, pp. 53–62 (2004)Google Scholar
- 6.Mei, L., Shu, L.M.: Review of Methods and Tools of Software Requirements Engineering (in Chinese with English abstract). Computer Research & Development 36(11), 1289–1300 (1999)Google Scholar
- 7.WfMC(Workflow Management Coalition). Workflow Process Definition Interface - XML Process Definition Language(Ver1.0).Document Number WFMC-TC-1025, October 25 (2002) Google Scholar
- 9.Zheng, Y., Wan, H., Li, L.: A New Software Requirement Method Based on Subject- Predicate-Object Logic. In: Software Process Workshop 2005, Beijing, China, May 25-27 (2005)Google Scholar