Minor changes are by default collapsed in the page history.
No changes
The page does not exist yet.
Failed to load changes
Version by on
Leave Collaboration
Are you sure you want to leave the realtime collaboration and continue editing alone? The changes you save while editing alone will lead to merge conflicts with the changes auto-saved by the realtime editing session.
MOCA'09
5th International Workshop on Modelling of Objects, Components and Agents
Hamburg, Germany, 11/09/2009
Modelling is the central task in informatics: models capture, analyse, specify, simulate, validate, verify and implement systems, and doing that needs an adequate repertoire of concepts, formalisms, languages, techniques and tools. Objects, components and agents are fundamental units for organising models and fundamental concepts of the modelling process itself, yet the relations and possible mutual enhancements between theoretical and practical models had not been sufficiently investigated — MOCA addressed exactly that gap, across UML, BPEL, Petri nets, process algebras and logics. The fifth edition was organised by the Theoretical Foundations of Informatics group at the University of Hamburg and put a deliberate extra emphasis on agents, which is why it was co-located with MATES 2009 and the CLIMA-X workshop. Its proceedings appeared as a technical report of the Department of Informatics of the University of Hamburg.
Bernhard Bauer • Olivier Boissier • Rafael Bordini • Piotr Chrzastowski-Wachtel • José-Manuel Colom • Mehdi Dastani • Jörg Desel • Michael Duvigneau • Torsten Eymann • Berndt Farwer • Jorge C. A. de Figueiredo • Guy Gallasch • Paolo Giorgini • Esther Guerra • Xudong He • Vincent Hilaire • Koen Hindriks • Benjamin Hirsch • Astrid Kiehn • Franziska Klügl • Radek Koci • Michael Köhler-Bußmeier • Johan Lilius • Daniel Moldt • Andrea Omicini • Pascal Poizat • Birna van Riemsdijk • Heiko Rölke • Yann Secq • Alexei Sharpanskykh • Mark-Oliver Stehr • Harald Störrle • Catherine Tessier • Rainer Unland • Michael Wahler • Danny Weyns • Manuel Wimmer • Christian Zirpins
MATES 2009