Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Component and Interface Refinement in Closed-System Specifications

Reino Kurki-SuonioContact Information

(6)  Software Systems Laboratory, Tampere University of Technology, 553, FIN-33101, Tampere, Finland
Abstract
A closed-system specification models a system in the context of its assumed environment. A component is then a view on the total system, where unnecessary details of other components and the external environment have been abstracted away. Starting from a crude initial model, details of components can be introduced in separate component refinements, and the resulting views can be synthesized by composition into a detailed model of the total system. In contrast to open systems, also component interfaces can be refined in this process. The original model may therefore have abstract interfaces, whose implementability with the available mechanisms is one of the concerns in component refinements. However, since component refinements may then interfere,conditions are needed for their composability. Such conditions are derive in this paper, and the application of component refinements to interface refinement is investigated.

Contact Information Reino Kurki-Suonio
Email: rks@cs.tut.fi
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.105 • Server: mpweb23
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)