MIN Faculty
Department of Informatics
Theoretical Foundations of Computer Science

Bibliography

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

Michael Köhler-Bußmeier, Daniel Moldt, and Matthias Wester-Ebbinghaus.
A formal model for organisational structures behind process-aware information systems.
In van der Aalst and Jensen (eds.), Transactions on Petri Nets and Other Models of Concurrency II: Special Issue on Concurrency in Process-Aware Information Systems, pages 98-115.

Abstract: 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.


BibTeX entry



@InCollection{Koehler+09g,
  author={K{\"o}hler-Bu{\ss}meier, Michael and Moldt, Daniel and Wester-Ebbinghaus, Matthias},
  title={A Formal Model for Organisational Structures Behind Process-Aware Information Systems},
  abstract={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.},
  crossref ={Aalst+-e-09},
  pages={98--115},
  year = 2009
}

@BOOK{Aalst+-e-09,
        EDITOR={van der Aalst, Wil and Jensen, Kurt},
        TITLE={Transactions on Petri Nets and Other Models of Concurrency II: Special Issue on Concurrency in Process-Aware Information Systems},
        PUBLISHER=Springer,
        SERIES=LNCS,
        VOLUME={5460},
        YEAR={2009}
}


Copyright Notice

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.