Bibliography

Introducing Catch Arcs to Java Reference Nets

Lawrence Cabac and Michael Simon.
Introducing catch arcs to Java Reference Nets.
In Moldt and Rölke (eds.), Petri Nets and Software Engineering. International Workshop PNSE'13, Milano, Italia, June 2013. Proceedings, pages 155-168.  [link]

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.

BibTeX entry

@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}
}

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.