Parallel Object-Oriented Specification Language
نویسندگان
چکیده
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 [1] to evolve into a powerful general-purpose modelling language accompanied with simulation, analysis and synthesis techniques that scale to large industrial design problems.
منابع مشابه
Semantics of POOSL : an object-oriented specification language for the analysis and design of hardware/software systems
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 a...
متن کاملObject-oriented Analysis and System Level Architecture
The growing complexity of hardware/software systems requires a system level specification and design approach. There are many practical problems in the application of object-oriented methods for this goal. Our aim is to explore the use of formal executable models on a system level as an approach for hardware/software co-specification. This paper reports experiences in developing executable spec...
متن کاملSystem Level Design Methodology
There are many fundamental problems in the design of object-oriented methods that support the development of formal executable models on a system level, and that are suitable for hardware/software co-specification. System level description formalisms should combine concepts expressive enough to model the essentials of a system on the right level of abstraction. This paper reports experiences in...
متن کاملConcurrent Object-Oriented Design Specification in SPECTRUM
In this paper an algebraic approach to formal object-oriented design specification is presented where the static and functional part of a software system is described by classical algebraic specification whereas the dynamic behavior is modeled by a transition relation. The approach is inspired by Astesiano’s SMoLCS formalism and is based on Meseguer’s rewriting logic; but it has two additional ...
متن کاملObject-Oriented Modelling with High-Level Modular Petri Nets
In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurrent system specifications written in object-oriented formalisms or languages with Petri nets, and second, as a way of allowing automated verification of the obtained Petri net using existing reachability analysis tools. We start ...
متن کامل