Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Encapsulation, operator overloading, and error class mechanisms in OCL

 
: Bertram, V.; Rumpe, B.; Wenckstern, M. von

:
Volltext (PDF; )

Brucker, A.D.:
16th International Workshop on OCL and Textual Modelling, OCL 2016. Workshop Proceedings. Online resource : Co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016); Saint-Malo, France, October 2, 2016
Saint-Malo, 2016 (CEUR Workshop Proceedings 1756)
http://ceur-ws.org/Vol-1756/
S.17-32
International Workshop on OCL and Textual Modelling (OCL) <16, 2016, Saint-Malo>
International Conference on Model Driven Engineering Languages and Systems (MODELS) <19, 2016, Saint-Malo>
Englisch
Konferenzbeitrag, Elektronische Publikation
Fraunhofer FIT ()

Abstract
Checking models for correctness or compatibility using standard formal modeling techniques such as OCL has merits in abstraction and compactness. However, it is inconvenient for developers, since there are no standard mechanisms how to handle large and complex OCL constraints. Therefore, this paper presents an approach how to split complex OCL constraints into multiple ones by defining helper functions and pack these into an OCL/P library with encapsulation mechanisms. Another drawback of using complex OCL constraints at present is the lack of descriptive and user-friendly error messages. Hence, this paper introduces an OCL extension that allows specifying error classes by synthesizing witnesses pointing directly to constraint violations. All approaches are shown on Component & Connector model examples, where OCL/P is used on the meta-level to verify backwards compatibility of interfaces.

: http://publica.fraunhofer.de/dokumente/N-435050.html