PARSE is a staged object-based design methodology for parallel and distributed software systems. In the highest stage, a graphical notation is used to describe the system components (objects) and their interconnections. In the subsequent stage, the designer introduces the behaviour of the objects, by means of a textual notation. This paper shows a mechanical transformation of the textual representation of a PARSE design into a complete Petri net model. This supports the integration of formal analysis techniques into the early stage of the software development process, and provides a formal semantics for the design notation.

Petri net modelling of PARSE designs

RUSSO, STEFANO;SAVY, CARLO;
1996

Abstract

PARSE is a staged object-based design methodology for parallel and distributed software systems. In the highest stage, a graphical notation is used to describe the system components (objects) and their interconnections. In the subsequent stage, the designer introduces the behaviour of the objects, by means of a textual notation. This paper shows a mechanical transformation of the textual representation of a PARSE design into a complete Petri net model. This supports the integration of formal analysis techniques into the early stage of the software development process, and provides a formal semantics for the design notation.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11588/175472
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
social impact