Skip to main content
SpringerLink
Log in

Alf-Verifier: An Eclipse Plugin for Verifying Alf/UML Executable Models

  • Conference paper
Advances in Conceptual Modeling (ER 2012)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 7518))

Included in the following conference series:

Abstract

In this demonstration we present an Eclipse plugin that implements a lightweight method for verifying fine-grained operations at design time. This tool suffices to check that the execution of the operations (specified in Alf Action Language) is consistent with the integrity constraints defined in the class diagram (specified in UML) and returns a meaningful feedback that helps correcting them otherwise.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. UML2Tools, http://www.eclipse.org/modeling/mdt/?project=uml2tools (last visit: May 2012)

  2. Xtext, www.xtext.org/ (last visit: May 2012)

  3. OMG. Concrete Syntax for UML Action Language (Action Language for Foundational UML), version Beta 1 (2010), www.omg.org/spec/ALF

  4. OMG. Semantics Of A Foundational Subset For Executable UML Models (fUML), version 1.0 (2011), www.omg.org/spec/FUML

  5. Planas, E., Cabot, J., Gómez, C.: Lightweight Verification of Executable Models. In: Jeusfeld, M., Delcambre, L., Ling, T.-W. (eds.) ER 2011. LNCS, vol. 6998, pp. 467–475. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  6. Planas, E., Sanchez-Mendoza, D.: Alf-verifier: A lightweight tool for verifying UML-Alf executable models (2012), http://code.google.com/a/eclipselabs.org/p/alf-verifier/

  7. Stephen, M.J.B., Mellor, J.: Executable UML: A Foundation for Model-Driven Architecture. Addison-Wesley (2002)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Universitat Oberta de Catalunya, Spain

    Elena Planas & David Sanchez-Mendoza

  2. École des Mines de Nantes - INRIA, France

    Jordi Cabot

  3. Universitat Politécnica de Catalunya, Spain

    Cristina Gómez

Authors
  1. Elena Planas
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. David Sanchez-Mendoza
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jordi Cabot
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Cristina Gómez
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, Università degli Studi di Milano, Via Comelico, 39, 20135, Milano, Italy

    Silvana Castano

  2. Department of Computer Science, University of Ioannina, 45110, Ioannina, Hellas, Greece

    Panos Vassiliadis

  3. Department of Computer Science, University of British Columbia, 2366 Main Mall-Vancouver, V6T 1Z4, BC, Canada

    Laks V. Lakshmanan

  4. School of Computing, National University of Singapore, 1,13 Computer Drive, 117417, Singapore

    Mong Li Lee

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Planas, E., Sanchez-Mendoza, D., Cabot, J., Gómez, C. (2012). Alf-Verifier: An Eclipse Plugin for Verifying Alf/UML Executable Models. In: Castano, S., Vassiliadis, P., Lakshmanan, L.V., Lee, M.L. (eds) Advances in Conceptual Modeling. ER 2012. Lecture Notes in Computer Science, vol 7518. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33999-8_44

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-33999-8_44

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-33998-1

  • Online ISBN: 978-3-642-33999-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation