Skip to main content
SpringerLink
Log in

Labelled Transition System Generation from Alvis Language

  • Conference paper
Knowledge-Based and Intelligent Information and Engineering Systems (KES 2011)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 6881))

Abstract

Alvis is a modelling language designed for the modelling and formal verification of embedded systems. The key concept of Alvis is an agent that denotes any distinguished part of a considered system with defined identity persisting in time. Alvis combines a graphical modelling of interconnections among agents with a high level programming language used for describing a behaviour of agents. The basic property of the Alvis Toolkit is the ability of generating of a formal system description directly from the Alvis source code. A way of generating Labelled Transition Systems for Alvis models is presented in the paper.

The paper is supported by the Alvis Project funded from 2009-2010 resources for science as a research project.

Project web site: http://fm.ia.agh.edu.pl

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

Access this chapter

Log in via an institution
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.

References

  1. Szpyrka, M., Matyasik, P., Mrowka, R.: Alvis – modelling language for concurrent systems. In: Bouvry, P., Gonzalez-Velez, H., Koodziej, J. (eds.) Intelligent Decision Systems in Large-Scale Distributed Environments. SCI, Springer, Heidelberg (2011)

    Google Scholar 

  2. Szpyrka, M., Matyasik, P., Mrowka, R., Kotulski, L., Balicki, K.: Formal introduction to Alvis modelling language. International Journal of Applied Mathematics and Computer Science (to appear, 2011)

    Google Scholar 

  3. Garavel, H., Lang, F., Mateescu, R., Serwe, W.: CADP 2006: A toolbox for the construction and analysis of distributed processes. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590, pp. 158–163. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  4. Balicki, K., Szpyrka, M.: Formal definition of XCCS modelling language. Fundamenta Informaticae 93(1-3), 1–15 (2009)

    MathSciNet  MATH  Google Scholar 

  5. Matyasik, P.: Design and analysis of embedded systems with XCCS process algebra. PhD thesis, AGH University of Science and Technology, Faculty of Electrical Engineering, Automatics, Computer Science and Electronics, Kraków, Poland (2009)

    Google Scholar 

  6. Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)

    MATH  Google Scholar 

  7. Aceto, L., Ingófsdóttir, A., Larsen, K., Srba, J.: Reactive Systems: Modelling, Specification and Verification. Cambridge University Press, Cambridge (2007)

    Book  MATH  Google Scholar 

  8. Barnes, J.: Programming in Ada 2005. Addison-Wesley, Reading (2006)

    Google Scholar 

  9. Burns, A., Wellings, A.: Concurrent and real-time programming in Ada 2005. Cambridge University Press, Cambridge (2007)

    Book  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Automatics, AGH University of Science and Technology, al. Mickiewicza 30, 30-059, Krakow, Poland

    Leszek Kotulski, Marcin Szpyrka & Adam Sedziwy

Authors
  1. Leszek Kotulski
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marcin Szpyrka
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Adam Sedziwy
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Integrated Sensor Systems, University of Kaiserslautern, Erwin-Schroedinger-str. 12, 67663, Kaiserslautern, Germany

    Andreas König

  2. Knowledge-Based Systems Group, Department of omputer Science, University of Kaiserslautern, P.O. Box 3049, 67653, Kaiserslautern, Germany

    Andreas Dengel

  3. School of Business, University of Applied Sciences Northwestern Switzerland, Riggenbachstr. 16, 4600, Olten, Switzerland

    Knut Hinkelmann

  4. Graduate School of Engineering, Osaka Prefecture University, 1-1 Gakuen-cho, 599-8531, Sakai, Osaka, Japan

    Koichi Kise

  5. KES International, P.O. Box 2115, BN43 9AF, Shoreham-by-sea, UK

    Robert J. Howlett

  6. University of South Australia, Mawson Lakes, 5095, Adelaide, SA, Australia

    Lakhmi C. Jain

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kotulski, L., Szpyrka, M., Sedziwy, A. (2011). Labelled Transition System Generation from Alvis Language. In: König, A., Dengel, A., Hinkelmann, K., Kise, K., Howlett, R.J., Jain, L.C. (eds) Knowledge-Based and Intelligent Information and Engineering Systems. KES 2011. Lecture Notes in Computer Science(), vol 6881. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23851-2_19

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-23851-2_19

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-23850-5

  • Online ISBN: 978-3-642-23851-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation