On the integration of UML and petri nets in software development
作者： Javier Campos , José Merseguer
DOI: 10.1007/11767589_2
关键词:
摘要: Software performance engineering deals with the consideration of quantitative analysis behaviour software systems from early development phases in life cycle. This paper summarizes a semiformal and illustrative way our proposal for suitable process. We try to integrate very pragmatic approach usual object oriented methodology —supported UML language widespread CASE tools— modelling formalism, namely stochastic Petri nets. A simple case study is used describe whole More technical details should be looked up cited bibliography.
springer.com
sci-hub.st 参考文章(44)
John Anil Saldhana, UML Diagrams to Object Petri Net Models: An Approach for Modeling and Analysis ,(2000)
Andrea Bondavalli, András Pataricza, István Majzik, Mario Dal Cin, Diego Latella, Giancarlo Savoia, Dependability analysis in the early phases of UML-based system design Computer Systems: Science & Engineering. ,vol. 16, pp. 265- 275 ,(2001)
Dorina C. Petriu, Hui Shen, Applying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Models from UML Specifications Lecture Notes in Computer Science. pp. 159- 177 ,(2002) , 10.1007/3-540-46029-2_10
Grady Booch, James Rumbaugh, Ivar Jacobson, The Unified Modeling Language ,(2003)
José Merseguer, Javier Campos, Eduardo Mena, Analysing internet software retrieval systems: modeling and performance comparison Wireless Networks. ,vol. 9, pp. 223- 238 ,(2003) , 10.1023/A:1022825210932
M. Ajmone Marsan, G. Balbo, G. Conte, Performance models of multiprocessor systems MIT Press. pp. 1- 280 ,(1987)
Ivar Jacobson, Object-oriented software engineering A Use Case Driven Approach. New York, NY: Addison-Wesley. ,(1991)
Dorin B. Petriu, Murray Woodside, A Metamodel for Generating Performance Models from UML Designs Lecture Notes in Computer Science. pp. 41- 53 ,(2004) , 10.1007/978-3-540-30187-5_4
José Merseguer, Javier Campos, Exploring Roles for the UML Diagrams in Software Performance Engineering. Software Engineering Research and Practice. pp. 43- 47 ,(2003)
Luciano Baresi, Mauro Pezzè, On formalizing UML with high-level petri nets Lecture Notes in Computer Science. pp. 276- 304 ,(2001) , 10.1007/3-540-45397-0_9