The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.06 - June (1988 vol.14)
pp: 787-802
ABSTRACT
<p>An ongoing project concerned with the development of environments that support the specification and design of concurrent systems is reported. The project has two key aspects: an existing and working system, Clara, that supports Milner's CCS as a specification and design language; and the development of general techniques for computer-aided generation of Clara-like environments for other concurrent languages. The Clara environment is emphasized. It has two main components: support for the usage of formal techniques in the design process, and a rich and highly interactive simulation facility. A further distinguishing feature is the environment's graphical user interface which is based on a pictorial version of CCS. The semantics of CCS is defined nonprocedurally in two phases: an operational semantics given as a set of inference rules, and an algebraic semantics represented by a set of equational rules.</p>
INDEX TERMS
programming environments; parallel programming; specification language; concurrent systems; Clara; CCS; concurrent languages; formal techniques; interactive simulation; graphical user interface; operational semantics; inference rules; algebraic semantics; equational rules; computer graphics; parallel programming; programming environments; programming theory; simulation languages; specification languages; user interfaces
CITATION
A. Giacalone, S.A. Smolka, "Integrated Environments for Formally Well-Founded Design and Simulation of Concurrent Systems", IEEE Transactions on Software Engineering, vol.14, no. 6, pp. 787-802, June 1988, doi:10.1109/32.6158
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool