Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation

DOI10.1016/J.JLAP.2004.05.005MaRDI QIDQ1779321zbMATH OpenOpenAlexFDO

Authors Mickaël Kerbœuf, Jean-Pierre Talpin

Publication date 1 June 2005

Published in The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlap.2004.05.005

zbMATH Keywords

Process calculiEncapsulationReuse and behavioral inheritance.Synchronous programming

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Support for implementation of evolutionary concurrent systems
• scientific article; zbMATH DE number 1946734
• scientific article; zbMATH DE number 2080219
• Adaptation of Open Component-Based Systems
• Component adaptation through flexible subservicing

Cites work

• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 53091 (Why is no real title available?)
• scientific article; zbMATH DE number 1231693 (Why is no real title available?)
• scientific article; zbMATH DE number 944097 (Why is no real title available?)
• Inheritance in the join calculus.
• Statecharts: a visual formalism for complex systems
• Synchronous programming with events and relations: The SIGNAL language and its semantics
• The Esterel synchronous programming language: Design, semantics, implementation

Describes a project that uses

Uses Software

• SIGNAL
• LUSTRE
• Esterel

This page was built for publication: Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation

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