Abstract
The Parallel Object-Oriented Specification Language (POOSL) is an expressive modelling language for hardware/software systems [10]. It was originally defined in [7] as an object-oriented extension of process algebra CCS [6], supporting (conditional) synchronous message passing between (hierarchically structured) asynchronous concurrent processes. Meanwhile, POOSL has been extended with real-time [2] and probabilities [I] to evolve into a powerful general-purpose modelling language accompanied with simulation, analysis and synthesis techniques that scale to large industrial design problems.
Original language | English |
---|---|
Title of host publication | ARTIST Survey of Programming Languages |
Editors | Alan Burns |
Place of Publication | s.l. |
Publisher | ARTIST2, Network of Excellence on Embedded System Design |
Publication status | Published - 2008 |