Formal definition and representation of interaction points

DOI10.1016/0169-7552(92)90121-6MaRDI QIDQ4697195zbMATH OpenOpenAlexFDO

Authors R. Gotzhein

Publication date 29 June 1993

Published in Computer Networks and ISDN Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0169-7552(92)90121-6

zbMATH Keywords

architectural conceptsformal description techniquesinteraction pointISOopen distributed systemsOSIspecificationtemporal first-order logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Computer system organization (68M99) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 517246
• scientific article; zbMATH DE number 4084996
• scientific article; zbMATH DE number 1215062
• scientific article; zbMATH DE number 1304371
• A theory of system interaction: components, interfaces, and services

Cited in

(3)

• Interpreting message flow graphs
• scientific article; zbMATH DE number 517246 (Why is no real title available?)
• Modeling and testing object-oriented distributed systems with linear-time temporal logic

This page was built for publication: Formal definition and representation of interaction points

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