Please use this identifier to cite or link to this item:
https://dspace.upt.ro/xmlui/handle/123456789/487
Title: | Inference of safe approximate models for system composition |
Authors: | Holotescu, Casandra |
Subjects: | Ingineria programării Modele Componente software Teză de doctorat |
Issue Date: | 2013 |
Publisher: | Timişoara: Editura Politehnica |
Citation: | Holotescu, Casandra. Inference of safe approximate models for system composition. Timişoara: Editura Politehnica, 2013 |
Series/Report no.: | 14 Calculatoare și Tehnologia Informației;15 |
Abstract: | The scope of this thesis is in the field of software engineering and formal methods. A core issue in component-based software engineering is how to rigorously build a system from off-the-shelf software components. This is done by automatic component adaptation and composition, which need behavioural models of all components. We have developed an approximate model inference technique for black box asynchronous software components. In contrast to existingtechniquesthatassumeonlycontrollablebehaviour, ourmethodaddressesthe challenges raised by uncontrollable events, which cannot be enabled or disabled at will. The models inferred are safe with respect to black box controllability, i.e. they can be reliably used to control the real components. |
URI: | http://localhost:8080/xmlui/handle/123456789/487 |
ISBN: | 9786065546646 |
Appears in Collections: | Teze de doctorat/Phd theses |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
BUPT_TD_Holotescu Casandra.pdf | 10.13 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.