Temporal-causal system specification

A temporal-causal framework that addresses specification, construction and evolution of concurrent and distributed systems in a unified way is presented. A pluralistic approach to specification is pursued, and three different views are used to capture the requirements of the system: informal, causal, temporal-causal. The temporal-causal view is based on the integration of two well-known techniques, temporal logic and Petri nets. A component specification language is used when specifying the individual components of the system and a system specification language deals with the structuring (configuration) of components. System evolution is briefly addressed.<
>