Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism

DOI10.1007/S00165-011-0192-5MaRDI QIDQ1941894zbMATH OpenOpenAlexFDO

Authors Ragnhild Kobro Runde, Atle Refsdal, Ketil Stølen

Publication date 22 March 2013

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/11250/2468314

zbMATH Keywords

compliancecomputer systemsdenotational trace semanticsimplementationrefinementsequence diagrams

Mathematics Subject Classification ID

General theory of computer systems (68M01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Underspecification, inherent nondeterminism and probability in sequence diagrams
• A semantics of sequence diagrams.
• Stepwise refinement of sequence diagrams with soft real-time constraints
• On conformance testing of non-deterministic systems
• Foundations of Software Science and Computational Structures

Cites work

• Defining liveness
• scientific article; zbMATH DE number 5004762 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• LSCs: Breathing life into message sequence charts
• Modelling concurrent interactions
• Refinement Calculus
• Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism
• Specification and Development of Interactive Systems

Cited in

(3)

• Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism
• Stepwise refinement of sequence diagrams with soft real-time constraints
• Underspecification, inherent nondeterminism and probability in sequence diagrams

This page was built for publication: Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism

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