Formal redesign of UML class diagrams
| dc.contributor.author | Kosiuczenko, Piotr | |
| dc.contributor.editor | Evans, Andy | |
| dc.contributor.editor | France, Robert B. | |
| dc.contributor.editor | Moreira, Ana M. D. | |
| dc.contributor.editor | Rumpe, Bernhard | |
| dc.date.accessioned | 2020-01-07T12:34:43Z | |
| dc.date.available | 2020-01-07T12:34:43Z | |
| dc.date.issued | 2001 | |
| dc.description.abstract | In this paper we study a formal concept of redesign for object-oriented specifications. This concept corresponds to the UML notion of abstraction. The notion of refinement, which has been extensively studied also at the formal level, models well incremental approach where new requirements are added, but can not be changed. This assumption is usually not satisfied in software engineering process where permanent change is a constant factor. We study therefore a new notion which generalizes the notion of interpretation used in algebra. This notion is very flexible and allows us for comparison of different class diagrams even if one of them contains requirements excluded by another. To compare specifications, we map model elements in the first specification on the related model elements in the second specification. This mapping defines a UML trace; it can be lifted to the level of OCL as well as to the level of first order logic and then extended to an interpretation function. We also provide a formal foundation for our concepts and prove its soundness. We demonstrate the applicability of our approach in a series of examples. | en |
| dc.identifier.isbn | 3-88579-335-0 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/30853 | |
| dc.language.iso | en | |
| dc.relation.ispartof | Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001 | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-7 | |
| dc.title | Formal redesign of UML class diagrams | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 190 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 174 | |
| gi.conference.date | October 1st, 2001 | |
| gi.conference.location | Toronto, Canada | |
| gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1