Sökning: onr:"swepub:oai:research.chalmers.se:1ec94ecd-b94f-4a26-bca6-b2d5c901f17b" >
Rule-Based Simplifi...
Rule-Based Simplification of OCL Constraints
-
- Giese, Martin, 1970 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Hähnle, Reiner, 1962 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Larsson, Daniel, 1973 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
(creator_code:org_t)
- 2004
- 2004
- Engelska.
-
Ingår i: OCL and Model Driven Engineering, UML 2004 workshop, Lisbon. ; , s. 84-98
- Relaterad länk:
-
https://research.cha...
Abstract
Ämnesord
Stäng
- To help designers in writing OCL constraints, we have to construct systems that can generate some of these constraints. This might be done by instantiating templates, by combining prefabricated parts, or by more general computation. Such generated specifications will often contain redundancies that reduce their readability. In this paper, we explore the possibilities of simplifying OCL formulae through the repeated application of simple rules. We discuss the different kinds of rules that are needed, and we describe a prototypical implementation of the approach.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Nyckelord
- Formal Methods
- OCL
- UML
- Software Engineering
Publikations- och innehållstyp
- kon (ämneskategori)
- ref (ämneskategori)