J. F. Allen, Maintaining knowledge about temporal intervals, Communications of the ACM, vol.26843, issue.832, 1983.

R. Baj00-]-rupnik, M. Krisper, and M. Bajec, Using business rules technologies to bridge the gap between business and business applications, Information Technology for Business Management, pp.77-85, 2000.

M. Gruninger and C. Bock, Psl: A semantic domain for flow models, Software and Systems Modeling Journal, 2005.

J. Boo00-]-rumbaugh, G. Jacobson-booch, G. Booch, and J. Rumbaugh, The Unified Modelling Language User Guide, 2000.

]. Con96 and . Consortium, The active database management systems manifesto: A rulebase of adbms features, In ACM Sigmod Record, pp.40-49, 1996.

. Van-der-aalst, Formalization and verification of event-driven process chains, Information & Software Technology, pp.639-650, 1999.
DOI : 10.1016/S0950-5849(99)00016-6

[. D. Gabbay, Temporal Logic: Mathematical Foundations and Computational Aspects, 1991.
DOI : 10.1007/BFb0013976

]. P. Dor and . Dorsey, Business rules analysis in the real world

R. Milner, The Polyadic -Calculus: A Tutorial. Logic and Algebra of Specification, 1993.

R. Milner, Communicating and Mobile Systems: the Pi-Calculus, 1999.

M. [. Fikes and . Genesereth, Knowledge interchange format, version 3.0 reference manual, 1992.

. Oas and . Oasis, Reference model for service oriented architecture 1.0 (committee specification)

L. James and . Peterson, Petri Nets, pp.223-252, 1977.

J. Peterson, Petri Net Theory and the Modeling of Systems, 1981.

R. Reiter and F. Pirri, Some contributions to the metatheory of the situation calculus, In ACM, editor, Journal of the ACM, vol.46, pp.325-361, 1999.

A. [. Verma, P. Sheth, J. Rajasekaran, and . Miller, Enhancing web services description and discovery to facilitate composition, International Workshop on Semantic Web Services and Web Process Composition, 2004.

R. Kowalski and M. Sergot, A logic-based calculus of events, New Generation Computing, vol.10, issue.No. 2, pp.67-96, 1986.
DOI : 10.1007/BF03037383

]. R. Ros97 and . Ross, The Business Rule Book: Classifying, Defining and Modelling Rules, Database Research Group, 1997.

S. Greenspan, C. Wild, and D. Rosca, Enterprise modelling and decisionsupport for automating the business rules lifecycle, In Automated Software Engineering, vol.9, 2002.

J. A. Zachman and F. Sowa, Extending and formalising the framework for information systems architecture, In BM Systems Journal. IBM, 1992.

M. Pesic and W. M. Van-der-aalst, Decserflow: Towards a truly declarative service flow language, DecSerFlow. WS-FM, 2006.

[. Halle, Back to Business Rule Basics, Database Programming and Design, Business Rules Group, pp.15-18, 1994.

. Wfm and . Wfmc, Process definition interface ? xml process definition language , version 2.00, 2005.