Paper Info
Title
Modular specification of encapsulated object-oriented components
Abstract
A well-defined boundary of components allows to encapsulate internal state and to distinguish between internal calls that remain inside the component and external calls that have target objects outside the component. From a static point of view, such boundaries define the programmer's interface to the component. In particular, they define the methods that can be called on the component. From a dynamic point of view, the boundaries separate the component state and those parts of the program state outside the component. In this tutorial paper, we investigate encapsulated components that are realized based on object-oriented concepts. We define a semantics that captures a flexible notion of hierarchical encapsulation with confined references. The semantics generalizes the encapsulation concepts of ownership types. It is used as a foundation for modular behavioral component specifications. In particular, it allows to provide a simple semantics for invariants and an alternative solution for the frame problem. We demonstrate this new specification methodology by typical programming patterns.
Year
DOI
Venue
2005
10.1007/11804192_15
FMCO
Keywords
Field
DocType
simple semantics,encapsulated object-oriented component,internal call,modular behavioral component specification,encapsulated component,hierarchical encapsulation,modular specification,internal state,component state,encapsulation concept,dynamic point,program state,frame problem,object oriented
Object-oriented programming,Computer science,Theoretical computer science,Component (UML),Modular programming,Formal methods,Component-based software engineering,Modular design,Semantics,Frame problem
Conference
Volume
ISSN
ISBN
4111
0302-9743
3-540-36749-7
Citations 
PageRank 
References 
7
0.49
18
Authors
2
Name
Order
Citations
PageRank
Arnd Poetzsch-heffter152057.68
Jan Schäfer232014.02