Extensions of first order logic
Extensions of first order logic
The imperative future: principles of executable temporal logic
The imperative future: principles of executable temporal logic
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Open System Architecture for CIM
Open System Architecture for CIM
Symbolic Model Checking
Intelligent Database Systems
ARIS Architecture and Reference Models for Business Process Management
Business Process Management, Models, Techniques, and Empirical Studies
Multi-perspective Enterprise Modeling (MEMO) - Conceptual Framework and Modeling Languages
HICSS '02 Proceedings of the 35th Annual Hawaii International Conference on System Sciences (HICSS'02)-Volume 3 - Volume 3
Enterprise Ontology: Theory and Methodology
Enterprise Ontology: Theory and Methodology
A framework for formal modeling and analysis of organizations
Applied Intelligence
Process-oriented organisation modelling and analysis
Enterprise Information Systems - Contains Special Issue: Modelling, Simulation, Verification and Validation of Enterprise Information Systems, edited by Juan Carlos Augusto and Marc Roper
Verifying Interlevel Relations within Multi-Agent Systems
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Modeling organizational performance indicators
Information Systems
Formal modelling of organisational goals based on performance indicators
Data & Knowledge Engineering
Component-based software engineering
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
A temporal-interactivist perspective on the dynamics of mental states
Cognitive Systems Research
Hi-index | 0.00 |
Organizational design is an important topic in the literature on organizations. Usually the design principles are addressed informally in this literature. This paper makes a first attempt to formally introduce design operators to formalize the design steps in the process of designing organizations. These operators help an organization designer create an organization design from scratch as well as offer the possibility to revise existing designs of organizations. The operators offer both top-down refinements and bottom-up grouping options. Importantly, the operators can be combined into complex operators that can serve as patterns for larger steps in an organization design process. The usability of the design operators is demonstrated in a running example. The contribution of this paper provides a solid basis for the development of a software environment supporting interactive organization design processes. This is demonstrated by an implemented prototype example tool.