Name
Abstract | ||
|---|---|---|
An integrated model-based development approach has to capture the relationship between requirements, design, and implementation models. In the requirements engineering phase, the most important view is the functional one, which specifies functionalities offered by the system and relationships between them. In the design phase, the component-based view describes the system as a network of interacting components. Via their interaction, they realize the black-box behavior specified in the functional view. To ensure the consistency between both views, a formal integration of them is necessary. The presented formal framework captures and interrelates both function- and component-based models. In particular, we provide a correct-by-construction procedure, which transforms a functional specification into a component-based architecture. Applicability of the method is evaluated in an industrial case study with the help of a CASE tool. |
Year | DOI | Venue |
|---|---|---|
2009 | 10.1007/978-3-642-02414-6_10 | CBSE |
Keywords | Field | DocType |
formal integration,formal framework capture,important view,integrating functional,component-based view,requirements engineering phase,reactive systems,architectural views,functional view,design phase,functional specification,component-based model,component-based architecture,case tool,reactive system,requirement engineering | Functional requirement,Systems engineering,Computer science,Requirements engineering,Computer-aided software engineering,Software architecture,Reactive system,View model,Functional specification,Non-functional requirement | Conference |
Volume | ISSN | Citations |
5582 | 0302-9743 | 2 |
PageRank | References | Authors |
0.40 | 25 | 2 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jewgenij Botaschanjan | 1 | 34 | 4.80 |
| Alexander Harhurin | 2 | 65 | 6.30 |