Resumen de Specifications from multiple viewpoints: the temporal-causal way
In this paper we argue that a single representation scheme is often not enough to capture de various features of system behaviour. Instead, multiple wiewpoints should he used to partition the domain of information.
We present a technique that supports the specification of systems from three points of view: informal, casual an temporal-causal. The Informal View describes in natural language and graphically the requirements of the component. It is based on the Conic Environment which provides a language-based approach to the building of distributed system. The Causal View relies on enhanced Petri Nets to describe internal structure, distributed control and safety requirements. The third view makes use of temporal-causal logic to describe temporal features of the components such as liveness requirements. Previous causal properties are preserved. Temporal-causal logic is the result of the integration of two well-known formalism, namely Petri Nets and Temporal logic.
