Underspecification, inherent nondeterminism and probability in sequence diagrams

DOI10.1007/11768869_12MaRDI QIDQ4989487zbMATHOpenAlexFDO

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

Publication date 25 May 2021

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

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 5004762
• Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism
• Stepwise refinement of sequence diagrams with soft real-time constraints
• scientific article; zbMATH DE number 827943
• scientific article; zbMATH DE number 1324656

Cited in

(4)

• Stepwise refinement of sequence diagrams with soft real-time constraints
• Refinement sensitive formal semantics of state machines with persistent choice
• Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism
• Explicit and implicit indeterminism reasoning about uncertain and contradictory specifications of dynamic systems

This page was built for publication: Underspecification, inherent nondeterminism and probability in sequence diagrams

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