An outline is presented of the SMoLCS methodology for the specification of concurrent systems and languages. Its main novelties lie in a high level of modularity and parameterization and in the fact that, within the same homogeneous framework, functions, data types and concurrency can be handled together. Indeed a concurrent system is algebraically specified as an abstract data type obtained by instantiating a parameterized schema (a parameterized abstract data type) for defining and composing process specifications. The semantics of a language is given by a two-steps approach, which keeps an overall denotational flavour, but can be seen just as another algebraic specification. A metalanguage schema is naturally associated with the methodology, consisting of an algebraic and of an applicative kernel. Relying on the overall algebraic structure, tools have been developed for rapid prototyping of specifications of concurrent systems and languages.

An outline of the SMoLCS approach

ASTESIANO, EGIDIO;REGGIO, GIANNA
1987

Abstract

An outline is presented of the SMoLCS methodology for the specification of concurrent systems and languages. Its main novelties lie in a high level of modularity and parameterization and in the fact that, within the same homogeneous framework, functions, data types and concurrency can be handled together. Indeed a concurrent system is algebraically specified as an abstract data type obtained by instantiating a parameterized schema (a parameterized abstract data type) for defining and composing process specifications. The semantics of a language is given by a two-steps approach, which keeps an overall denotational flavour, but can be seen just as another algebraic specification. A metalanguage schema is naturally associated with the methodology, consisting of an algebraic and of an applicative kernel. Relying on the overall algebraic structure, tools have been developed for rapid prototyping of specifications of concurrent systems and languages.
9783540184195
9783540479604
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/11567/538126
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 15
  • ???jsp.display-item.citation.isi??? 8
social impact