Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1109/MISE.2009.5069893 | MISE '09 Proceedings of the 2009 ICSE Workshop on Modeling in Software Engineering |
Keywords | Field | DocType |
software system,system functionalities,efficient formal verification,formal specification,use case,system function,system design,unwanted system behavior,formal model,formal verification,embedded system,informatics,writing,history,software systems,algebra,data mining,formal specifications,probability density function | Use case,Systems engineering,Software engineering,Computer science,Systems design,Formal specification,Software system,Formal methods,Formal verification,Restructuring | Conference |
ISBN | Citations | PageRank |
978-1-4244-3722-1 | 1 | 0.36 |
References | Authors | |
5 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Bernd Spanfelner | 1 | 60 | 5.46 |
Christian Leuxner | 2 | 15 | 2.24 |
Wassiou Sitou | 3 | 60 | 6.48 |