Skip to main content
  • Conference proceedings
  • © 2015

Behavior Modeling -- Foundations and Applications

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

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

Part of the book sub series: Information Systems and Applications, incl. Internet/Web, and HCI (LNISA)

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-21912-7
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 54.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (10 papers)

  1. Front Matter

    Pages I-XIV
  2. Modelling Practices

    1. Front Matter

      Pages 1-1
  3. Standards in Behaviour Modelling

    1. Front Matter

      Pages 29-29
    2. Modeling Behavior with Interaction Diagrams in a UML and OCL Tool

      • Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier
      Pages 31-58
    3. A Set of Metrics of Non-locality Complexity in UML State Machines

      • Gefei Zhang, Matthias M. Hölzl
      Pages 59-81
    4. A Customizable Execution Engine for Models of Embedded Systems

      • Karolina Zurowska, Jürgen Dingel
      Pages 82-110
  4. New Ways of Behaviour Modelling: Events in Modelling

    1. Front Matter

      Pages 111-111
    2. Programming Animation Using Behavioral Programming

      • David Harel, Shani Nitzan
      Pages 113-132
  5. New Ways of Behaviour Modelling: Protocol Modelling

    1. Front Matter

      Pages 165-165
    2. Protocol Modelling

      • Ashley McNeile, Nicholas Simons
      Pages 167-196
    3. Decision Modules in Models and Implementations

      • Serguei Roubtsov, Ella Roubtsova
      Pages 220-249
    4. Concern-Oriented Behaviour Modelling with Sequence Diagrams and Protocol Models

      • Wisam Al Abed, Matthias Schöttle, Abir Ayed, Jörg Kienzle
      Pages 250-278
  6. Back Matter

    Pages 279-279

About this book

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.

Keywords

  • 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

  • Open University of the Netherlands, Heerlen, The Netherlands

    Ella Roubtsova

  • Metamaxim, London, United Kingdom

    Ashley McNeile

  • Technical University of Denmark, Kgs. Lyngby, Denmark

    Ekkart Kindler

  • Osnabrück University of Applied Sciences, Osnabrück, Germany

    Christian Gerth

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-21912-7
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 54.99
Price excludes VAT (USA)