The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/28914
Record Status Checked
Record Id 28914
Title Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation
Abstract We describe a compositional approach to the formal interpretation of type view diagrams and statecharts. We define theories for object instances and classes, and theories for associations between them. These theories are combined with categorical constructions to yield a formalisation of the entire system. We observe that some notations require the identification of theories intermediate between the theories of the constituent classes and associations and that of the entire system. This leads us to propose a notion of subsystem which generalises the concept of object and yields an approach to system specification employing object-like encapsulation in a nested hierarchy of components.
Organisation CCLRC , BITD
Funding Information
Related Research Object(s):
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Paper In Conference Proceedings In 11th European Conference on Object-Oriented Programming (ECOOP'97), Jyvaskyla, Finland, ., (1997). papers_1241_12410324.pdf 1997