Semantic models for distributed object reflection

DOI10.1007/3-540-47993-7_1MaRDI QIDQ3046721zbMATH OpenFDO

Authors José Meseguer, Carolyn Talcott

Publication date 12 August 2004

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2374/23740001.htm

Mathematics Subject Classification ID

Distributed systems (68M14) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 1540610
• Object models and distributed knowledge systems
• scientific article; zbMATH DE number 1231588
• scientific article; zbMATH DE number 2246060
• scientific article; zbMATH DE number 1758619
• Domain-specific semantics and data refinement of object models
• scientific article; zbMATH DE number 1860630
• Conceptual modeling for distributed ontology environments
• A framework for structured distributed object computing
• Formation of semantic models of complex objects

Cited in

(17)

• Twenty years of rewriting logic
• Programming and symbolic computation in Maude
• Rewriting semantics of meta-objects and composable distributed services
• The Maude LTL model checker
• A formal framework for interactive agents
• Comparing three coordination models: Reo, ARC, and RRD
• Narrowing and rewriting logic: from foundations to applications
• Reflection in concurrent object-oriented languages
• Two Decades of Maude
• Symbolic execution of Reo circuits using constraint automata
• Coordinating asynchronous and open distributed systems under semiring-based timing constraints
• A white box perspective on behavioural adaptation
• Comparing three coordination models: Reo, ARC, and PBRD
• Building correct-by-construction systems with formal patterns
• Complete symbolic reachability analysis using back-and-forth narrowing
• Specification and analysis of the AER/NCA active network protocol suite in real-time Maude
• Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols

Describes a project that uses

Uses Software

• ELAN
• CafeOBJ

This page was built for publication: Semantic models for distributed object reflection

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