The SCEL Language: Design, Implementation, Verification

Nicola, Rocco De; Latella, Diego; Lafuente, Alberto Lluch; Loreti, Michele; Margheri, Andrea; Massink, Mieke; Morichetta, Andrea; Pugliese, Rosario; Tiezzi, Francesco; Vandin, Andrea

doi:10.1007/978-3-319-16310-9_1

Cited by 59 publications

(29 citation statements)

References 50 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Here the programming step is implicit in the sense that IRM by definition results in a DEECo specification (a component-based reification of SCEL conceptssee Chapter I.1 [18]), which can be directly mapped to a jDEECo program. The jDEECo program inherits the architecture defined in the architecture loop, and inherits the reasoning processes defined in the reasoning loop.…”

Section: Software Development Life Cyclementioning

confidence: 99%

The E-mobility Case Study

Hoch

Bensler

Abeywickrama

et al. 2015

Software Engineering for Collective Autonomic Systems

View full text Add to dashboard Cite

Abstract. Electro-mobility (e-mobility) is one of the promising technologies being considered by automotive OEMs as an alternative to internal combustion engines as a means of propulsion. The e-mobility case study provides a novel example of a relevant industry application within the ASCENS framework. An overview of the system design is given which describes how e-mobility is conceptualized and then transformed using the ensemble development life cycle (EDLC) approach into a distributed autonomic (i.e self-aware, self-adaptive) component-based software system. The system requirements engineering is based on the state-of-theaffairs (SOTA) approach and the invariant refinement method (IRM) which are both revisited and applied. Regarding the implementation and deployment of the system, a dependable emergent ensembles of components (DEECo) approach is utilized. The DEECo components and ensembles are coded and deployed using the Java-based jDEECo runtime environment. The runtime environment integrates the multi-agent transport simulation tool (MATSim), which is used to predict the effects of the physical interactions of users, vehicles and infrastructure resources. jDEECo handles multiple MATSim instances to allow for different belief states between components and ensembles.

show abstract

Section: Software Development Life Cyclementioning

confidence: 99%

The E-mobility Case Study

Hoch

Bensler

Abeywickrama

et al. 2015

Software Engineering for Collective Autonomic Systems

View full text Add to dashboard Cite

show abstract

“…These dynamicallyformed communication groups are known as ensembles [3]. Examples of restrictions could include only co-located components, only components with adequate security permissions, or only components with sufficient battery charge.…”

Section: Carma Semanticsmentioning

confidence: 99%

Rigorous Graphical Modelling of Movement in Collective Adaptive Systems

Zoń

Gilmore

Hillston

2016

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

View full text Add to dashboard Cite

Abstract. Formal modelling provides valuable intellectual tools which can be applied to the problem of analysis and optimisation of systems. In this paper we present a novel software tool which provides a graphical approach to modelling of Collective Adaptive Systems (CAS) with constrained movement. The graphical description is translated into a model that can be analysed to understand the dynamic behaviour of the system. This generated model is expressed in CARMA, a modern feature-rich modelling language designed specifically for modelling CAS. We demonstrate the use of the software tool with an example scenario representing carpooling, in which travellers group together and share a car in order to reach a common destination. This can reduce their travel time and travel costs, whilst also ameliorating traffic congestion by reducing the number of vehicles on the road.

show abstract

“…A notable example is the Context Oriented Programming paradigm, where the contexts of execution and code variations are first-class citizens that can be used to structure the adaptation logic in a disciplined way [24]. This paradigm has also influenced the many programming and modelling approaches developed within the ASCENS project [4] among which we cite the Service Component Ensemble Language (see [11] and also Chapter I.1 [19]) and the architectural approach of [9]. Nevertheless, it is not the choice of the programming language what makes a program adaptive: any computational model or programming language can be used to implement an adaptive system, just by identifying the part of the data that governs the adaptation logic, that is the control data.…”

Section: A White-box Perspective On Adaptive Systemsmentioning

confidence: 99%

Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation

Bruni

Corradini

Gadducci

et al. 2015

Software Engineering for Collective Autonomic Systems

Self Cite

View full text Add to dashboard Cite

Abstract. This paper propose to reconcile two perspectives on behavioural adaptation commonly taken at different stages of the engineering of autonomic computing systems. Requirements engineering activities often take a black-box perspective: A system is considered to be adaptive with respect to an environment whenever the system is able to satisfy its goals irrespectively of the environment disturbations. Modelling and programming engineering activities often take a white-box perspective: A system is equipped with suitable adaptation mechanisms and its behaviour is classified as adaptive depending on whether the adaptation mechanisms are enacted or not. The proposed approach reconciles black-and white-box perspectives by proposing several notions of coherence between the adaptivity as observed by the two perspectives: These notions provide useful criteria for the system developer to assess and possibly modify the adaptation requirements, models and programs of an autonomic system.

show abstract

The SCEL Language: Design, Implementation, Verification

Cited by 59 publications

References 50 publications

The E-mobility Case Study

The E-mobility Case Study

Rigorous Graphical Modelling of Movement in Collective Adaptive Systems

Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation

Contact Info

Product

Resources

About