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