Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:


Written in Published in Earliest date Latest date

Sorted by

Results per page:

You searched for +publisher:"Université du Luxembourg" +contributor:("Uchitel, Sebastian [member of the jury]"). One record found.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters

Université du Luxembourg

1. Bianculli, Domenico. Open-world Software: Specification, Verification and Beyond.

Degree: 2012, Université du Luxembourg

Open-world software systems are built by composing heterogeneous,third-party components, whose behavior and interactions cannot be fully controlled or predicted; moreover, the environment they interact with is characterized by frequent, unexpected, and welcome changes. This class of software exhibits new features that often demand for rethinking and extending the traditional methodologies and the accompanying methods and techniques. In this thesis we deal with a particular class of open- world software, represented by service-based applications (SBAs). We focus on three specific aspects related to the development and provisioning of SBAs: specification, verification, and reputation management. With respect to these aspects, we provide methods and techniques that are i) suitable to deal with aspects such as change, evolution, and reliance on third- parties, and ii) able to improve the overall quality of the systems they are applied to. More specifically, concerning specification, we report on the findings of a study that analyzed requirements specifications of SBAs developed in research settings and in industrial settings. These findings have then driven the design of SOLOIST, a language used to specify the interactions of SBAs. Regarding verification, our contribution is twofold; we propose: i) a technique for automatically generating the behavioral interfaces of the partner services of a service composition, by decomposing the requirements specification of the composite service; ii) a framework for the definition of verification procedures (encoded as synthesis of semantic attributes associated with a grammar) that are made incremental using an approach based on incremental parsing and attributes evaluation techniques. Finally, as for reputation management, we present a reputation-aware service execution infrastructure, which manages the reputation of services used by composite SBAs in an automated and transparent manner. Advisors/Committee Members: Ghezzi, Carlo [superviser], Binder, Walter [member of the jury], Bultan, Tevfik [member of the jury], Dustdar, Schahram [member of the jury], Jazayeri, Mehdi [member of the jury], Uchitel, Sebastian [member of the jury].

Subjects/Keywords: Engineering, computing & technology :: Computer science [C05]; Ingénierie, informatique & technologie :: Sciences informatiques [C05]

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bianculli, D. (2012). Open-world Software: Specification, Verification and Beyond. (Doctoral Dissertation). Université du Luxembourg. Retrieved from ;

Chicago Manual of Style (16th Edition):

Bianculli, Domenico. “Open-world Software: Specification, Verification and Beyond.” 2012. Doctoral Dissertation, Université du Luxembourg. Accessed October 21, 2019. ;

MLA Handbook (7th Edition):

Bianculli, Domenico. “Open-world Software: Specification, Verification and Beyond.” 2012. Web. 21 Oct 2019.


Bianculli D. Open-world Software: Specification, Verification and Beyond. [Internet] [Doctoral dissertation]. Université du Luxembourg; 2012. [cited 2019 Oct 21]. Available from: ;

Council of Science Editors:

Bianculli D. Open-world Software: Specification, Verification and Beyond. [Doctoral Dissertation]. Université du Luxembourg; 2012. Available from: ;