Software Engineering for Ensembles

Hölzl, M.; Rauschmayer, Axel; Wirsing, Martin

doi:10.1007/978-3-540-89437-7_2

Cited by 16 publications

(7 citation statements)

References 30 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…(a) Continuously monitor its energy level (battery) ; [9] (b) Continuously monitor its position) ; [7] (c) Continuously assess whether its energy level would be enough to complete the trip based on the distance left to cover; [8] (d) Have a plan to follow, which is based on its energy level and on the available parking slots in the parking places near the POI . [11,14] 2.…”

Section: Requirementsmentioning

confidence: 99%

See 1 more Smart Citation

Towards an Automated Requirements-driven Development of Smart Cyber-Physical Systems

Vinárek

Hnětynka

2016

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

The Invariant Refinement Method for Self Adaptation (IRM-SA) is a design method targeting development of smart Cyber-Physical Systems (sCPS). It allows for a systematic translation of the system requirements into the system architecture expressed as an ensemble-based component system (EBCS). However, since the requirements are captured using natural language, there exists the danger of their misinterpretation due to natural language requirements' ambiguity, which could eventually lead to design errors. Thus, automation and validation of the design process is desirable. In this paper, we (i) analyze the translation process of natural language requirements into the IRM-SA model, (ii) identify individual steps that can be automated and/or validated using natural language processing techniques, and (iii) propose suitable methods.

show abstract

Section: Requirementsmentioning

confidence: 99%

“…The traditional software design and development techniques have been shown unsuitable for such systems and novel approaches [8,13,14] have been proposed to tackle with the challenges. One of these promising approaches is Ensemble-Based Component Systems (EBCS) [1].…”

Section: Introductionmentioning

confidence: 99%

Towards an Automated Requirements-driven Development of Smart Cyber-Physical Systems

Vinárek

Hnětynka

2016

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

show abstract

“…The next generation of software-intensive distributed computing systems has to deal with issues that arise from the presence of possibly large numbers of heterogeneous components, featuring complex interactions, and operating in open and non-deterministic environments. A further challenge is to deal with dynamic adaptation as response to evolving requirements and changes in the working environment [13,14,19]. Applications with the above characteristics are already being built and can be found in, for example, smart spaces, sensor networks, and large online cloud systems.…”

Section: Introductionmentioning

confidence: 99%

Stochastically timed predicate-based communication primitives for autonomic computing

Latella

Loreti

Massink

et al. 2014

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

Predicate-based communication allows components of a system to send messages and requests to ensembles of components that are determined at execution time through the evaluation of a predicate, in a multicast fashion. Predicate-based communication can greatly simplify the programming of autonomous and adaptive systems. We present a stochastically timed extension of the Software Component Ensemble Language (SCEL) that was introduced in previous work. Such an extension raises a number of non-trivial design and formal semantics issues with different options as possible solutions at different levels of abstraction. We discuss four of these options, of which two in more detail. We provide a formal semantics and an illustration of the use of the language modeling a variant of a bike sharing system, together with some preliminary analysis of the system performance.

show abstract

“…The key concept of the autonomic computing paradigm is adaptation, namely "the capability of a system to change its behavior according to new requirements or environment conditions" [19]. In the literature, two main approaches have been proposed for implementing adaptation in a software system: architectural-level and language-level.…”

Section: Introductionmentioning

confidence: 99%

Modeling adaptation with a tuple-based coordination language

Gjondrekaj

Loreti

Pugliese

et al. 2012

Proceedings of the 27th Annual ACM Symposium on Applied Computing

View full text Add to dashboard Cite

In recent years, it has been argued that systems and applications, in order to deal with their increasing complexity, should be able to adapt their behavior according to new requirements or environment conditions. In this paper, we present a preliminary investigation aiming at studying how coordination languages and formal methods can contribute to a better understanding, implementation and usage of the mechanisms and techniques for adaptation currently proposed in the literature. Our study relies on the formal coordination language Klaim as a common framework for modeling some adaptation techniques, namely the MAPE-K loop, aspect-and context-oriented programming.

show abstract

Software Engineering for Ensembles

Cited by 16 publications

References 30 publications

Towards an Automated Requirements-driven Development of Smart Cyber-Physical Systems

Towards an Automated Requirements-driven Development of Smart Cyber-Physical Systems

Stochastically timed predicate-based communication primitives for autonomic computing

Modeling adaptation with a tuple-based coordination language

Contact Info

Product

Resources

About