In previous work, we have introduced a model-theoretic semantics for compositional units, i.e. reusable units that can be used for compositional program development. Such units contain open (logic) programs and our model-theoretic semantics characterizes their correctness and the correctness of their composition. However, for real-world software development, compositional units should be inter-operable, i.e. they should accept programs in different languages. To cater for this, our model-theoretic semantics needs to be used in conjunction with suitable semantics for behaviours and interfaces. In this paper we describe one possible approach based on constructive specifications.

Constructive specifications for compositional units / K.-K. Lau, A. Momigliano, M. Ornaghi - In: Logic based program synthesis and transformation : 14th international symposium, LOPSTR 2004, Verona, Italy, august 26–28, 2004 : revised selected papers / [a cura di] S. Etalle. - Berlin : Springer, 2005. - ISBN 9783540266556. - pp. 198-214 (( Intervento presentato al 14. convegno International Symposium on Logic Based Program Synthesis and Transformation tenutosi a Verona, Italy nel 2004.

Constructive specifications for compositional units

A. Momigliano
Secondo
;
M. Ornaghi
Ultimo
2005

Abstract

In previous work, we have introduced a model-theoretic semantics for compositional units, i.e. reusable units that can be used for compositional program development. Such units contain open (logic) programs and our model-theoretic semantics characterizes their correctness and the correctness of their composition. However, for real-world software development, compositional units should be inter-operable, i.e. they should accept programs in different languages. To cater for this, our model-theoretic semantics needs to be used in conjunction with suitable semantics for behaviours and interfaces. In this paper we describe one possible approach based on constructive specifications.
Settore INF/01 - Informatica
Settore MAT/01 - Logica Matematica
Book Part (author)
File in questo prodotto:
File Dimensione Formato  
kk.pdf

accesso aperto

Tipologia: Publisher's version/PDF
Dimensione 260.54 kB
Formato Adobe PDF
260.54 kB Adobe PDF Visualizza/Apri
Pubblicazioni consigliate

Caricamento pubblicazioni consigliate

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/2434/7964
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact