Use this URL to cite or link to this record in EThOS:
Title: A generic high-level specification language for non-functional properties of component-based systems
Author: Alreshidi, Abdulrahman Nassar
ISNI:       0000 0004 5994 5586
Awarding Body: King's College London
Current Institution: King's College London (University of London)
Date of Award: 2016
Availability of Full Text:
Access from EThOS:
Access from Institution:
The component-based software development is helpful in providing reuse of the components and reducing complexity of software systems. Different components work together to produce a complete system that needs a good understanding of the way the components interact with each other. The components' reuse requires a high level specification, among other things for non-functional properties (NFPs) as these properties control the way these components co-ordinate with each other. The complexity of modern software systems demands a generic and flexible language for formal specification of the functional and NFPs of the system so that the different components in a system can have a well-defined behaviour expectation. The non-functional properties of component-based system are important part of specification because they highlight the non-functional perspective of the system. They also help in implementation of functional elements with constraints on the NFPs in consideration. The absence of specification of NFPs can render the system not usable because the functional implementation may not have considered the constraints for working environment of the system. This is because the component developer will have no clearly defined non-functional objectives of the system. The formal specification of NFPs for components and their interaction with each other can help implement reliable systems. Incorporating these design concepts in the language specification would describe the usage context of language features in clear and precise manner. In this thesis, we developed a novel generic specification language (QML/CS) for NFPs of component-based systems. Defining such a high level specication language using a standard meta-modelling approach is challenging because its definition requires multi levels modelling. We employed deep meta-modelling technique to address this complex problem. We begin by discussing the key concepts used, then show how our meta-model is defined. In addition, we show how our meta-model for QML/CS overcame the issues of the standard meta-modelling language like UML and the mapping of a measurement to a concrete application. Finally, we show a prototype for QML/CS and discuss how the mapping of QML/CS expressions into TLA+ specications can dene the QML/CS semantics.
Supervisor: McBurney, Peter John ; Poernomo, Iman Hafiz ; Zschaler, Steffen Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available