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

DOI10.1016/J.JLAP.2004.05.005zbMATH Open1080.68016OpenAlexW1991889131MaRDI QIDQ1779321FDOQ1779321

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

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

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)

Cites Work

• The Esterel synchronous programming language: Design, semantics, implementation
• Statecharts: a visual formalism for complex systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Inheritance in the join calculus.
• Title not available (Why is that?)
• Synchronous programming with events and relations: The SIGNAL language and its semantics
• Title not available (Why is that?)

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)