Adaptation of Open Component-Based Systems

DOI10.1007/978-3-540-72952-5_9MaRDI QIDQ5428909zbMATH OpenOpenAlexFDO

Authors Pascal Poizat, Gwen Salaün

Publication date 28 November 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-72952-5_9

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• On the semantics of software adaptation
• Coordination Models and Languages
• scientific article; zbMATH DE number 2089415
• Algebraic Methodology and Software Technology
• Component adaptation through flexible subservicing

Cites work

• Branching time and abstraction in bisimulation semantics
• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• scientific article; zbMATH DE number 1956478 (Why is no real title available?)
• scientific article; zbMATH DE number 1860627 (Why is no real title available?)
• Temporal verification of reactive systems: response
• The tool TINA – Construction of abstract state spaces for petri nets and time petri nets

Cited in

(12)

• Automated verification of automata communicating via FIFO and bag buffers
• Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation
• Structural reconfiguration of systems under behavioral adaptation
• Component adaptation through flexible subservicing
• scientific article; zbMATH DE number 2087392 (Why is no real title available?)
• scientific article; zbMATH DE number 1860627 (Why is no real title available?)
• scientific article; zbMATH DE number 2100549 (Why is no real title available?)
• A sharing-based approach to supporting adaptation in service compositions
• A white box perspective on behavioural adaptation
• Theoretical Aspects of Computing – ICTAC 2005
• Coordination Models and Languages
• Synthesis of secure adaptors

Describes a project that uses

Uses Software

• TINA

This page was built for publication: Adaptation of Open Component-Based Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5428909)