Communicating sequential processes
Communicating sequential processes
Readies and failures in the algebra of communicating processes
SIAM Journal on Computing
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Writing Effective Use Cases
A Calculus of Communicating Systems
A Calculus of Communicating Systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Slicing for model reduction in adaptive embedded systems development
Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems
Workshop on modeling in software engineering at ICSE 2009
ACM SIGSOFT Software Engineering Notes
| Hi-index | 0.00 |
Today's software systems tend more and more to comprise a multitude of different, often interfering functionalities. Especially in the case of embedded systems with their high requirements on safety this imposes additional risks for unwanted system behavior. Use cases are a common way to describe system functionalities in very early phases of the system design. Systematically translating these use cases into formal models in terms of system functions or services, respectively, constitutes a logical next step resulting in formal, service-oriented models. These models may facilitate validation activities, but are not efficient for formal verification. In this paper we propose an algebraic approach to specifying system functions as services. The proposed approach allows for model restructuring and transformation heading towards sufficing both requirements: intuitive validation and more efficient formal verification.