» Download Article

Authors
Popova, Viara; Sharpanskykh, Alexei

Identifier
10.3182/20090603-3-RU-2001.00227

Index Terms
Formalisms and Modeling Techniques; Formal Specification and Verification; Enterprise System Engineering

Abstract
Modern organisations are characterised by a great variety of forms and often involve many actors with diverse goals, performing a wide range of tasks in changing environmental conditions. Due to high complexity, mistakes and inconsistencies are not rare in organisations. To provide better insights into the organisational operation and to identify different types of organisational problems explicit specification of relations and rules, on which the structure and behaviour of an organisation are based, is required. Before it is used, the specification of an organisation should be checked for internal consistency and validity w.r.t. the domain. To this end, the paper introduces a framework for formal specification of constraints that ensure the consistency and validity of organisational specifications. To verify the satisfaction of constraints efficient algorithms have been developed and implemented. The application of the proposed approach is illustrated by a case study from the air traffic domain.

References

Bernus, P. et al. (eds.) (1998). Handbook on Architectures of Information Systems, Springer-Verlag, Heidelberg.
Date, C. (2000). What Not How: The Business Rule Approach to Application Development, Addison-Wesley Longman. 
Esteva, M., Rodriguez-Aguilar, J. A., Sierra, C., Garcia, P., and Arcos, J. L. (2001). On the Formal Specification of Electronic Institutions. In Agent-mediated Electronic Commerce: the European AgentLink Perspective, LNAI 1991, Springer-Verlag, 126-147.
Fruhwirth, T. and Abdennadher, S. (2003) Essentials of Constraint Programming, Springer Verlag.
Goldratt, E. (1999) Theory of Constraints. Great Barrington, MA, North River Press.
Lu, R., Sadiq, S., Padmanabhan, V., and Governatori, G. (2006). Using a temporal constraint network for business process execution. In Proc of the 17th Australasian Database Conference, pp.157-166. 
Orriens, B., Yang, J., and Papazoglou, M. (2005). A Rule Driven Approach for Developing Adaptive Service Oriented Business Collaboration. In Proc. of the 3rd Intl Conference on Service Oriented Computing.
Popova, V., and Sharpanskykh, A. (2007). Formal Analysis of Executions of Organizational Scenarios Based on Process-Oriented Models. In Proc. of 21st European Conference on Modelling and Simulation, 36-44.
Ross, R. (2003). Principles of the Business Rule Approach, Addison-Wesley.
Scott, W.R. (2001). Institutions and organisations. SAGE Publications, Thousand Oaks.
Sharpanskykh, A. (2008). On Computer-Aided Methods for Modeling and Analysis of Organisations, PhD thesis, Vrije Universiteit Amsterdam.
von Halle, B. (2002). Business Rules Applied: Building Better Systems Using the Business Rule Approach. John Wiley & Sons Ltd.