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 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.
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
Silva, A.: Requirements, domain and specifications: a viewpoint-based approach to requirements engineering. In: Proceedings of the 22rd International Conference on Software Engineering, ICSE 2002, Orlando, USA, pp. 94–104. ACM, New York (2002)
Erdem, E.: Theory and Applications of Answer Set Programming. Ph.D Dissertation, the University of Texas at Austin (August 2002)
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)
Gelfond, M., Leone, N.: Logic Programming and Knowledge Representation – An A-Prolog perspective. In Artificial Intelligence 138(1-2), 3–38 (2002)
Gelfond, M.: Representing Knowledge in A-Prolog. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol. 2408, pp. 413–451. Springer, Heidelberg (2002)
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)
WfMC(Workflow Management Coalition). Workflow Process Definition Interface - XML Process Definition Language(Ver1.0).Document Number WFMC-TC-1025, October 25 (2002)
Ceri, S., Gottlob, Tanca, L.: Logic Programming and Database. Springer, Heidelberg (1990)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wan, H., Zheng, Y., Chen, Y., Li, L. (2006). Building Business Process Description and Reasoning Meta-model M bp in A-Prolog . In: Wang, Q., Pfahl, D., Raffo, D.M., Wernick, P. (eds) Software Process Change. SPW 2006. Lecture Notes in Computer Science, vol 3966. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11754305_22
Download citation
DOI: https://doi.org/10.1007/11754305_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-34199-4
Online ISBN: 978-3-540-34201-4
eBook Packages: Computer ScienceComputer Science (R0)