Abstract
Failures which result from performance defects are always fatal to the development of software. The best way to solve this problem is to bring performance evaluation mechanism of software into the process of software development life cycle through the way of modeling and simulation of software. Because of the differences between the semantic of UML and CPN, this paper applies the though of modular conversion, providing an intermediate model to standardize UML sequence diagram and CPN models, which establishes a bridge between the two models. The process is automatic and needs little manual intervention. The converted CPN models can be used in software performance evaluation directly. An example is given to verify the effectiveness and reasonability of this method.
Keywords
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Lazowska, E.D., et al.: Quantitative System Performance. Prentice-Hall, Inc. (1984)
Lin, C.: Stochastic Petri net and system performance evaluation. Tsinghua University Press, Beijing (2005)
Compare, D., et al.: Our experience in the integration of process algebra based performance validation in an industrial context. Tech. Rep. TR SAH/047, MIUR Sahara Project (2003)
Marsan, M.A.: On Petri Net-Based Modeling Paradigms for the Performance Analysis of Wireless Internet Accesses. In: PNPM 2001 (2001)
Denaro, G., Pezzé, M.: Petri Nets and Software Engineering. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol. 3098, pp. 439–466. Springer, Heidelberg (2004)
Kurt, J.: Colored Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Basic Concepts. Monographs in Theoretical Computer Science, vol. 1. Springer, Berlin (1997)
Wells, L.: Performance Analysis using CPN Tools. In: Proc. First International Conference on Performance Evaluation Methodologies and Tools (ValueTools 2006), pp. 1–10. ACM Press (2006)
Smith, C.U.: Performance Engineering of Software Systems. Addison-Wesley (1990)
Gherbi, A., Khendek, F.: From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL. Autom. Softw. Eng. 16, 387–414 (2009)
Liehr, A.W., Buchenrieder, K.J.: Generation of MARTE Allocation Models from Activity Threads, Languages for Embedded Systems and Their Applications. LNEE, vol. 36. Springer Science + Business Media B.V (2009)
Miga, A., Amyot, D., Bordeleau, F., Cameron, D., Woodside, C.M.: Deriving Message Sequence Charts from Use Case Maps Scenario Specifications. In: Reed, R., Reed, J. (eds.) SDL 2001. LNCS, vol. 2078, p. 268. Springer, Heidelberg (2001)
Harel, D., Kugler, H.-J., Weiss, G.: Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach. In: Leue, S., Systä, T.J. (eds.) Scenarios. LNCS, vol. 3466, pp. 26–42. Springer, Heidelberg (2005)
Letichevsky, A.A., Kapitonova, J.V., Kotlyarov, V.P., Volkov, V.A., Letichevsky Jr., A.A., Weigert, T.: Semantics of Message Sequence Charts. In: Prinz, A., Reed, R., Reed, J. (eds.) SDL 2005. LNCS, vol. 3530, pp. 117–132. Springer, Heidelberg (2005)
Marzolla, M., Balsamo, S.: UML-PSI: the UML performance simulator. In: First International Conference on the Quantitative Evaluation of Systems, QEST 2004, pp. 340–341 (2004)
Abdullatif, A.A., Pooley, R.J.: UML-JMT: A Tool for Evaluating Performance Requirements. In: 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS), pp. 215–225 (2010)
Petriu, D.C., Shen, H.: Applying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Models from UML Specifications. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol. 2324, pp. 159–177. Springer, Heidelberg (2002)
Salvatore, D., et al.: From UML to Petri Nets: The PCM-Based Methodology. IEEE Transactions on Software Engineering 37(1), 65–79 (2011)
Fernandes, J.M., et al.: Designing Tool Support for Translating Use Cases and UML 2.0 Sequence Diagrams into a Coloured Petri Net. In: Sixth International Workshop on Scenarios and State Machines, SCESM 2007 (2007)
Staines, T.: Intuitive Mapping of UML 2 Activity Diagrams into Fundamental Modeling Concept Petri Net Diagrams and Colored Petri Nets. In: ECBS 2008 (2008)
Zhang, H., Zhu, L.: Building dynamic model in UML using colored petri nets. In: 1st International Symposium on Computer Network and Multimedia Technology, CNMT 2009 (2009)
Object Management Group (OMG). UML Profile for Schedulability, Performance and Time specification. Final Adopted Specification ptc/02-03-02, OMG (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhu, L., Kong, F. (2012). Research of Automatic Conversion from UML Sequence Diagram to CPN Based on Modular Conversion. In: Zhao, M., Sha, J. (eds) Communications and Information Processing. Communications in Computer and Information Science, vol 288. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31965-5_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-31965-5_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-31964-8
Online ISBN: 978-3-642-31965-5
eBook Packages: Computer ScienceComputer Science (R0)