On the mathematics of sequential decompositions

DOI10.1016/0167-6423(93)90016-IMaRDI QIDQ1261494zbMATH OpenFDO

Authors Jules Desharnais, Fatma Mili, Ali Mili

Publication date 16 September 1993

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0167-6423(93)90016-I

zbMATH Keywords

conjugate kerneldecompositiondemonic compositioniterative normal formsrelation algebra

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Review text

This is a relational investigation of the transition from a problem specification given as a relation to a program which after execution give a product of composed relations. The main concepts encountered are demonic composition and conjugate kernel. Several iterative normal forms are given and discussed with respect to the decomposition problem.

Recommendations

• A RELATIONAL MODEL OF DEMONIC NONDETERMINISTIC PROGRAMS
• Parallel composition and decomposition of specifications
• scientific article; zbMATH DE number 2069311
• scientific article; zbMATH DE number 4193139

Cited in

(5)

• Parallel composition and decomposition of specifications
• A relational division operator: The conjugate kernel
• Decomposition of integer matrices and multileaf collimator sequencing
• scientific article; zbMATH DE number 2087426 (Why is no real title available?)
• Embedding a demonic semilattice in a relation algebra

This page was built for publication: On the mathematics of sequential decompositions

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