Communicating sequential processes
Communicating sequential processes
An introduction to formal specification and Z
An introduction to formal specification and Z
A component- and message-based architectural style for GUI software
Proceedings of the 17th international conference on Software engineering
Software architecture styles as graph grammars
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Filter-based model checking of partial systems
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Graph grammars and constraint solving for software architecture styles
ISAW '98 Proceedings of the third international workshop on Software architecture
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Architecture-based runtime software evolution
Proceedings of the 20th international conference on Software engineering
Checking that finite state concurrent programs satisfy their linear specification
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
ACM Computing Surveys (CSUR)
Configuring distributed systems
EW 5 Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
A Tableau Method for Interval Temporal Logic with Projection
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Maria: Modular Reachability Analyser for Algebraic System Nets
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Specification and Refinement of Dynamic Software Architectures
WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
Analysing Dynamic Change in Software Architectures: A Case Study
CDS '98 Proceedings of the International Conference on Configurable Distributed Systems
Constructing Adaptive Software in Distributed Systems
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Goal-Oriented Requirements Engineering: A Guided Tour
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
Computer
Enabling autonomic behavior in systems software with hot swapping
IBM Systems Journal
Verifying aspect advice modularly
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Proceedings of the 27th international conference on Software engineering
A survey of self-management in dynamic software architecture specifications
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Towards requirements-driven autonomic systems design
DEAS '05 Proceedings of the 2005 workshop on Design and evolution of autonomic application software
Specifying adaptation semantics
WADS '05 Proceedings of the 2005 workshop on Architecting dependable systems
Model checking safety properties in modular high-level nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Control mechanisms for packet audio in the internet
INFOCOM'96 Proceedings of the Fifteenth annual joint conference of the IEEE computer and communications societies conference on The conference on computer communications - Volume 1
Towards ad hoc contextual services for pervasive computing
Proceedings of the 1st workshop on Middleware for Service Oriented Computing (MW4SOC 2006)
Model-driven Development of Complex Software: A Research Roadmap
FOSE '07 2007 Future of Software Engineering
A Perspective on the Future of Middleware-based Software Engineering
FOSE '07 2007 Future of Software Engineering
Self-Managed Systems: an Architectural Challenge
FOSE '07 2007 Future of Software Engineering
Towards Re-engineering Legacy Systems for Assured Dynamic Adaptation
MISE '07 Proceedings of the International Workshop on Modeling in Software Engineering
Digitally Evolving Models for Dynamically Adaptive Systems
SEAMS '07 Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
Designing Run-Time Fault-Tolerance Using Dynamic Updates
SEAMS '07 Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
Component airbag: a novel approach to develop dependable component-based applications
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
A framework for supporting dynamic systems co-evolution
Automated Software Engineering
Component airbag: a novel approach to develop dependable component-based applications
The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers
Modelling Adaptive Systems in ForSyDe
Electronic Notes in Theoretical Computer Science (ENTCS)
Slicing for model reduction in adaptive embedded systems development
Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems
Modeling collaborations with dynamic structural adaptation in mechatronic UML
Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems
Design patterns for monitoring adaptive ULS systems
Proceedings of the 2nd international workshop on Ultra-large-scale software-intensive systems
Visualizing the Analysis of Dynamically Adaptive Systems Using i* and DSLs
REV '07 Proceedings of the Second International Workshop on Requirements Engineering Visualization
Dynamic Requirements Specification for Adaptable and Open Service-Oriented Systems
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
AMOEBA-RT: Run-Time Verification of Adaptive Software
Models in Software Engineering
Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Modeling of correct self-adaptive systems: a graph transformation system based approach
CSTST '08 Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology
Dynamic adaptive software components: the MOCAS approach
CSTST '08 Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology
Modular verification of dynamically adaptive systems
Proceedings of the 8th ACM international conference on Aspect-oriented software development
Coordinated management of hardware and software self-adaptivity
Journal of Systems Architecture: the EUROMICRO Journal
Modeling and Validating Dynamic Adaptation
Models in Software Engineering
Taming Dynamically Adaptive Systems using models and aspects
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Model-driven architectural monitoring and adaptation for autonomic systems
ICAC '09 Proceedings of the 6th international conference on Autonomic computing
Applying adaptation design patterns
ICAC '09 Proceedings of the 6th international conference on Autonomic computing
Applying genetic algorithms to decision making in autonomic computing systems
ICAC '09 Proceedings of the 6th international conference on Autonomic computing
Relationship-based change propagation: A case study
MISE '09 Proceedings of the 2009 ICSE Workshop on Modeling in Software Engineering
Exploring approaches to dynamic adaptation
Proceedings of the 3rd International DiscCoTec Workshop on Middleware-Application Interaction
Software Engineering for Self-Adaptive Systems: A Research Roadmap
Software Engineering for Self-Adaptive Systems
Model-Driven Assessment of QoS-Aware Self-Adaptation
Software Engineering for Self-Adaptive Systems
Towards context-aware components
Proceedings of the first international workshop on Context-aware software technology and applications
Journal of Systems and Software
A rigorous architectural approach to adaptive software engineering
Journal of Computer Science and Technology
SM@RT: towards architecture-based runtime management of Internetware systems
Proceedings of the First Asia-Pacific Symposium on Internetware
Formalizing Adaptation On-the-Fly
Electronic Notes in Theoretical Computer Science (ENTCS)
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Summary of the workshop models@run.time at MoDELS 2006
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Formal analysis of policy-based self-adaptive systems
Proceedings of the 2010 ACM Symposium on Applied Computing
From model-based design to formal verification of adaptive embedded systems
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Design patterns for developing dynamically adaptive systems
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
FORMS: a formal reference model for self-adaptation
Proceedings of the 7th international conference on Autonomic computing
Automatically generating adaptive logic to balance non-functional tradeoffs during reconfiguration
Proceedings of the 7th international conference on Autonomic computing
Qos architectural patterns for self-architecting software systems
Proceedings of the 7th international conference on Autonomic computing
PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems
ACM Transactions on Embedded Computing Systems (TECS)
Advancing software architecture modeling for large scale heterogeneous systems
Proceedings of the FSE/SDP workshop on Future of software engineering research
A context-aware reflective middleware framework for distributed real-time and embedded systems
Journal of Systems and Software
Adaptation in open systems: giving interaction its rightful place
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Towards dynamic adaptation of probabilistic systems
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Model-driven development with Mechatronic UML
Graph transformations and model-driven engineering
Run-time efficient probabilistic model checking
Proceedings of the 33rd International Conference on Software Engineering
Application of software health management techniques
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
On the performance of UML state machine interpretation at runtime
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
A model-driven approach to develop adaptive firmwares
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Model-driven development of adaptive service-based systems with aspects and rules
WISE'10 Proceedings of the 11th international conference on Web information systems engineering
Unifying design and runtime software adaptation using aspect models
Science of Computer Programming
Reusing dynamic communication protocols in self-adaptive embedded component architectures
Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
Dynamic software update for component-based distributed systems
Proceedings of the 16th international workshop on Component-oriented programming
Specifying and verifying the SYNERGY reconfiguration protocol with LOTOS NT and CADP
FM'11 Proceedings of the 17th international conference on Formal methods
Using feature locality: can we leverage history to avoid failures during reconfiguration?
Proceedings of the 8th workshop on Assurances for self-adaptive systems
Version-consistent dynamic reconfiguration of component-based distributed systems
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
QoS verification and model tuning @ runtime
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Girgit: a dynamically adaptive vision system for scene understanding
ICVS'11 Proceedings of the 8th international conference on Computer vision systems
Ten years of analyzing actors: Rebeca experience
Formal modeling
Context-based behavioral equivalence of components in self-adaptive systems
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
FORMS: Unifying reference model for formal specification of distributed self-adaptive systems
ACM Transactions on Autonomous and Adaptive Systems (TAAS) - Special section on formal methods in pervasive computing, pervasive adaptation, and self-adaptive systems: Models and algorithms
Requirements for service composition in ultra-large scale software-intensive systems
Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
Dynamic reconfiguration in self-adaptive systems considering non-functional properties
Proceedings of the 27th Annual ACM Symposium on Applied Computing
A conceptual framework for adaptation
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Towards modeling reconfiguration in hierarchical component architectures
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Local dynamic update for component-based distributed systems
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Towards an integrated approach for validating qualities of self-adaptive systems
Proceedings of the 2012 Workshop on Dynamic Analysis
Axis: automatically fixing atomicity violations through solving control constraints
Proceedings of the 34th International Conference on Software Engineering
A survey of formal methods in self-adaptive systems
Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering
Graph transformations for MDE, adaptation, and models at runtime
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Formal modeling of evolving self-adaptive systems
Science of Computer Programming
HPobSAM for modeling and analyzing IT Ecosystems - Through a case study
Journal of Systems and Software
Analysing monitoring and switching problems for adaptive systems
Journal of Systems and Software
Adam: Identifying defects in context-aware adaptation
Journal of Systems and Software
An active architecture approach to dynamic systems co-evolution
ECSA'07 Proceedings of the First European conference on Software Architecture
Modelling and analyzing adaptive self-assembly strategies with maude
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
Actor-based runtime model of adaptable feedback control loops
Proceedings of the 7th Workshop on Models@run.time
Proceedings of the 7th Workshop on Models@run.time
PerCAS: an approach to enabling dynamic and personalized adaptation for context-aware services
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
Research directions in agent communication
ACM Transactions on Intelligent Systems and Technology (TIST) - Special section on agent communication, trust in multiagent systems, intelligent tutoring and coaching systems
A discipline-spanning development process for self-adaptive mechatronic systems
Proceedings of the 2013 International Conference on Software and System Process
Robust reconfigurations of component assemblies
Proceedings of the 2013 International Conference on Software Engineering
Coupling software architecture and human architecture for collaboration-aware system adaptation
Proceedings of the 2013 International Conference on Software Engineering
Formalizing correctness criteria of dynamic updates derived from specification changes
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Lifecycle of adaptive agreements: a pattern language
AT'13 Proceedings of the Second international conference on Agreement Technologies
A preliminary study on requirements modeling methods for self-adaptive software systems
Proceedings of the 5th Asia-Pacific Symposium on Internetware
A systematic literature review of service choreography adaptation
Service Oriented Computing and Applications
Deliberative, search-based mitigation strategies for model-based software health management
Innovations in Systems and Software Engineering
| Hi-index | 0.00 |
Increasingly, software should dynamically adapt its behavior at run-time in response to changing conditions in the supporting computing and communication infrastructure, and in the surrounding physical environment. In order for an adaptive program to be trusted, it is important to have mechanisms to ensure that the program functions correctly during and after adaptations. Adaptive programs are generally more difficult to specify, verify, and validate due to their high complexity. Particularly, when involving multi-threaded adaptations, the program behavior is the result of the collaborative behavior of multiple threads and software components. This paper introduces an approach to create formal models for the behavior of adaptive programs. Our approach separates the adaptation behavior and non-adaptive behavior specifications of adaptive programs, making the models easier to specify and more amenable to automated analysis and visual inspection. We introduce a process to construct adaptation models, automatically generate adaptive programs from the models, and verify and validate the models. We illustrate our approach through the development of an adaptive GSM-oriented audio streaming protocol for a mobile computing application.