Tobias Betz, Lawrence Cabac
, Michael Duvigneau, Thomas Wagner, and Matthias Wester-Ebbinghaus.
Integrating Web services in Petri net-based agent applications.
In Moldt and Rölke (Hrsg.), Petri Nets and Software Engineering. International Workshop PNSE'13, Milano, Italia, June 2013. Proceedings, pages 97-116.
[link]
Kurzfassung: The context of this paper is given through a software engineering approach that uses Petri nets as executable code. We apply the particular understanding that Petri nets are not only used to model systems for design purposes but also to implement system components. Following this approach, we develop complex Petri net-based software applications according to the multi-agent paradigm. Agent-internal as well as agent-spanning processes are implemented directly as (high-level) Petri nets. These nets are essential parts of the resulting software application - alongside other parts (operational and declarative ones), which are implemented using traditional ways of programming. One of our goals is to open our Petri net-based agent framework Mulan / Capa so that multi-agent applications can communicate and interoperate with other systems - especially with Web-based applications. For this cause, we present a gateway solution to enable Petri net-based applications to access Web services as well as to offer Web services to other applications: the WebGateway. Besides describing the WebGateway extension itself, we use its presentation to demonstrate the practicability of the Petri net-based software engineering approach in general. We emphasize two benefits: (1) Petri net models serve as conceptual models that progressively refine the constructed system from simple models to well-defined specifications of the systems. This improves the understanding of the systems. (2) Having essential parts of the software system being implemented with Petri nets allows to carry out (partial) verification of our application code by means of standard formal methods from the field of Petri net theory.[link]
@InProceedings{Betz+13, author = {Betz, Tobias and Cabac, Lawrence and Duvigneau, Michael and Wagner, Thomas and Wester-Ebbinghaus, Matthias}, authorplain = {Betz, Tobias and Cabac, Lawrence and Duvigneau, Michael and Wagner, Thomas and Wester-Ebbinghaus, Matthias}, title = {Integrating {W}eb Services in {P}etri Net-based Agent Applications}, url = {http://ceur-ws.org/Vol-989/paper20.pdf}, crossref = {Moldt+-e-13}, pages = {97--116}, year = 2013, abstract = {The context of this paper is given through a software engineering approach that uses Petri nets as executable code. We apply the particular understanding that Petri nets are not only used to model systems for design purposes but also to implement system components. Following this approach, we develop complex Petri net-based software applications according to the multi-agent paradigm. Agent-internal as well as agent-spanning processes are implemented directly as (high-level) Petri nets. These nets are essential parts of the resulting software application - alongside other parts (operational and declarative ones), which are implemented using traditional ways of programming. One of our goals is to open our Petri net-based agent framework Mulan / Capa so that multi-agent applications can communicate and interoperate with other systems - especially with Web-based applications. For this cause, we present a gateway solution to enable Petri net-based applications to access Web services as well as to offer Web services to other applications: the WebGateway. Besides describing the WebGateway extension itself, we use its presentation to demonstrate the practicability of the Petri net-based software engineering approach in general. We emphasize two benefits: (1) Petri net models serve as conceptual models that progressively refine the constructed system from simple models to well-defined specifications of the systems. This improves the understanding of the systems. (2) Having essential parts of the software system being implemented with Petri nets allows to carry out (partial) verification of our application code by means of standard formal methods from the field of Petri net theory.} } @Proceedings{Moldt+-e-13, title = {{Petri} Nets and Software Engineering. International Workshop PNSE'13, Milano, Italia, June 2013. Proceedings}, booktitle = {{Petri} Nets and Software Engineering. International Workshop PNSE'13, Milano, Italia, June 2013. Proceedings}, editor = {Moldt, Daniel and R{\"o}lke, Heiko}, month = jun, year = 2013, volume = {989}, series = {CEUR Workshop Proceedings}, ISSN = {1613-989}, publisher = {CEUR-WS.org}, url = {http://CEUR-WS.org/Vol-989}, urn = {urn:nbn:de:0074-989-1} }
Diese Informationen werden zur Verfügung gestellt, um technische und Forschungsarbeiten zeitnah bekannt zu geben. Das Urheberrecht und alle damit verbundenen Rechte verbleiben bei den Autoren bzw. anderen Rechteinhabern. Von jedem, der Informationen dieser Seiten übernimmt, wird erwartet, dass er sich an die jeweiligen Bedingungen und Beschränkungen der Rechteinhaber hält. Meist bedeutet dies, dass die hier bereitgestellten Daten nicht ohne explizite Genehmigung der Rechteinhaber weiterveröffentlicht werden dürfen.