A logic-based calculus of events
New Generation Computing
Extensions of first order logic
Extensions of first order logic
An organizational ontology for enterprise modeling
Simulating organizations
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
ISLANDER: an electronic institutions editor
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Dynamics of Organizations: Computational Modeling and Organization Theories
Dynamics of Organizations: Computational Modeling and Organization Theories
Proceedings of the First International Workshop on Multi-Agent Systems and Agent-Based Simulation
SBIA '02 Proceedings of the 16th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence
Representing Social Structures in UML
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
A Meta-Model for the Analysis and Design of Organizations in Multi-Agent Systems
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Developing multiagent systems: The Gaia methodology
ACM Transactions on Software Engineering and Methodology (TOSEM)
Tropos: An Agent-Oriented Software Development Methodology
Autonomous Agents and Multi-Agent Systems
Issues in Multiagent System Development
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
A survey of multi-agent organizational paradigms
The Knowledge Engineering Review
A normative framework for agent-based systems
Computational & Mathematical Organization Theory
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
The MOCA platform: simulating the dynamics of social networks
MABS'02 Proceedings of the 3rd international conference on Multi-agent-based simulation II
Discrete, Continuous, and Hybrid Petri Nets
Discrete, Continuous, and Hybrid Petri Nets
LEADSTO: a language and environment for analysis of dynamics by simulation
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
A temporal-interactivist perspective on the dynamics of mental states
Cognitive Systems Research
A temporal modelling environment for internally grounded beliefs, desires and intentions
Cognitive Systems Research
Modeling of Agents in Organizational Context
CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
Modelling Actor Evolution in Agent-Based Simulations
Organized Adaption in Multi-Agent Systems
Modeling organizational performance indicators
Information Systems
Automated analysis of compositional multi-agent systems
International Journal of Agent-Oriented Software Engineering
Formalizing organizational constraints: a semantic approach
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Formal modelling of organisational goals based on performance indicators
Data & Knowledge Engineering
Formal framework to support organizational design
Knowledge-Based Systems
Hi-index | 0.00 |
A new, formal, role-based, framework for modeling and analyzing both real world and artificial organizations is introduced. It exploits static and dynamic properties of the organizational model and includes the (frequently ignored) environment. The transition is described from a generic framework of an organization to its deployed model and to the actual agent allocation. For verification and validation of the proposed model, a set of dedicated techniques is introduced. Moreover, where most computational models can handle only two or three layered organizational structures, our framework can handle any arbitrary number of organizational layers. Henceforth, real-world organizations can be modeled and analyzed, as illustrated by a case study, within the DEAL project line