Name
Title | ||
|---|---|---|
Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism. |
Abstract | ||
|---|---|---|
Having a sequence diagram specification and a computer system, we need to answer the question: Is the system compliant with the sequence diagram specification in the desired way? We present a procedure for answering this question for sequence diagrams with underspecification and inherent nondeterminism. The procedure is independent of any concrete technology, and relies only on the execution traces that may be produced by the system. If all traces are known, the procedure results in either “compliant” or “not compliant”. If only a subset of the traces is known, the conclusion may also be “likely compliant” or “likely not compliant”. |
Year | DOI | Venue |
|---|---|---|
2013 | 10.1007/s00165-011-0192-5 | Formal Asp. Comput. |
Keywords | Field | DocType |
Sequence diagrams, Computer systems, Refinement, Implementation, Compliance, Denotational trace semantics | Sequence diagram,Underspecification,Programming language,Computer science,Theoretical computer science | Journal |
Volume | Issue | ISSN |
25 | 2 | 1433-299X |
Citations | PageRank | References |
2 | 0.37 | 24 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Ragnhild Kobro Runde | 1 | 148 | 10.00 |
| Atle Refsdal | 2 | 59 | 9.85 |
| Ketil Stølen | 3 | 669 | 73.05 |