Behavioral subtyping relations for active objects

DOI10.1023/A:1024764232069MaRDI QIDQ1426939zbMATH OpenFDO

Authors Heike Wehrheim

Publication date 15 March 2004

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/A:1024764232069

zbMATH Keywords

behavioral subtypingCSPobject-orientationrefinement

Mathematics Subject Classification ID

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

Cited in

(17)

• Simulation of behaviour and object substitutability
• scientific article; zbMATH DE number 1696907 (Why is no real title available?)
• Subtyping in distributed systems
• Behavioural subtyping using invariants and constraints
• scientific article; zbMATH DE number 2089401 (Why is no real title available?)
• scientific article; zbMATH DE number 1231452 (Why is no real title available?)
• Model evolution and refinement
• scientific article; zbMATH DE number 2011482 (Why is no real title available?)
• scientific article; zbMATH DE number 2143091 (Why is no real title available?)
• scientific article; zbMATH DE number 4115919 (Why is no real title available?)
• scientific article; zbMATH DE number 1860619 (Why is no real title available?)
• scientific article; zbMATH DE number 1860620 (Why is no real title available?)
• Strong types for coordinating active objects
• Sound and relaxed behavioural inheritance
• Easy verification of behavioural subtyping in common cases
• Lazy behavioral subtyping
• Conformance notions for the coordination of interaction components

Describes a project that uses

Uses Software

• LOTOS

This page was built for publication: Behavioral subtyping relations for active objects

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