Formal modeling of evolving self-adaptive systems
From MaRDI portal
Publication:1951611
DOI10.1016/j.scico.2011.09.004zbMath1264.68131WikidataQ57745548 ScholiaQ57745548MaRDI QIDQ1951611
Saeed Jalili, Narges Khakpour, Marjan Sirjani, Mohammadreza Mousavi, Carolyn L. Talcott
Publication date: 6 June 2013
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.scico.2011.09.004
adaptive systems; algebra; software engineering; formal modeling; actor models; policy-based systems
68T05: Learning and adaptive systems in artificial intelligence
68Q70: Algebraic theory of languages and automata
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
A White Box Perspective on Behavioural Adaptation, Formal modeling of evolving self-adaptive systems
Uses Software
Cites Work
- Assurance of dynamic adaptation in distributed systems
- Preferential choice and coordination conditions
- Formal modeling of evolving self-adaptive systems
- Implied Scenario Detection in the Presence of Behaviour Constraints
- Connector Rewriting with High-Level Replacement Systems
- A Framework for Policy Driven Auto-adaptive Systems Using Dynamic Framed Aspects
- Reo: a channel-based coordination model for component composition
- Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation
- Processes, Terms and Cycles: Steps on the Road to Infinity
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item