Constructive specifications for compositional units

Kung Kiu Lau; Alberto Momigliano; Mario Ornaghi

Constructive specifications for compositional units

Kung Kiu Lau
, Alberto Momigliano
, Mario Ornaghi

Research output: Chapter in Book/Conference proceeding › Conference contribution

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. © Springer-Verlag Berlin Heidelberg 2005.

Original language	English
Title of host publication	Lecture Notes in Computer Science\|Lect. Notes Comput. Sci.
Editors	S. Etalle
Pages	198-214
Number of pages	16
Volume	3573
Publication status	Published - 2005
Event	14th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2004 - Verona Duration: 1 Jul 2005 → …

Conference

Conference	14th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2004
City	Verona
Period	1/07/05 → …

Cite this

@inproceedings{172c6149f34b4359b4aef949984d57c5,

title = "Constructive specifications for compositional units",

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. {\textcopyright} Springer-Verlag Berlin Heidelberg 2005.",

author = "Lau, \{Kung Kiu\} and Alberto Momigliano and Mario Ornaghi",

year = "2005",

language = "English",

volume = "3573",

pages = "198--214",

editor = "S. Etalle",

booktitle = "Lecture Notes in Computer Science|Lect. Notes Comput. Sci.",

note = "14th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2004 ; Conference date: 01-07-2005",

}

TY - GEN

T1 - Constructive specifications for compositional units

AU - Lau, Kung Kiu

AU - Momigliano, Alberto

AU - Ornaghi, Mario

PY - 2005

Y1 - 2005

N2 - 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. © Springer-Verlag Berlin Heidelberg 2005.

AB - 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. © Springer-Verlag Berlin Heidelberg 2005.

M3 - Conference contribution

VL - 3573

SP - 198

EP - 214

BT - Lecture Notes in Computer Science|Lect. Notes Comput. Sci.

A2 - Etalle, S.

T2 - 14th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2004

Y2 - 1 July 2005

ER -

Constructive specifications for compositional units

Abstract

Conference

Fingerprint

Cite this