Formal Specification using Interaction Diagrams

London, England September 10-September 14

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/SEFM.2007.20

Fifth IEEE International Conference o ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by K. Lano

	ASCII Text	x
	K. Lano, "Formal Specification using Interaction Diagrams," Software Engineering and Formal Methods, International Conference on, pp. 293-304, Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007.

	BibTex	x
	@article{ 10.1109/SEFM.2007.20, author = {K. Lano}, title = {Formal Specification using Interaction Diagrams}, journal ={Software Engineering and Formal Methods, International Conference on}, volume = {0}, year = {2007}, isbn = {0-7695-2884-8}, pages = {293-304}, doi = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2007.20}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Software Engineering and Formal Methods, International Conference on TI - Formal Specification using Interaction Diagrams SN - 0-7695-2884-8 SP293 EP304 A1 - K. Lano, PY - 2007 KW - null VL - 0 JA - Software Engineering and Formal Methods, International Conference on ER -

K. Lano

Interaction diagrams are a widely-used UML notation, however in contrast to class diagrams or state machines there is a lack of formal semantics for interaction diagrams. We propose a formal semantics for the notation, and consider applications of this semantics for checking the consistency of interaction diagrams with other UML models, and for diagrammatic formal specification of real-time properties.

Citation:

K. Lano, "Formal Specification using Interaction Diagrams," sefm, pp.293-304, Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.