Behavior Modeling -- Foundations and Applications

International Workshops, BM-FA 2009-2014, Revised Selected Papers

  • Ella Roubtsova
  • Ashley McNeile
  • Ekkart Kindler
  • Christian Gerth
Conference proceedings

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6368)

Also part of the Information Systems and Applications, incl. Internet/Web, and HCI book sub series (LNISA, volume 6368)

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Modelling Practices

  3. Standards in Behaviour Modelling

    1. Front Matter
      Pages 29-29
    2. Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier
      Pages 31-58
    3. Gefei Zhang, Matthias M. Hölzl
      Pages 59-81
    4. Karolina Zurowska, Jürgen Dingel
      Pages 82-110
  4. New Ways of Behaviour Modelling: Events in Modelling

    1. Front Matter
      Pages 111-111
    2. David Harel, Shani Nitzan
      Pages 113-132
  5. New Ways of Behaviour Modelling: Protocol Modelling

    1. Front Matter
      Pages 165-165
    2. Ashley McNeile, Nicholas Simons
      Pages 167-196
    3. Serguei Roubtsov, Ella Roubtsova
      Pages 220-249
    4. Wisam Al Abed, Matthias Schöttle, Abir Ayed, Jörg Kienzle
      Pages 250-278
  6. Back Matter
    Pages 279-279

About these proceedings


This book constitutes revised selected papers from the six International Workshops on Behavior Modelling - Foundations and Applications, BM-FA, which took place annually between 2009 and 2014.

The 9 papers presented in this volume were carefully reviewed and selected from a total of 58 papers presented at these 6 workshops. The contributions were organized in topical sections named: modelling practices; new ways of behaviour modelling: events in modelling; and new ways of behaviour modelling: protocol modelling.


Animation Behavior modeling Behavior models Computing methodologies Formal languages and automata theory Information systems Interactive simulation Model verification and validation Modeling Modeling methodologies Protocol modeling Semantics and reasoning Simulation Software and its engineering Software creation and management Software notations and tools Software organization and properties UML

Editors and affiliations

  • Ella Roubtsova
    • 1
  • Ashley McNeile
    • 2
  • Ekkart Kindler
    • 3
  • Christian Gerth
    • 4
  1. 1.Open University of the NetherlandsHeerlenThe Netherlands
  2. 2.MetamaximLondonUnited Kingdom
  3. 3.Technical University of DenmarkKgs. LyngbyDenmark
  4. 4.Osnabrück University of Applied SciencesOsnabrückGermany

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-21911-0
  • Online ISBN 978-3-319-21912-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment