Title :
Partitioning DisCo specifications
Author_Institution :
Software Lab., Tampere Univ. of Technol., Finland
Abstract :
DisCo is a language and a method intended for the specification of reactive systems. The formal basis of this approach is in temporal logic of actions. A fundamental idea in DisCo is that all specifications are closed in the sense that a specification contains both the system that is to be specified and its environment. It is possible to partition a DisCo specification in a way that separates the two parts. Requirements for this partitioning are discussed
Keywords :
formal specification; object-oriented languages; temporal logic; DisCo; DisCo specification partitioning; actions; formal basis; language; reactive systems; temporal logic;
Conference_Titel :
Partitioning in Hardware-Software Codesigns, IEE Colloquium on
Conference_Location :
London
DOI :
10.1049/ic:19950172
