Compositional refinements in multiple blackboard systems

DOI10.1007/BF01213078MaRDI QIDQ1899098zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 4 October 1995

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01213078

zbMATH Keywords

CONESPextended shared prologlogic programming

Mathematics Subject Classification ID

Theory of software (68N99)

Review text

We introduce CONESP, a concurrent system built according to the SMoLCS methodology to provide an abstract model of the coordination language Extended Shared Prolog (ESP), which is based on the integration of the blackboard paradigm with Logic Programming. CONESP is hierarchy of blackboard systems, each consisting of a passive blackboard tree and a collection of active components including parallel agents and dynamic (sub)systems. An implementation relationship between two hierarchies is defined, which is shown to be compositional. Some techniques have also been developed for the direct proof, i.e. the basic step in the inductive proof that one system implements another. ESP is being used in the Oikos environment for software process modelling. The results of this paper are the basis for the formal verification of the correctness of the software process models built by stepwise-refinements in Oikos.

Recommendations

• scientific article; zbMATH DE number 1083039
• Specification, refinement and verification of concurrent systems -- an integration of Object-\(Z\) and \(CSP\)
• scientific article; zbMATH DE number 3926214
• scientific article; zbMATH DE number 4082951

Cites work

• Direct semantics of concurrent languages in the SMoLCS approach
• Extensional equivalences for transition systems
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)

Cited in

(4)

• Extending the log framework with local and conditional blackboard operations
• scientific article; zbMATH DE number 4082951 (Why is no real title available?)
• scientific article; zbMATH DE number 44032 (Why is no real title available?)
• scientific article; zbMATH DE number 1083039 (Why is no real title available?)

This page was built for publication: Compositional refinements in multiple blackboard systems

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