In: COMPEURO'90. Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering, 1990, Tel-Aviv, Israel, pages 210-217. Los Alamitos, CA, USA: IEEE Comput. Soc. Press, 1990.
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 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 of components.
Keywords: temporal causal system specification; component specification language.