×

A process specification formalism. (English) Zbl 0705.68075

Summary: We introduce \(PSF_ d\) (process specification formalism - draft) which can be used to formally express processes in the algebra of communicating processes. In order to meet the modern requirements of software engineering, like reusability of software, \(PSF_ d\) supports the modular construction of specifications and parameterization of modules. To be able to deal with the notion of data, ASF (algebraic specification formalism) is embedded in our formalism. As semantics for \(PSF_ d\) a combination of initial algebra semantics and operational semantics for concurrent processes is used. A comparison with programming languages and other formal description techniques for the specification of concurrent systems is included.

MSC:

68Q60 Specification and verification (program logics, model checking, etc.)
68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68Q65 Abstract data types; algebraic specification
68N15 Theory of programming languages
68Q42 Grammars and rewriting systems
PDFBibTeX XMLCite