Paper Info
Title
A Formal Semantics for OCL 1.4
Abstract
The OCL 1.4 specification introduces let-declarations for adding auxiliary class features in static structures of the UML. We provide a type inference system and a big-step operational semantics for the OCL 1.4 that treat UML static structures and UML object models abstractly and accommodate for additional declarations; the operational semantics satisfies a subject reduction property with respect to the type inference system. We also discuss an alternative, non-operational interpretation of let-declarations as constraints.
Year
DOI
Venue
2001
10.1007/3-540-45441-1_10
Uml
Keywords
Field
DocType
formal semantics,type inference system,static structure,non-operational interpretation,subject reduction property,auxiliary class feature,operational semantics,additional declaration,big-step operational semantics,uml object models abstractly,object model,type inference
Operational semantics,Programming language,Unified Modeling Language,Subject reduction,Computer science,Type inference,Formal specification,Applications of UML,Object Constraint Language,Semantics of logic
Conference
ISBN
Citations 
PageRank 
3-540-42667-1
7
1.23
References 
Authors
9
2
Name
Order
Citations
PageRank
María Victoria Cengarle117517.82
Alexander Knapp278848.40