Lawrence Cabac
and Michael Simon.
Introducing catch arcs to Java Reference Nets.
In Moldt and Rölke (Hrsg.), Petri Nets and Software Engineering. International Workshop PNSE'13, Milano, Italia, June 2013. Proceedings, pages 155-168.
[link]
Kurzfassung: Modeling plays an important role during design and development of systems and processes. Petri nets allow for well-defined models that can be executed. For the implementation of these systems, however, still normal programming languages are used. In contrast, modeling languages - also if executable, such as Petri net formalisms - are not deemed fit for implementation. Besides the pragmatic power, one thing that modern programming languages offer and which Petri net formalisms are missing, is exception handling. In this paper we present an approach that includes exception handling for Java reference nets. Our goal is to make the designed systems more robust and reliable. As a consequence, such executable models can be cleanly integrated into real execution environments. Our approach provides the information of an exception being thrown to the level of modeling. We are thus able to model the exception handling explicitly within the model as it is done in many modern programming languages. This extension is conservative and does not alter the normal behavior of the model, leaving the Petri net semantics untouched. We discuss several possible extensions to our approach with respect to the modeling possibilities, the ease of implementation and their pragmatic usefulness.[link]
@InProceedings{Cabac+13b, author = {Cabac, Lawrence and Simon, Michael}, authorplain = {Cabac, Lawrence and Simon, Michael}, title = {Introducing Catch Arcs to {J}ava {R}eference {N}ets}, crossref = {Moldt+-e-13}, pages = {155--168}, year = 2013, url = {http://ceur-ws.org/Vol-989/paper23.pdf}, abstract = {Modeling plays an important role during design and development of systems and processes. Petri nets allow for well-defined models that can be executed. For the implementation of these systems, however, still normal programming languages are used. In contrast, modeling languages - also if executable, such as Petri net formalisms - are not deemed fit for implementation. Besides the pragmatic power, one thing that modern programming languages offer and which Petri net formalisms are missing, is exception handling. In this paper we present an approach that includes exception handling for Java reference nets. Our goal is to make the designed systems more robust and reliable. As a consequence, such executable models can be cleanly integrated into real execution environments. Our approach provides the information of an exception being thrown to the level of modeling. We are thus able to model the exception handling explicitly within the model as it is done in many modern programming languages. This extension is conservative and does not alter the normal behavior of the model, leaving the Petri net semantics untouched. We discuss several possible extensions to our approach with respect to the modeling possibilities, the ease of implementation and their pragmatic usefulness.} } @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.