Title :
Temporal-causal system specification
Author :
Castro, J. ; Kramer, J.
Author_Institution :
Dept. of Comput., Imperial Coll., London, UK
Abstract :
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
Keywords :
Petri nets; formal specification; Petri nets; concurrent systems; construction; distributed systems; pluralistic approach; specification; system evolution; temporal logic; temporal-causal framework; temporal-causal view; Clocks; Educational institutions; Logic; Peak to average power ratio; Petri nets; Specification languages; System software; Systems engineering and theory;
Conference_Titel :
CompEuro '90. Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering
Conference_Location :
Tel-Aviv
Print_ISBN :
0-8186-2041-2
DOI :
10.1109/CMPEUR.1990.113627
