DocumentCode
2712055
Title
Partitioning DisCo specifications
Author
Mikkonen, T.
Author_Institution
Software Lab., Tampere Univ. of Technol., Finland
fYear
1995
fDate
34743
Firstpage
42522
Lastpage
42529
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;
fLanguage
English
Publisher
iet
Conference_Titel
Partitioning in Hardware-Software Codesigns, IEE Colloquium on
Conference_Location
London
Type
conf
DOI
10.1049/ic:19950172
Filename
478128
Link To Document