Simulating organizations: computational models of institutions and groups
Simulating organizations: computational models of institutions and groups
Groupware and computer supported cooperative work
Multiagent systems
Trends in Cooperative Distributed Problem Solving
IEEE Transactions on Knowledge and Data Engineering
A Compositional Partial Order Semantics for Petri Net Components
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Modelling the Structure and Behaviour of Petri Net Agents
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Evaluation of Workflow Management Systems Using Meta Models
HICSS '99 Proceedings of the Thirty-second Annual Hawaii International Conference on System Sciences-Volume 5 - Volume 5
A survey of multi-agent organizational paradigms
The Knowledge Engineering Review
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
A Formal Model of Multi-Agent Organisations
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
The contract net: a formalism for the control of distributed problem solving
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
Organization oriented programming: from closed to open organizations
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
A formal framework for adaptive access control models
Journal on data semantics IX
Analyzing web service based business processes
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
SONAR/OREDI: a tool for creation and deployment of organisation models
MATES'10 Proceedings of the 8th German conference on Multiagent system technologies
Modeling organizational units as modular components of systems of systems
Transactions on Petri nets and other models of concurrency IV
Generating executable multi-agent system prototypes from SONAR specifications
COIN@AAMAS'10 Proceedings of the 6th international conference on Coordination, organizations, institutions, and norms in agent systems
Defining Multi-Party Compromises using Unfoldings of Workflow Nets
Fundamenta Informaticae - Concurrency, Specification and Programming
| Hi-index | 0.00 |
We present a formal model for the organisation of process-aware information systems. Our approach focuses on the structures "behind" business processes, like e.g. team formation and coordination. Our Petri net based model directly integrates organisational concepts like roles, teams etc. --- allowing an alignment of business and IT. The benefit of this modelling overhead is that business reorganisation processes are carried out as formal model transformations. Additionally, the automated mapping of our models to multi-agent systems --- in the spirit of the model driven architecture idea --- is directly supported by our approach.