Types and Operations: Transformation Rules for the Semantic Integration of OCL and RSL

Author

Debnath, N. ; Funes, A. ; Dasso, A. ; Riesco, D. ; Uzal, R. ; Montejano, G.

Author_Institution

Winona State Univ., Winona

fYear

2007

fDate

15-18 Dec. 2007

Firstpage

1077

Lastpage

1082

Abstract

In this work we present a set of rules to integrate Object Constraint Language (OCL) and the RAISE Specification Language (RSL). This is a continuation of our previous work where we have (i) showed how to derive an initial formal specification in RSL from a UML class diagram and (ii) illustrated the use of this mapping via an example. The proposed rules allow transforming OCL expressions into RSL expressions. We also present some background in both languages OCL and RSL as well as a brief explanation of previous work on which some of the transformation rules are based.

Keywords

Unified Modeling Language; diagrams; formal specification; object-oriented languages; programming language semantics; OCL; Object Constraint Language; RAISE Specification Language; RSL formal specification; UML class diagram; semantic integration; transformation rules; Application software; Computer industry; Context modeling; Formal specifications; Information technology; Neural networks; Signal processing; Software engineering; USA Councils; Unified modeling language; Class Diagrams; Formal Specification; OCL; RAISE; RSL; UML;

fLanguage

English

Publisher

ieee

Conference_Titel

Signal Processing and Information Technology, 2007 IEEE International Symposium on

Conference_Location

Giza

Print_ISBN

978-1-4244-1835-0

Electronic_ISBN

978-1-4244-1835-0

Type

conf

DOI

10.1109/ISSPIT.2007.4457996

Filename

4457996