Abstract
Software engineers describe static and dynamic aspects of a software system by using ad-hoc models. The static description consists of the identification of software modules or components. The dynamics of a software system concerns its behavior at run time. There exist many notations to describe either the statics or the dynamics of a software system. This chapter focuses on notations that allow for the behavior description since performance is an attribute of the system dynamics. This chapter is divided into two parts: (i) basic notations historically introduced by computer scientists to model software systems, such as Automata, Process Algebras and Petri Nets; (ii) Unified Modeling Language that has become a de facto standard in modeling complex software systems.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
More details of a specific class of Process Algebras, namely Stochastic Process Algebras, will be provided in Chap. 3.
- 2.
More details of a specific class of Petri Nets, namely Stochastic Petri Nets, will be provided in Chap. 3.
- 3.
For stereotypes see Sect. 2.2.8.
- 4.
This modeling respects the modeling in the use case diagram where it is specified that the customer is an actor of the e-commerce system.
References
Eriksson, H.E., Penker, M., Lyons, B., Fado, D.: UML 2 Toolkit. Wiley, New York (2004)
Gomaa, H.: Designing Concurrent, Distributed, and Real-Time Applications with UML. Addison-Wesley, Reading (2000)
Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8(3), 231–274 (1987)
Herzog, U., Klehmet, U., Mertsiotakis, V., Siegle, M.: Compositional performance modelling with the TIPPtool. Performance Evaluation 39(1–4), 5–35 (2000)
Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall International, London (1985)
Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages and Computations. Addison-Wesley, Reading (1979)
Milner, R.: Communication and Concurrency. International Series on Computer Science. Prentice-Hall International, Englewood Cliffs (1989).
Object Management Group: UML profile, for schedulability, performance, and time. OMG document ptc/2002-03-02. http://www.omg.org/cgi-bin/doc?ptc/2002-03-02
Object Management Group: Unified modeling language (UML), version 1.4, OMG documentation. http://www.omg.org/techonology/documents/formal/uml.htm
Object Management Group: Unified modeling language: superstructure – version 2.1.1, formal/2007-02-05. http://www.omg.org/docs/formal/07-11-04.pdf (2007)
Reisig, W.: Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science, vol. 4 (1985)
Sector, I.-T.S.: Message sequence charts. ITU-T Recommendation Z. 120(11/99) (1999)
W3C: eXtensible Markup Language (XML) 1.0, 2nd edn. W3C recommendation 6 October 2000. http://www.w3.org/TR/2000/REC-xml-20001006
W3C: XML schema part 1: structures and XML schema part 2: datatypes. W3C recommendation 2 May 2001. http://www.w3.org/TR/2001/REC-xmlschema-1-20010502/, http://www.w3.org/TR/2001/REC-xmlschema-2-20010502/
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Cortellessa, V., Di Marco, A., Inverardi, P. (2011). Software Modeling Notations. In: Model-Based Software Performance Analysis. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13621-4_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-13621-4_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-13620-7
Online ISBN: 978-3-642-13621-4
eBook Packages: Computer ScienceComputer Science (R0)