Skip to main content
SpringerLink
Log in

Behavior Modeling for Interaction

  • Chapter
  • First Online:
Interactive Modeling and Simulation in Business System Design

Part of the book series: Simulation Foundations, Methods and Applications ((SFMA))

  • 597 Accesses

Abstract

This chapter presents an overview of different variants of behavior modeling semantics and explains the choice of the Protocol Modeling semantics as one of the foundations of Interactive Modeling and Simulation.

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

Access this chapter

Log in via an institution
eBook
USD 16.99
Price excludes VAT (USA)
  • Available as EPUB and 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
Hardcover Book
USD 54.99
Price excludes VAT (USA)
  • Durable hardcover 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

Notes

  1. 1.

    We use the CPN tools [7] to produce the figures of Petri Nets.

  2. 2.

    Google keeps the user names and the passwords. Our model does not capture this information, but it is possible to capture it in Colored Petri Nets.

  3. 3.

    The limitations of holistic approaches for interactive modeling have been studied on several real cases [14, 26, 27].

  4. 4.

    The British spelling is used for the entries of the Protocol Modeling notation.

  5. 5.

    More about the semantics of behaviors in UML can be found in [16].

References

  1. J.C.M. Baeten, W.P. Weijland, Process Algebra (Cambridge University Press, New York, 1990)

    Book  MATH  Google Scholar 

  2. T. Basten, W.M. van der Aalst, Inheritance of behavior. J. Log. Algebr. Program. 47(2), 47–145 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  3. J. Bergstra, J. Klop, Process algebra for synchronous communication. Inf. Control 60(13), 109–137 (1984)

    Article  MathSciNet  MATH  Google Scholar 

  4. J.A. Bergstra, J.W. Klop, Algebra of communicating processes with abstraction. Theor. Comput. Sci. 37, 77–121 (1985)

    Article  MathSciNet  MATH  Google Scholar 

  5. E. Börger, R.F. Stärk, Abstract State Machines. A Method for High-Level System Design and Analysis (Springer, Berlin, 2003)

    Book  MATH  Google Scholar 

  6. G. Bracha, W. Cook, Mixin-based inheritance, in OOPSLA/ECOOP ’90 Proceedings of the European Conference on Object-oriented Programming on Object-oriented Programming Systems, Languages, and Applications, 303–311 (1990)

    Google Scholar 

  7. CPN tools. http://cpntools.org (2015)

  8. J. Ebert, G. Engels, Structural and behavioural views on omt-classes, in Proceedings of Object-Oriented Methodologies and Systems, International Symposium ISOOMS’94, Palermo, Italy, September 21–22, 1994, 142–157 (1994)

    Google Scholar 

  9. W. Fokkink, Introduction to Process Algebra, 1st edn. (New York Inc, Secaucus, 2000)

    Book  MATH  Google Scholar 

  10. C. Hoare, Communicating Sequential Processes (Prentice-Hall International, Englewood Cliffs, 1985)

    MATH  Google Scholar 

  11. M. Jackson, System Development (Prentice Hall, Englewood Cliffs, 1983)

    MATH  Google Scholar 

  12. K. Jensen, Coloured Petri Nets (Springer, Berlin, 1997)

    Book  MATH  Google Scholar 

  13. A. Kent, J.G. Williams, Encyclopedia of Computer Science and Technology: Volume 25 - Supplement 10: Applications of Artificial Intelligence to Agriculture and Natural Resource Management to Transaction Machine Architectures. Encyclopedia of Computer Science Series. (Taylor and Francis, 1991)

    Google Scholar 

  14. A. McNeile, E. Roubtsova, Protocol modelling semantics for embedded systems, in International Symposium on Industrial Embedded Systems, 2007. SIES ’07, 258–265, July 2007

    Google Scholar 

  15. A. McNeile, E. Roubtsova, CSP parallel composition of aspect models, in Proceedings of the 2008 AOSD workshop on Aspect-oriented modeling, AOM ’08, pp. 13–18, New York, NY, USA, (2008). ACM

    Google Scholar 

  16. A. McNeile, E. Roubtsova, Composition semantics for executable and evolvable behavioral modeling in mda, in Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture, BM-MDA ’09, pp. 3:1–3:8 (2009)

    Google Scholar 

  17. A. McNeile, E. Roubtsova, Aspect-Oriented Development Using Protocol Modeling, vol. 6210 (LNCS, 2010), pp. 115–150

    Google Scholar 

  18. A. McNeile, N. Simons, http://www.metamaxim.com/ (2005)

  19. A. McNeile, N. Simons, Protocol Modelling. A Modelling Approach that Supports Reusable Behavioural Abstractions. Softw. Syst. Model. 5(1), 91–107 (2006)

    Google Scholar 

  20. R. Milner, A Calculus of Communicating Systems, vol. 92, Lecture Notes in Computer Science (Springer, Berlin, 1980)

    MATH  Google Scholar 

  21. F. Moller, The importance of the left merge operator in process algebras, in Automata, Languages and Programming, vol. 443, Lecture Notes in Computer Science, ed. by M. Paterson (Springer, Berlin, 1990), pp. 752–764

    Chapter  Google Scholar 

  22. H.G. Molter, Discrete event system specification, in SynDEVS Co-Design Flow, pp. 9–42 (2012)

    Google Scholar 

  23. OMG. Business Process Model and Notation (2011)

    Google Scholar 

  24. OMG. Unified Modeling Language: Superstructure version 2.1.1 formal/2007-02-03 (2003)

    Google Scholar 

  25. W. Reisig, Petri nets and algebraic specifications. Theor. Comput. Sci. 80(1), 1–34 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  26. E. Roubtsova, Chapter Two - Advances in Behavior Modeling, Advances in Computers, vol. 97 (Elsevier, 2015), pp. 49–109

    Google Scholar 

  27. E. Roubtsova, M. Aksit, Extension of Petri Nets by Aspects to Apply the Model Driven Architecture Approach, in Preliminary Proceedings of the 1st International Workshop on Aspect-Based and Model-Based Separation of Concerns in Software Systems (ABMB) (2005)

    Google Scholar 

  28. E. Roubtsova, V. Michell, Behaviour models clarify definitions of affordance and capability, in Proceedings of the 2014 Workshop on Behaviour Modelling-Foundations and Applications, BM-FA ’14, pp. 6:1–6:10 (2014)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Open University of the Netherlands, Eindhoven, The Netherlands

    Ella Roubtsova

Authors
  1. Ella Roubtsova
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ella Roubtsova .

Problems

Problems

2.1

What is a Finite State Machine? What are its modeling abilities and expressivity limitations?

2.2

Build a Finite State Machine of a door in your room. You may open the door and close it. Define the states, events, and transitions.

2.3

What is a distinctive feature of holistic approaches? How to model a system state in holistic modeling approaches?

2.4

How many event semantics do you know? Which of that semantics would you use to model interactions? Why?

2.5

Which of the semantics of a state would you use to model interactions? Why?

2.6

Which of the semantics of a transition would you use to model interactions? Why?

2.7

Describe different composition semantics that you have learned throughout this chapter.

2.8

How do you understand the property of observational consistency? Does this property make sense for the transducer models? Why?

2.9

Which of the protocol machines of the Protocol Model of the Google Screens example (Fig. 7.3) should you examine in order to understand the sequences of the email access?

What are the sequences of the email access in the whole Protocol Model of the Google Screens?

What are the sequences of the security aspect in the whole Protocol Model of the Google Screens?

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this chapter

Cite this chapter

Roubtsova, E. (2016). Behavior Modeling for Interaction. In: Interactive Modeling and Simulation in Business System Design. Simulation Foundations, Methods and Applications. Springer, Cham. https://doi.org/10.1007/978-3-319-15102-1_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-15102-1_2

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-15101-4

  • Online ISBN: 978-3-319-15102-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation