Symbolic model checking of UML activity diagrams

@article{Eshuis2006SymbolicMC,
  title={Symbolic model checking of UML activity diagrams},
  author={Rik Eshuis},
  journal={ACM Trans. Softw. Eng. Methodol.},
  year={2006},
  volume={15},
  pages={1-38}
}
Two translations from activity diagrams to the input language of NuSMV, a symbolic model verifier, are presented. Both translations map an activity diagram into a finite state machine and are inspired by existing statechart semantics. The requirements-level translation defines state machines that can be efficiently verified, but are a bit unrealistic since they assume the perfect synchrony hypothesis. The implementation-level translation defines state machines that cannot be verified so… CONTINUE READING
Highly Influential
This paper has highly influenced 10 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 308 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 138 extracted citations

308 Citations

02040'09'12'15'18
Citations per Year
Semantic Scholar estimates that this publication has 308 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 11 references

Springer, 267–277

  • Notes in Computer Science
  • PELED, D. 1993. All from one, one from all: on…
  • 1618
Highly Influential
19 Excerpts

Business Modeling With UML: Business Patterns at Work

  • M. PENKER
  • Wiley Computer Publishing.
  • 2000
Highly Influential
1 Excerpt

Database Support for Workflow Management: the WIDE Project

  • P. GREFEN, B. PERNICI, G. SÁNCHEZ
  • Kluwer Academic Publishers.
  • 1999
Highly Influential
2 Excerpts

Unified behavior models

  • C. BOCK
  • J. Object-Oriented Prog. 12, 5.
  • 1999
Highly Influential
2 Excerpts

Workflow management: Analyse, modellering en implementatie (in Dutch)

  • A. CASPERS
  • M.S. thesis, Vrije Universiteit Amsterdam.
  • 1998
Highly Influential
2 Excerpts

Similar Papers

Loading similar papers…