Publisher URL: | http://ceur-ws.org/Vol-853/woops2.pdf http://nbn-resolving.de/urn:nbn:de:0074-853-4 |
Title: | Analysing SONAR Model Transformations | Language: | English | Authors: | Köhler-Bußmeier, Michael | Editor: | Köhler-Bußmeier, Michael | Keywords: | multi-agent systems; organisation centred design; model transformation; Petri net; Sonar | Issue Date: | 2012 | Publisher: | Bibliothek des Fachbereichs Informatik | Book title: | Joint proceedings of the International Workshops LAM'12, WooPS 2012, and CompoNet 2012 | Part of Series: | Mitteilung / Universität Hamburg, Fachbereich Informatik | Volume number: | 348 | Journal or Series Name: | CEUR workshop proceedings | Volume: | 853 | Startpage: | 55 | Endpage: | 70 | Conference: | Workshop on Petri Net-Based Security 2012 | Abstract: | In this paper we study the space of organisation models that are reachable via model transformation in our Sonar-framework. The space of organisation models is defined as a Petri net, where each reachable marking represents one Sonar-organisation model and each transitions represent a model transformation. |
URI: | http://hdl.handle.net/20.500.12738/1775 | ISSN: | 1613-0073 | Institute: | Universität Hamburg | Type: | Chapter/Article (Proceedings) |
Appears in Collections: | Publications without full text |
Show full item record
Add Files to Item
Note about this record
Export
Items in REPOSIT are protected by copyright, with all rights reserved, unless otherwise indicated.