Semantics of POOSL : an object-oriented specification language for the analysis and design of hardware/software systems
Jpm Jeroen Voeten · TU/e Research Portal · 1995
POOSL, an acronym for Parallel Object-Oriented Specification Language, is a specification and design language which is developed as a part of an object-oriented methodology for the specification and design of data processing systems that contain a mixture of software and hardware components.The language is based on the object-oriented paradigm to support flexible and reusable design, as well as on the basic concepts of CCS to enable formal verification, simulation, and transformation of specifications.In this report we formalize the language and we argue why such a formalization is necessary.The formal description is a Plotkin-style structural operational semantics.Since POOSL distinguishes data from processes, the semantics is developed in two parts.The data part is a computational semantics which is specified in terms of a transition system.We clarify the formal description through an example in which we compute the semantics of a data expression.The process part is a computational interleaving semantics defined in terms of a labeled transition system.On top of this semantics we define observation equivalence, and we show in an example how to reason about the equivalence of specifications.