A software framework for automated verification

I.G.J. Raedts; M. Petkovic; A. Serebrenik; J.M.E.M. Werf, van der; L.J.A.M. Somers; M. Boote

A software framework for automated verification

I.G.J. Raedts, M. Petkovic, A. Serebrenik, J.M.E.M. Werf, van der, L.J.A.M. Somers, M. Boote

Process Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

1 Citation (Scopus)

3 Downloads (Pure)

Abstract

This paper describes a software framework supporting the automated verification of models. The framework allows analyzing different kinds of behavioral models of software systems and business processes like UML activity diagrams and BPEL models. To extend the applicability of the verification tools, a variety of transformation tools have been integrated in the framework.

Original language	English
Title of host publication	Proceedings of the 22nd Annual ACM Symposium on Applied Computing (SAC 2007) 11-15 March 2007 Seoul, Korea
Editors	Y. Cho, R.L. Wainwright, H. Haddad, S.Y. Shin, Y.W. Koo
Place of Publication	New York, USA
Publisher	Association for Computing Machinery, Inc
Pages	1031-1032
ISBN (Print)	978-1-595-93729-2
Publication status	Published - 2007
Event	22nd ACM Symposium on Applied Computing (SAC 2007) - COEX Convention Center, Seoul, Korea, Republic of Duration: 11 Mar 2007 → 15 Mar 2007 Conference number: 22 http://www.sigapp.org/sac/sac2007/

Conference

Conference	22nd ACM Symposium on Applied Computing (SAC 2007)
Abbreviated title	SAC 2007
Country/Territory	Korea, Republic of
City	Seoul
Period	11/03/07 → 15/03/07
Internet address	http://www.sigapp.org/sac/sac2007/

Cite this

Raedts, I. G. J., Petkovic, M., Serebrenik, A., Werf, van der, J. M. E. M., Somers, L. J. A. M., & Boote, M. (2007). A software framework for automated verification. In Y. Cho, R. L. Wainwright, H. Haddad, S. Y. Shin, & Y. W. Koo (Eds.), Proceedings of the 22nd Annual ACM Symposium on Applied Computing (SAC 2007) 11-15 March 2007 Seoul, Korea (pp. 1031-1032). Association for Computing Machinery, Inc.

@inproceedings{ee1cf237d71a440b8bd38b027d14fd4d,

title = "A software framework for automated verification",

abstract = "This paper describes a software framework supporting the automated verification of models. The framework allows analyzing different kinds of behavioral models of software systems and business processes like UML activity diagrams and BPEL models. To extend the applicability of the verification tools, a variety of transformation tools have been integrated in the framework.",

author = "I.G.J. Raedts and M. Petkovic and A. Serebrenik and {Werf, van der}, J.M.E.M. and L.J.A.M. Somers and M. Boote",

year = "2007",

language = "English",

isbn = "978-1-595-93729-2",

pages = "1031--1032",

editor = "Y. Cho and R.L. Wainwright and H. Haddad and S.Y. Shin and Y.W. Koo",

booktitle = "Proceedings of the 22nd Annual ACM Symposium on Applied Computing (SAC 2007) 11-15 March 2007 Seoul, Korea",

publisher = "Association for Computing Machinery, Inc",

address = "United States",

note = "22nd ACM Symposium on Applied Computing (SAC 2007), SAC 2007 ; Conference date: 11-03-2007 Through 15-03-2007",

url = "http://www.sigapp.org/sac/sac2007/",

}

Raedts, IGJ, Petkovic, M, Serebrenik, A, Werf, van der, JMEM, Somers, LJAM & Boote, M 2007, A software framework for automated verification. in Y Cho, RL Wainwright, H Haddad, SY Shin & YW Koo (eds), Proceedings of the 22nd Annual ACM Symposium on Applied Computing (SAC 2007) 11-15 March 2007 Seoul, Korea. Association for Computing Machinery, Inc, New York, USA, pp. 1031-1032, 22nd ACM Symposium on Applied Computing (SAC 2007), Seoul, Korea, Republic of, 11/03/07.

A software framework for automated verification. / Raedts, I.G.J.; Petkovic, M.; Serebrenik, A. et al.
Proceedings of the 22nd Annual ACM Symposium on Applied Computing (SAC 2007) 11-15 March 2007 Seoul, Korea. ed. / Y. Cho; R.L. Wainwright; H. Haddad; S.Y. Shin; Y.W. Koo. New York, USA: Association for Computing Machinery, Inc, 2007. p. 1031-1032.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - A software framework for automated verification

AU - Raedts, I.G.J.

AU - Petkovic, M.

AU - Serebrenik, A.

AU - Werf, van der, J.M.E.M.

AU - Somers, L.J.A.M.

AU - Boote, M.

N1 - Conference code: 22

PY - 2007

Y1 - 2007

N2 - This paper describes a software framework supporting the automated verification of models. The framework allows analyzing different kinds of behavioral models of software systems and business processes like UML activity diagrams and BPEL models. To extend the applicability of the verification tools, a variety of transformation tools have been integrated in the framework.

AB - This paper describes a software framework supporting the automated verification of models. The framework allows analyzing different kinds of behavioral models of software systems and business processes like UML activity diagrams and BPEL models. To extend the applicability of the verification tools, a variety of transformation tools have been integrated in the framework.

UR - http://doi.acm.org/10.1145/1244002.1244225

M3 - Conference contribution

SN - 978-1-595-93729-2

SP - 1031

EP - 1032

BT - Proceedings of the 22nd Annual ACM Symposium on Applied Computing (SAC 2007) 11-15 March 2007 Seoul, Korea

A2 - Cho, Y.

A2 - Wainwright, R.L.

A2 - Haddad, H.

A2 - Shin, S.Y.

A2 - Koo, Y.W.

PB - Association for Computing Machinery, Inc

CY - New York, USA

T2 - 22nd ACM Symposium on Applied Computing (SAC 2007)

Y2 - 11 March 2007 through 15 March 2007

ER -

Raedts IGJ, Petkovic M, Serebrenik A, Werf, van der JMEM, Somers LJAM, Boote M. A software framework for automated verification. In Cho Y, Wainwright RL, Haddad H, Shin SY, Koo YW, editors, Proceedings of the 22nd Annual ACM Symposium on Applied Computing (SAC 2007) 11-15 March 2007 Seoul, Korea. New York, USA: Association for Computing Machinery, Inc. 2007. p. 1031-1032

A software framework for automated verification

Abstract

Conference

Other files and links

Fingerprint

Cite this