TY - GEN
T1 - Abstract object types
T2 - International Colloquium on Temporal Logic in Specification, 1987
AU - Sernadas, A.
AU - Fiadeiro, J.
AU - Sernadas, C.
AU - Ehrich, H. D.
N1 - Publisher Copyright:
© 1989, Springer-Verlag.
PY - 1989
Y1 - 1989
N2 - The notion of abstract object type (AOT) tends to overlay the already classical concept of abstract data type (ADT) in several fields of application. Objects, although much more complex than data, have the advantage of dealing with states and processes. For that reason, they become useful, for instance, in the design of database applications and in software engineering. The difficulty lies in finding a suitable formalism for the abstract definition of objects, at least as effective as the equational formalism has been in the definition of abstract data types. The purpose of this paper is to present and discuss the main features of such a formalism. Concepts, tools and techniques are provided for the abstract definition of objects. A primitive language is presented allowing structured and rather independent definitions of object types. Each object is described as a temporal entity that evolves because of the events that happen during its life. The interaction between objects is reduced to event sharing. Both liveness and safety requirements can be stated and verified. Two case studies are presented for illustrating every aspect of the approach: the stack example which is very popular in the ADT area, thus allowing the comparison between the concepts of ADT and AOT, and the well known example of the eating philosophers which allows the discussion of the dynamic aspects.
AB - The notion of abstract object type (AOT) tends to overlay the already classical concept of abstract data type (ADT) in several fields of application. Objects, although much more complex than data, have the advantage of dealing with states and processes. For that reason, they become useful, for instance, in the design of database applications and in software engineering. The difficulty lies in finding a suitable formalism for the abstract definition of objects, at least as effective as the equational formalism has been in the definition of abstract data types. The purpose of this paper is to present and discuss the main features of such a formalism. Concepts, tools and techniques are provided for the abstract definition of objects. A primitive language is presented allowing structured and rather independent definitions of object types. Each object is described as a temporal entity that evolves because of the events that happen during its life. The interaction between objects is reduced to event sharing. Both liveness and safety requirements can be stated and verified. Two case studies are presented for illustrating every aspect of the approach: the stack example which is very popular in the ADT area, thus allowing the comparison between the concepts of ADT and AOT, and the well known example of the eating philosophers which allows the discussion of the dynamic aspects.
UR - https://www.scopus.com/pages/publications/85032196421
UR - https://dblp.org/db/conf/tls/index.html
U2 - 10.1007/3-540-51803-7_33
DO - 10.1007/3-540-51803-7_33
M3 - Conference contribution
AN - SCOPUS:85032196421
SN - 9783540518037
VL - 398
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 324
EP - 350
BT - Temporal Logic in Specification, Proceedings
A2 - Pnueli, Amir
A2 - Banieqbal, Behnam
A2 - Barringer, Howard
PB - Springer Verlag
CY - Berlin
Y2 - 8 April 1987 through 10 April 1987
ER -