Constructive Specifications for Compositional Units

Abstract

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 modeltheoretic 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.

Induktyvinis metodas komponentinių programų sintezėje

“…Induktyvinis metodas igalina nustatyti komponent u alternatyvas sistemos nefunkciniams reikalavimams patenkinti. Be to, induktyvinis metodas yra naudojamas ieškant aukštesnio lygmens dėsningumams (high-level regularities) nustatyti [14], o tai gali padėti ieškant bendresni u komponent u ar j u interfeis u. Idėj a panaudoti login i programavim a (taip pat ir induktyv uj i login i programavim a) komponentinėms program u sistemoms kurti taip pat plėtoja mokslinink u K.-K. Lau [9,10,11] ir M. Martelli [12] vadovaujamos tyrim u grupės.…”