A Formal Framework for Modeling and Analysis of Organizations
نویسندگان
چکیده
This paper introduces a formal framework for modeling and analysis of organizations. It allows representing a great variety of organizational concepts and relations that are structured into a number of dedicated perspectives (or views), similar to the ones defined in GERAM [3]. In contrast to many existing enterprise architectures the proposed framework has formal foundations based on the order-sorted predicate logic. This formal basis enables different types of analysis of organizational specifications both of particular views and across different views. Furthermore, the framework provides support for real time management of organizational processes. The framework has been applied in a number of case studies, one of which is discussed in this paper.
منابع مشابه
A Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies
In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...
متن کاملA Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies
In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملA Formal Framework for Organization Modeling and Analysis
This chapter introduces a formal framework for modeling and analys is of organizations. It allows representing and reasoning about all important aspects of artificial and human organizations structured in a number of views, including performance-oriented, process-oriented, powerand interaction-related aspects. The framework provides means to model formal (pre)defined organizational structures a...
متن کامل