Abstract
This paper illustrates the use of high-level domain specific models to specify and test some performance properties of complex systems, in particular Communication Networks, using a light-weight approach. By following a Model-Driven Engineering (MDE) approach, we show the benefits of constructing very abstract models of the systems under test, which can then be easily prototyped and analysed to explore their properties. For this purpose we use e-Motions, a language and its supporting toolkit that allows end-user modelling of real-time systems and their analysis in a graphical manner.
This is a preview of subscription content, log in via an institution to check access.
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
Zave, P.: Lightweight modeling of network protocols, http://www2.research.att.com/~pamela/model.html
Rivera, J.E., Durán, F., Vallecillo, A.: A graphical approach for modeling time-dependent behavior of DSLs. In: Proc. of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009), pp. 51–55. IEEE Computer Society, Los Alamitos (2009)
Troya, J., Rivera, J.E., Vallecillo, A.: Simulating domain specific visual models by observation. In: Proc. of the Symposium on Theory of Modeling and Simulation (DEVS 2010), Orlando, FL, US (April 2010)
Czarnecki, K., Helsen, S.: Classification of model transformation approaches. In: OOPSLA 2003 Workshop on Generative Techniques in the Context of MDA (2003)
Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol. 4350. Springer, Heidelberg (2007)
Object Management Group: Object Constraint Language (OCL) Specification. Version 2.2, OMG Document formal/2010-02-01 (February 2010)
Roldán, M., Durán, F.: Representing UML models in mOdCL (2008), http://maude.lcc.uma.es/mOdCL
Rivera, J.E., Durán, F., Vallecillo, A.: On the behavioral semantics of real-time domain specific visual languages. In: Ölveczky, P.C. (ed.) WRLA 2010. LNCS, vol. 6381, pp. 174–190. Springer, Heidelberg (2010)
Jouault, F., Allilaire, F., Bézivin, J., Kurtev, I.: ATL: A model transformation tool. Science of Computer Programming 72(1-2), 31–39 (2008)
Rivera, J.E., Vallecillo, A., Durán, F.: Formal specification and analysis of domain specific languages using Maude. Simulation: Transactions of the Society for Modeling and Simulation International 85(11/12), 778–792 (2009)
Ölveczky, P., Meseguer, J.: Semantics and pragmatics of Real-Time Maude. Higher-Order and Symbolic Computation 20(1-2), 161–196 (2007)
Atenea: Packet Switching Simulation Results (2011), http://atenea.lcc.uma.es/index.php/Page/Resources/E-motions/PacketSwitchingExample/Results
Jain, M., Dovrolis, C.: End-to-end available bandwidth: measurement methodology, dynamics, and relation with tcp throughput. IEEE/ACM Transactions Networking 11(4), 537–549 (2003)
Carter, R.L., Crovella, M.E.: Measuring bottleneck link speed in packet-switched networks. Perform. Eval. 27-28, 297–318 (1996)
Lindh, T.: Performance management in switched ATM networks. In: Trigila, S., Mullery, A., Campolargo, M., Vanderstraeten, H., Mampaey, M. (eds.) IS&N 1998. LNCS, vol. 1430, pp. 439–450. Springer, Heidelberg (1998)
Pacifici, G., Stadler, R.: Integrating resource control and performance management in multimedia networks. In: Proc. of the IEEE International Conference on Communications, Seattle, WA, vol. 3, pp. 1541–1545 (1995)
Balsamo, S., Marco, A.D., Inverardi, P., Simeoni, M.: Model-based performance prediction in software development: A survey. IEEE Trans. on Software Engineering 30(5), 295–310 (2004)
Cortellessa, V., Di Marco, A., Inverardi, P.: Integrating performance and reliability analysis in a non-functional MDA framework. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol. 4422, pp. 57–71. Springer, Heidelberg (2007)
Tawhid, R., Petriu, D.C.: Integrating performance analysis in the model driven development of software product lines. In: Busch, C., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 490–504. Springer, Heidelberg (2008)
Li, J., Chinneck, J., Woodside, M., Litoiu, M., Iszlai, G.: Performance model driven QoS guarantees and optimization in clouds. In: Proceedings of the 2009 ICSE Workshop on Software Engineering Challenges of Cloud Computing, CLOUD 2009, pp. 15–22. IEEE Computer Society, Vancouver (2009)
OMG: UML Profile for Modeling and Analysis of Real-time and Embedded Systems (MARTE). Object Management Group (June 2008), OMG doc. ptc/08-06-08
Marsan, A.: Stochastic petri nets: An elementary introduction. In: Rozenberg, G. (ed.) APN 1989. LNCS, vol. 424, pp. 1–29. Springer, London (1990)
Denning, P.J., Buzen, J.P.: The operational analysis of queueing network models. ACM Comput. Surv. 10, 225–261 (1978)
Clark, A., Gilmore, S., Hillston, J., Tribastone, M.: Stochastic process algebras. In: Bernardo, M., Hillston, J. (eds.) SFM 2007. LNCS, vol. 4486, pp. 132–179. Springer, Heidelberg (2007)
Yaron, O., Sidi, M.: Performance and stability of communication networks via robust exponential bounds. IEEE/ACM Transactions on Networking 1, 372–385 (1993)
Heckel, R.: Stochastic analysis of graph transformation systems: A case study in P2P networks. In: Van Hung, D., Wirsing, M. (eds.) Theoretical Aspects of Computing ICTAC 2005. LNCS, vol. 3722, pp. 53–69. Springer, Heidelberg (2005)
de Lara, J., Vangheluwe, H., Mosterman, P.J.: Modelling and analysis of traffic networks based on graph transformation. In: Proceedings of the FORMS/FORMATS 2004 Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, Germany, pp. 120–127 (2004)
Burmester, S., Giese, H., Hirsch, M., Schilling, D., Tichy, M.: The Fujaba real-time tool suite: model-driven development of safety-critical, real-time systems. In: ICSE 2005, pp. 670–671. ACM, NY (2006)
Gyapay, S., Heckel, R., Varró, D.: Graph transformation with time: Causality and logical clocks. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol. 2505, pp. 120–134. Springer, Heidelberg (2002)
Syriani, E., Vangheluwe, H.: Programmed graph rewriting with time for simulation-based design. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol. 5063, pp. 91–106. Springer, Heidelberg (2008)
Boronat, A., Ölveczky, P.C.: Formal real-time model transformations in MOMENT2. In: Rosenblum, D.S., Taentzer, G. (eds.) FASE 2010. LNCS, vol. 6013, pp. 29–43. Springer, Heidelberg (2010)
de Lara, J., Vangheluwe, H.: Automating the transformation-based analysis of visual languages. Formal Aspects of Computing 22(3-4), 297–326 (2010)
Viana, A.C., Maag, S., Zaidi, F.: One step forward: Linking wireless self-organizing network validation techniques with formal testing approaches. ACM Comput. Surv. 43, 7:1–7:36 (2011)
Girod, L., Elson, J., Cerpa, A., Stathopoulos, T., Ramanathan, N., Estrin, D.: Em*: a software environment for developing and deploying wireless sensor networks. In: Proceedings of the USENIX General Track (2004)
Girod, L., Stathopoulos, T., Ramanathan, N., Elson, J., Osterweil, E., Schoellhammer, T., Estrin, D.: A system for simulation, emulation, and deployment of heterogeneous sensor networks. In: Proceedings of the Second ACM Conference on Embedded Networked Sensor Systems, pp. 201–213. ACM Press, New York (2004)
Keshav, S.: Real: A network simulator. Technical report, Berkeley, CA, USA (1988)
Ben Abdesslem, F., Iannone, L., Dias de Amorim, M., Obraczka, K., Solis, I., Fdida, S.: A prototyping environment for wireless multihop networks. In: Fdida, S., Sugiura, K. (eds.) AINTEC 2007. LNCS, vol. 4866, pp. 33–47. Springer, Heidelberg (2007)
Agha, G., Meseguer, J., Sen, K.: PMaude: Rewrite-based specification language for probabilistic object systems. Electronic Notes in Theoretical Computer Science 153(2), 213–239 (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Troya, J., Bautista, J.M., López-Romero, F., Vallecillo, A. (2011). Lightweight Testing of Communication Networks with e-Motions . In: Gogolla, M., Wolff, B. (eds) Tests and Proofs. TAP 2011. Lecture Notes in Computer Science, vol 6706. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21768-5_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-21768-5_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21767-8
Online ISBN: 978-3-642-21768-5
eBook Packages: Computer ScienceComputer Science (R0)