A Formal Model for Organisational Structures behind Process-Aware Information Systems

DOI10.1007/978-3-642-00899-3_6MaRDI QIDQ3623820zbMATH OpenOpenAlexFDO

Authors Michael Köhler-Bußmeier, Matthias Wester-Ebbinghaus, Daniel Moldt

Publication date 24 April 2009

Published in Transactions on Petri Nets and Other Models of Concurrency II (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-00899-3_6

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Recommendations

• A formal model of multi-agent organisations
• Four Steps Towards Sound Business Process Models
• The agent-object-relationship metamodel: Towards a unified view of state and behavior.
• A formal framework for business process modelling and design
• scientific article; zbMATH DE number 1950758

Cites work

• A Formal Framework for Adaptive Access Control Models
• A formal model of multi-agent organisations
• Fundamental Approaches to Software Engineering
• Fundamentals of algebraic graph transformation
• scientific article; zbMATH DE number 1755145 (Why is no real title available?)
• scientific article; zbMATH DE number 1445908 (Why is no real title available?)
• The non-sequential behaviour of Petri nets

Cited in

(4)

• Modeling organizational structures and agent knowledge for Mulan applications
• scientific article; zbMATH DE number 3968377 (Why is no real title available?)
• scientific article; zbMATH DE number 1931753 (Why is no real title available?)
• Analysing adaption processes of Hornets

This page was built for publication: A Formal Model for Organisational Structures behind Process-Aware Information Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3623820)