Temporal Specification of Information Systems

TitleTemporal Specification of Information Systems
Publication TypeConference Paper
Year of Publication1996
Publicno
AuthorsEhrich, H. - D., and P. Hartel
Conference NameLogic and Software Engineering, Proc. Int. Workshop in Honor of C.S. Tang, Beijing, 14-15 August 1995
PublisherWorld Scientific
Abstract

Information systems are open, reactive, and often distributed systems that maintain persistent data. The \sc troll and \sc omTroll languages aim at specifying information systems on a high level of abstraction, supported by tools integrated in the \sc tbench. The development is rooted in abstract data types, conceptual modeling, behavior modeling, specification of reactive systems, and concurrency theory. The approach taken is object-oriented. Sequential object behavior is specified using linear-time temporal logic. Specifications are composed by structuring mechanisms like inheritance, generalization and aggregation. For specifying interaction in concurrent aggregations, we suggest an extended logic called distributed temporal logic which is based on $n$-agent logic. Labelled event structures serve as a denotational behavior model for giving interpretation.

AttachmentSize
1996Beijing.pdf283.86 KB