Abstract | ||
---|---|---|
The usability of formal concepts for system design depends essentially on their integration in the design process. We discuss several possible levels of integration: technical integration of tools considering APIs and tool interfaces, conceptual integration of metamodels of description formalisms combined with hard and soft constraints, semantical integration of semantics of description techniques using a common semantic model, and finally methodical integration by an embedding in the development process. We show the feasibility of such an integrated approach and its advantages presenting AutoFocus/Quest, a formal method CASE-Tool with its levels of integration. Parts of a banking system model are used as example. |
Year | DOI | Venue |
---|---|---|
2000 | 10.1007/3-540-46419-0_5 | TACAS |
Keywords | Field | DocType |
consistent integration,banking system model,common semantic model,technical integration,semantical integration,formal methods,formal concept,design process,description technique,conceptual integration,development process,methodical integration,semantic integration,system design,formal method,semantic model,case tool | Ontology-based data integration,Programming language,Computer science,Formal specification,Engineering design process,Formal methods,System model,System integration,Formal verification,Semantic data model | Conference |
Volume | ISSN | ISBN |
1785 | 0302-9743 | 3-540-67282-6 |
Citations | PageRank | References |
16 | 1.28 | 9 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Peter Braun | 1 | 38 | 4.18 |
Heiko Lötzbeyer | 2 | 64 | 5.44 |
Bernhard Schätz | 3 | 604 | 94.43 |
Oscar Slotosch | 4 | 173 | 19.28 |