We describe the integration of the EMPA based software tool TwoTowers and the GSPN based software tool GreatSPN, in order to fully realize a multiparadigm approach to the functional and performance modeling and analysis of concurrent and distributed systems. The integration is achieved via an improved semantics mapping EMPA terms onto GSPN models.

Integrating TwoTowers and GreatSPN

Bernardo, Marco;
2000

Abstract

We describe the integration of the EMPA based software tool TwoTowers and the GSPN based software tool GreatSPN, in order to fully realize a multiparadigm approach to the functional and performance modeling and analysis of concurrent and distributed systems. The integration is achieved via an improved semantics mapping EMPA terms onto GSPN models.
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: http://hdl.handle.net/11576/1891862
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact