Building Business Process Description and Reasoning Meta-model Mbp in A-Prolog

  • Hai Wan
  • Yunxiang Zheng
  • Yin Chen
  • Lei Li
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3966)


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.


Business process Meta-model A-Prolog Requirements analysis 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    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)CrossRefGoogle Scholar
  2. 2.
    Erdem, E.: Theory and Applications of Answer Set Programming. Ph.D Dissertation, the University of Texas at Austin (August 2002)Google Scholar
  3. 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
  4. 4.
    Gelfond, M., Leone, N.: Logic Programming and Knowledge Representation – An A-Prolog perspective. In Artificial Intelligence 138(1-2), 3–38 (2002)CrossRefzbMATHGoogle Scholar
  5. 5.
    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)CrossRefGoogle Scholar
  6. 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. 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
  8. 8.
    Ceri, S., Gottlob, Tanca, L.: Logic Programming and Database. Springer, Heidelberg (1990)CrossRefGoogle Scholar
  9. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Hai Wan
    • 1
    • 2
  • Yunxiang Zheng
    • 1
  • Yin Chen
    • 3
  • Lei Li
    • 1
  1. 1.Software Research InstituteSun Yat-Sen UniversityGuangzhouPR China
  2. 2.Computer Science & Tech DepartmentSun Yat-Sen UniversityGuangzhouPR China
  3. 3.Computer Science DepartmentSouth China Normal UniversityGuangzhouPR China

Personalised recommendations