Model-based development of dynamically adaptive software

By Ji Zhang, Betty H. C. Cheng. International Conference on Software Engineering, 2006

484 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computer Networks and Communications, Software

View Paper: https://www.semanticscholar.org/paper/a060ca20d4e3ba2542afa79231a46ead323b8d24

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

In Computer Networks and Communications

In Software

Citations in the corpus

A survey on engineering approaches for self-adaptive systems (2015, methodology): “Zhang and Cheng proposed a model-based process for the construction of adaptation models, automatic code generation from the models for building adaptive programs, and verification and validation of the models [74].”
Self-Managed Systems: an Architectural Challenge (2007, background): “An associated challenge is to verify that safety properties are not violated during change [27], a problem addressed more promisingly by Zhang and Cheng [40].”
Model-driven Development of Complex Software: A Research Roadmap (2007, background): “…consisting of diverse devices (personal computers, specialized sensors and actuators), (2) communicate using a variety of interaction paradigms (e.g., SOAP messaging, media streaming), (3) dynamically adapt to changes in operating environments, and (4) behave in a dependable manner [26, 62].”
Research Directions in Requirements Engineering (2007, background): “RE activities largely focus on specifying and/or verifying assurance models and properties for adaptive systems [3, 21, 86, 87, 90, 163, 164].”
RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems (2009, background): “Work has also been done in providing assurance for adaptive systems [2], [12], [14], [27]–[29].”
Software Engineering for Self-Adaptive Systems: A Research Roadmap (2009, background): “For example, a system cannot start out as a transport robot and self-adapt into a robot chef [22]! Allowing uncertainty levels when developing self-adaptive systems requires a trade-off between flexibility and assurance such that the critical high-level goals of the application are always met [23,24”