Model-based development of dynamically adaptive software
J Zhang, BHC Cheng - Proceedings of the 28th international conference …, 2006 - dl.acm.org
Increasingly, software should dynamically adapt its behavior at run-time in response to
changing conditions in the supporting computing and communication infrastructure, and in …
changing conditions in the supporting computing and communication infrastructure, and in …
[图书][B] Software architecture for product families: principles and practice
M Jazayeri, A Ran, F Van Der Linden… - 2000 - academia.edu
Mehdi Jazayeri, ACM Ran, Frank Van Der Linden, Alexander Ran Software development
organizations are now discovering the efficiencies that can be achieved by architecting …
organizations are now discovering the efficiencies that can be achieved by architecting …
Using temporal logic to specify adaptive program semantics
J Zhang, BHC Cheng - Journal of Systems and Software, 2006 - Elsevier
Computer software must dynamically adapt to changing conditions. In order to fully realize
the benefit of dynamic adaptation, it must be performed correctly. The correctness of …
the benefit of dynamic adaptation, it must be performed correctly. The correctness of …
Specifying adaptation semantics
J Zhang, BHC Cheng - Proceedings of the 2005 workshop on …, 2005 - dl.acm.org
Computer software must dynamically adapt to changing conditions. In order to fully realize
the benefit of dynamic adaptation, it must be performed correctly. The correctness of …
the benefit of dynamic adaptation, it must be performed correctly. The correctness of …
System and method for performing batch configuration changes
EM Halpern, M Spotswood, C Paclat - US Patent 7,660,824, 2010 - Google Patents
6,609,213 6,651,140 6,671.695 6,704,778 6,836,889 6,898,587 7,000,019 7,047,530
7,065,616 7,107,543 7, 177,897 7,240,101 7,249,189 7,353,262 7.366, 898 2001/OO42O73 …
7,065,616 7,107,543 7, 177,897 7,240,101 7,249,189 7,353,262 7.366, 898 2001/OO42O73 …
The Programmers' Playground: I/O abstraction for user-configurable distributed applications
KJ Goldman, B Swaminathan… - IEEE Transactions …, 1995 - ieeexplore.ieee.org
I/O abstraction is offered as a new high-level approach to interprocess communication.
Functional components of a distributed system are written as encapsulated modules that act …
Functional components of a distributed system are written as encapsulated modules that act …
Enabling safe dynamic component-based software adaptation
J Zhang, BHC Cheng, Z Yang, PK McKinley - … Dependable Systems III, 2005 - Springer
Recomposable software enables a system to change its structure and behavior during
execution, in response to a dynamic execution environment. This paper proposes an …
execution, in response to a dynamic execution environment. This paper proposes an …
Towards a rigorous modeling formalism for systems of systems
T Gezgin, C Etzien, S Henkler… - 2012 IEEE 15th …, 2012 - ieeexplore.ieee.org
The scope of this paper is collaborative, distributed safety critical systems which build up a
larger scale system of systems (SoS). Systems participating in an SoS follow both global as …
larger scale system of systems (SoS). Systems participating in an SoS follow both global as …
Modeling of correct self-adaptive systems: a graph transformation system based approach
B Becker, H Giese - Proceedings of the 5th international conference on …, 2008 - dl.acm.org
Software is always embedded in a social and technical context which change over time and
therefore also the software has to be adjusted over time to preserve its value. Self-adaptive …
therefore also the software has to be adjusted over time to preserve its value. Self-adaptive …
Modeling collaborations with dynamic structural adaptation in mechatronic uml
The next generation of advanced mechatronic systems is expected to behave more
intelligently than today's systems. These systems are expected to enhance their functionality …
intelligently than today's systems. These systems are expected to enhance their functionality …