Formal modeling of evolving self-adaptive systems

DOI10.1016/J.SCICO.2011.09.004zbMath1264.68131OpenAlexW2071347688WikidataQ57745548 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

zbMATH Keywords

adaptive systemsalgebrasoftware engineeringformal modelingactor modelspolicy-based systems

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Algebraic theory of languages and automata (68Q70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Formal modeling of evolving self-adaptive systems ⋮ A White Box Perspective on Behavioural Adaptation

Uses Software

• Reo
• PAGODA

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

This page was built for publication: Formal modeling of evolving self-adaptive systems