Abstract
In Model Driven Engineering, traceability is used to establish relationships between various software artifacts during the software life cycle. Traceability can be also used to define dependencies between related elements in different models, to propagate and verify properties from one model to another and to analyze the impact of changes. In this paper we describe how to define typed trace-links between different kinds of models in our model transformation chain PUMA4SOA, which generates Layered Queuing performance models from UML software models of service-oriented applications. The goal of PUMA4SOA is to help evaluate the performance of SOA systems in the early development phases. In our approach, the traceability links are stored externally in a new model, which maintain traces separately from the source and target models they refer to. We illustrate how traceability links can be used to propagate the results of the performance model back to the original software model.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Galvao, I., Goknil, A.: Survey of Traceability Approaches in Model-Driven Engineering. In: Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference, pp. 313–326. IEEE Computer Society (2007)
Gotel, O.C.Z., Finkelstein, A.C.W.: An Analysis of the Requirements Traceability Problem. In: Proceedings of the International Conference on Requirements Engineering, pp. 94–101. IEEE Computer Science Press (1994)
Kolovos, D., Paige, R.F., Polack, F.A.C.: On-Demand Merging of Traceability Links with Models. In: From: 3rd ECMDA Traceability Workshop (2006)
Paech, B., von Knethen, A.: A Survey on Tracing Approaches in Practice and Research. Technical Report IESE Report Nr. 095.01/E, Fraunhofer - Institute of Experimental Software Engineering (2002)
Alhaj, M.: Automatic generation of performance models for SOA systems. In: Proceedings of the 16th International Workshop on Component-Oriented Programming (WCOP 2011), pp. 33–40. ACM (2011)
Alhaj, M., Petriu, D.C.: Approach for generating performance models from UML models of SOA systems. In: Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research (CASCON 2010), pp. 268–282. IBM (2010)
Alhaj, M., Petriu, D.C.: Using Aspects for Platform-Independent to Platform-Dependent Model Transformations. International Journal of Electrical and Computer System (IJECS) 1(1), 35–48 (2012)
Woodside, C.M., Petriu, D.C., Petriu, D.B., Shen, H., Israr, T., Merseguer, J.: Performance by Unified Model Analysis (PUMA). In: Proceedings of the 5th International Workshop on Software and Performance (WOSP 2005), pp.1–12. ACM (2005)
Object Management Group: Unified Modeling Language Superstructure Version 2.2 formal/2009-02-02, http://www.omg.org/spec/UML/2.2/Superstructure/PDF
Object Management Group: UML Profile for Modeling and Analysis of Real-Time and Embedded Systems (MARTE) Version 1.1 formal/2011-06-02, http://www.omg.org/spec/MARTE/1.1/PDF
Object Management Group: Service oriented architecture Modeling Language (SoaML) formal/2012-03-01, http://www.omg.org/spec/SoaML/1.0/PDF
Petriu, D.B., Woodside, C.M.: An intermediate metamodel with scenarios and re-sources for generating performance models from UML designs. Software and Systems Modeling 6(2), 163–184 (2007)
Woodside, C.M., Neilson, J.E., Petriu, D.C., Majumdar, S.: The Stochastic Rendezvous Network Model for Performance of Synchronous Client-Server-like Distributed Software. IEEE Transactions on Computers 44(1), 20–34 (1995)
Woodside, C.M., Petriu, D.B., Siddiqui, K.H.: Performance-related Completions for Software Specifications. In: Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), pp. 22–32. ACM (2002)
Tawhid, R., Petriu, D.C.: Automatic Derivation of a Product Performance Model from a Software Product Line Model. In: Proceedings of the 2011 15th International Software Product Line Conference (SPLC 2011). IEEE Computer Society (2011)
Paige, R.F., Drivalos, N., Kolovos, D.S., Fernandes, K.J., Power, C., Olsen, G.K., Zschaler, S.: Rigorous identification and encoding of trace-links in model-driven engineering. Software and Systems Modeling (SoSyM) 10(4), 469–487 (2011)
Jouault, F.: Loosely Coupled Traceability for ATL. In: Traceability Workshop at European Conference on Model Driven Architecture (ECMDA-TW), pp. 29–37 (2005)
Jouault, F., Kurtev, I.: Transforming Models with ATL. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 128–138. Springer, Heidelberg (2006)
Kolovos, D.S., Paige, R.F., Polack, F.A.C.: Merging Models with the Epsilon Merging Language (EML). In: Wang, J., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 215–229. Springer, Heidelberg (2006)
Falleri, J., Huchard, M., Nebut, C.: Towards a Traceability Framework for Model Transformations in Kermeta. In: Traceability Workshop at European Conference on Model Driven Architecture (ECMDA-TW), pp. 31–40 (2006)
Mani, N., Petriu, D.C., Woodside, C.M.: Propagation of Incremental Changes to Performance Models due to SOA Design Pattern Application. In: Proceedings of the International Conference on Software Engineering (ICPE 2013) (2013)
Mani, N., Petriu, D.C., Woodside, C.M.: Studying the Impact of Design Patterns on the Performance Analysis of Service Oriented Architecture. In: Proceedings of the 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2011), pp. 12–19. IEEE Computer Society (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Alhaj, M., Petriu, D.C. (2013). Traceability Links in Model Transformations between Software and Performance Models. In: Khendek, F., Toeroe, M., Gherbi, A., Reed, R. (eds) SDL 2013: Model-Driven Dependability Engineering. SDL 2013. Lecture Notes in Computer Science, vol 7916. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38911-5_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-38911-5_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-38910-8
Online ISBN: 978-3-642-38911-5
eBook Packages: Computer ScienceComputer Science (R0)