A comprehensive engineering framework for guaranteeing component compatibility

Floch, Jacqueline; Carrez, Cyril; Cielak, P.; Roj, M.; Sanders, Richard; Shiaa, Mazen Malek

doi:10.1016/j.jss.2010.04.075

Cited by 11 publications

(6 citation statements)

References 27 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Our approach is therefore close to the process of SOMA in starting from business models and aligning services to business goals. Another methodology that have influenced our work was developed in the FP6 EU project SIMS 5 [8] which defined a top-down approach for specifying mobile services, starting from a high level specification of the system and modelling composite collaboration representing the services and refining these to fine grained specification of components, interfaces and data.…”

Section: Service Engineering Methodologiesmentioning

confidence: 99%

Model-driven Service Engineering with SoaML

Elvesæter

Carrez

Mohagheghi

et al. 2011

Service Engineering

View full text Add to dashboard Cite

This chapter presents a model-driven service engineering (MDSE) methodology that uses OMG MDA specifications such as BMM, BPMN and SoaML to identify and specify services within a service-oriented architecture. The methodology takes advantage of business modelling practices and provides a guide to service modelling with SoaML. The presentation is case-driven and illuminated using the telecommunication example. The chapter focuses in particular on the use of the SoaML modelling language as a means for expressing service specifications that are aligned with business models and can be realized in different platform technologies.

show abstract

Section: Service Engineering Methodologiesmentioning

confidence: 99%

Model-driven Service Engineering with SoaML

Elvesæter

Carrez

Mohagheghi

et al. 2011

Service Engineering

View full text Add to dashboard Cite

show abstract

“…The variability and domain models are transformed into code executable by the middleware to plan the adaptation. Nevertheless, MUSIC does not support developing application components (managed elements) as in the framework, they do not play an active role in the adaptation: component development is considered an orthogonal, well‐understood issue 37,38 and as such, outside of the framework's scope. Accordingly, the framework does not allow the integral design of adaptation logic and component reconfiguration.…”

Section: Motivation and Backgroundmentioning

confidence: 99%

Component‐based specification, design and verification of adaptive systems

Graics

Molnár

Majzik

2023

Systems Engineering

View full text Add to dashboard Cite

Control systems are typically tightly embedded into their environment to enable adaptation to environmental effects. As the complexity of such adaptive systems is rapidly increasing, there is a strong need for coherent tool‐centric approaches to aid their systematic development. This paper proposes an end‐to‐end component‐based specification, design and verification approach for adaptive systems based on the integration of a high‐level scenario language (sequence chart variant) and an adaptation definition language (statechart extension) in the open source Gamma tool. The scenario language supports high‐level constructs for specifying contracts and the adaptation definition language supports the flexible activation and deactivation of static contracts and managed elements (state‐based components) based on internal changes (e.g., faults), environmental changes (e.g., varying context) or interactions. The approach supports linking managed elements to static contracts to formally verify their adherence to the specified behavior at design time using integrated model checkers. Implementation can be derived from the adaptation model automatically, which can be tested using automated test generation and verified at runtime by contract‐based monitors.

show abstract

“…Deliberately, the MUSIC project did not spend any effort on research into software engineering techniques for the development of the application components themselves, because the application components do not play an active role in the adaptation. Component development is considered an orthogonal, well‐understood issue and simply outside of the project scope. Thus, the main research innovations and contributions of MUSIC in the development process are: (i) a comprehensive application adaptation modelling methodology that enables various forms of application variability and seamlessly integrates into the adaptation models information on context dependencies, adaptations objectives (based on utility functions) and external heterogeneous service offers; (ii) model transformation support for transforming the adaptation models, including domain knowledge contained in ontologies, into code that is used by the MUSIC middleware at runtime to perform the adaptation reasoning.…”

Section: Music Framework At a Glancementioning

confidence: 99%

Playing MUSIC — building context‐aware and self‐adaptive mobile applications

Floch

Fra

Fricke³

et al. 2012

Softw Pract Exp

Self Cite

View full text Add to dashboard Cite

SUMMARY Although the idea of context‐awareness was introduced almost two decades ago, few mobile software applications are available today that can sense and adapt to their run‐time environment. The development of context‐aware and self‐adaptive applications is complex and few developers have experience in this area. On the basis of several demonstrators built by the joint European research project MUSIC, this paper describes typical context and adaptation features relevant for the development of context‐aware and self‐adaptive mobile applications. We explain how the demonstrators were realised using the open‐source platform MUSIC and present the feedback of the developers of these demonstrators. The main contribution of this paper is to show how the development complexity of context‐aware and self‐adaptive mobile applications can be mastered by using an adaptation framework such as MUSIC. Copyright © 2012 John Wiley & Sons, Ltd.

show abstract

A comprehensive engineering framework for guaranteeing component compatibility

Cited by 11 publications

References 27 publications

Model-driven Service Engineering with SoaML

Model-driven Service Engineering with SoaML

Component‐based specification, design and verification of adaptive systems

Playing MUSIC — building context‐aware and self‐adaptive mobile applications

Contact Info

Product

Resources

About