Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models

Osmar Marchi dos Santos; Jim Woodcock; Richard F. Paige

doi:10.1109/ICECCS.2011.19

Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models

Osmar Marchi dos Santos, Jim Woodcock, Richard F. Paige

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	Undefined/Unknown
Title of host publication	16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011
Editors	Isabelle Perseil, Karin Breitman, Roy Sterritt
Publisher	IEEE Computer Society
Pages	117-126
Number of pages	10
DOIs	https://doi.org/10.1109/ICECCS.2011.19
Publication status	Published - 2011

Bibliographical note

© 2011 IEEE. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details.

Access to Document

10.1109/ICECCS.2011.19

using-model-transformation
© 2011 IEEE. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details.
Submitted manuscript, 792 KB

Cite this

Santos, O. M. D., Woodcock, J., & Paige, R. F. (2011). Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models. In I. Perseil, K. Breitman, & R. Sterritt (Eds.), 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011 (pp. 117-126). IEEE Computer Society. https://doi.org/10.1109/ICECCS.2011.19

Santos, Osmar Marchi dos ; Woodcock, Jim ; Paige, Richard F. / Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models. 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. editor / Isabelle Perseil ; Karin Breitman ; Roy Sterritt. IEEE Computer Society, 2011. pp. 117-126

@inproceedings{45dd2f6f09c54ec899e752002ebba925,

title = "Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models",

author = "Santos, {Osmar Marchi dos} and Jim Woodcock and Paige, {Richard F.}",

note = "{\textcopyright} 2011 IEEE. This is an author-produced version of the published paper. Uploaded in accordance with the publisher{\textquoteright}s self-archiving policy. Further copying may not be permitted; contact the publisher for details.",

year = "2011",

doi = "10.1109/ICECCS.2011.19",

language = "Undefined/Unknown",

pages = "117--126",

editor = "Isabelle Perseil and Karin Breitman and Roy Sterritt",

booktitle = "16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011",

publisher = "IEEE Computer Society",

address = "United States",

}

Santos, OMD , Woodcock, J & Paige, RF 2011, Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models. in I Perseil, K Breitman & R Sterritt (eds), 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. IEEE Computer Society, pp. 117-126. https://doi.org/10.1109/ICECCS.2011.19

Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models. / Santos, Osmar Marchi dos ; Woodcock, Jim ; Paige, Richard F.
16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. ed. / Isabelle Perseil; Karin Breitman; Roy Sterritt. IEEE Computer Society, 2011. p. 117-126.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models

AU - Santos, Osmar Marchi dos

AU - Woodcock, Jim

AU - Paige, Richard F.

N1 - © 2011 IEEE. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details.

PY - 2011

Y1 - 2011

U2 - 10.1109/ICECCS.2011.19

DO - 10.1109/ICECCS.2011.19

M3 - Conference contribution

SP - 117

EP - 126

BT - 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011

A2 - Perseil, Isabelle

A2 - Breitman, Karin

A2 - Sterritt, Roy

PB - IEEE Computer Society

ER -

Santos OMD , Woodcock J , Paige RF. Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models. In Perseil I, Breitman K, Sterritt R, editors, 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. IEEE Computer Society. 2011. p. 117-126 doi: 10.1109/ICECCS.2011.19