Context-aware feature-oriented modeling with an aspect extension of VDM

Ubayashi, Naoyasu; Nakajima, Shinichi

doi:10.1145/1244002.1244277

Cited by 10 publications

(3 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Nevertheless, they are not competing approaches and can be used in combination to overcome individual limitations [140]. Ubayashi et al [148] try to reduce the complexity of context-aware design by separating concerns. The demand of C-AS for static changes can benefit from the use of Software Product Line Engineering, reusing artefacts over a set of similar programs, called a Software Product Line (SPL) [149].…”

Section: Conventional Programming Paradigmsmentioning

confidence: 99%

Engineering context-aware systems and applications: A survey

Alegre

Augusto

Clark

2016

Journal of Systems and Software

176

137

View full text Add to dashboard Cite

Context-awareness is an essential component of systems developed in areas like Intelligent Environments, Pervasive & Ubiquitous Computing and Ambient Intelligence. In these emerging fields, there is a need for computerized systems to have a higher understanding of the situations in which to provide services or functionalities, to adapt accordingly. The literature shows that researchers modify existing engineering methods in order to better fit the needs of context-aware computing. These efforts are typically disconnected from each other and generally focus on solving specific development issues. We encourage the creation of a more holistic and unified engineering process that is tailored for the demands of these systems. For this purpose, we study the state-of-the-art in the development of context-aware systems, focusing on: A) Methodologies for developing context-aware systems, analysing the reasons behind their lack of adoption and features that the community wish they can use; B) Context-aware system engineering challenges and techniques applied during the most common development stages; C) Context-aware systems conceptualization.

show abstract

Section: Conventional Programming Paradigmsmentioning

confidence: 99%

Engineering context-aware systems and applications: A survey

Alegre

Augusto

Clark

2016

Journal of Systems and Software

176

137

View full text Add to dashboard Cite

show abstract

“…The contextual information is not captured as in our case within the original FM but imposed as additional cross-tree constraints. Similarly, in [30,31], both the context and the variability model are captured by using two distinct feature models that are connected using rules that establish how to configure a system based on contextual information. These FMs could be composed using the approach presented in [32].…”

Section: Related Workmentioning

confidence: 99%

Context-aware reconfiguration in evolving software product lines

Mauro

Nieke

Seidl

et al. 2018

Science of Computer Programming

View full text Add to dashboard Cite

“…Naoyasu Ubayashi and Shin Nakajima examine a software development method starting with the featureoriented modeling method to have VDM-based formal design. In order to overcome the problem that a feature may be scattered over the VDM design description, the notion of the aspect is adapted to propose AspectVDM [30]. The identified features are concisely represented in AspectVDM to demonstrate modular descriptions of cross-cutting concerns in VDM.…”

Section: Related Workmentioning

confidence: 99%

Aspect-Oriented Formal Techniques of Cyber Physical Systems

Zhang¹

2012

JSW

View full text Add to dashboard Cite

Cyber-physical systems pose considerable technical challenges, ranging from the distributed programming paradigms to networking protocols with timeliness as a structuring concern, including systems theory that combines physical concerns and computational concerns. Formal specification techniques for such systems have to be able to describe all these concerns. Unfortunately, a single specification technique that is well suited for all these concerns s is yet not available. Instead one finds various specialized techniques that are very good at describing individual concerns of cyber-physical system. This observation has led to research into the combination and semantic integration of specification techniques. This paper proposes a formwork for specifying cyber physical systems based on aspect-oriented formal method, which exploits the diversity and power of existing formal specification languages. There is no requirement that different aspects of a system should be expressed in the same language. So the different aspects can be specified by one formal specification technique or different formal specification techniques. The proposed aspect–oriented formal framework is such a formwork. On the one hand, it can deal with continuous-time systems based on sets of ordinary differential equations. On the other hand, it can deal with discrete-event systems, without continuous variables or differential equations. We present a combination of the formal methods Timed-CSP, ZimOO and differential (algebraic) equations or differential logic. Each method can describe certain aspects of a cyber physical system: CSP can describe communication, concurrent and real-time requirements; ZimOO expresses complex data operations; differential (algebraic) equations model the dynamics and control (DC) parts. Two case studies illustrate the specification process of aspect-oriented formal specification for cyber physical systems

show abstract

Context-aware feature-oriented modeling with an aspect extension of VDM

Cited by 10 publications

References 11 publications

Engineering context-aware systems and applications: A survey

Engineering context-aware systems and applications: A survey

Context-aware reconfiguration in evolving software product lines

Aspect-Oriented Formal Techniques of Cyber Physical Systems

Contact Info

Product

Resources

About