Underspecification, inherent nondeterminism and probability in sequence diagrams

DOI10.1007/11768869_12zbMATH Open1461.68117OpenAlexW1540748148MaRDI QIDQ4989487FDOQ4989487

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

Recommendations

• scientific article
• 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

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)

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)