IEEE - Institute of Electrical and Electronics Engineers, Inc. - Language integration for model formalization

2011 IEEE International Conference on Information Reuse & Integration (IRI)

Author(s): Bouabana-Tebibel, T.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 August 2011
Conference Location: Las Vegas, NV, USA, USA
Conference Date: 3 August 2011
Page(s): 372 - 377
ISBN (Electronic): 978-1-4577-0966-1
ISBN (Paper): 978-1-4577-0964-7
ISBN (Online): 978-1-4577-0965-4
DOI: 10.1109/IRI.2011.6009576
Regular:

UML is often formalized by means of a denotational semantics based on state-transition languages. The obtained models are afterwards verified to prove the UML diagrams correctness. We propose, in... View More

Advertisement