{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T09:31:20Z","timestamp":1743154280250,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642217678"},{"type":"electronic","value":"9783642217685"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21768-5_14","type":"book-chapter","created":{"date-parts":[[2011,6,27]],"date-time":"2011-06-27T13:18:53Z","timestamp":1309180733000},"page":"187-204","source":"Crossref","is-referenced-by-count":0,"title":["Lightweight Testing of Communication Networks with e-Motions"],"prefix":"10.1007","author":[{"given":"Javier","family":"Troya","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 M.","family":"Bautista","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando","family":"L\u00f3pez-Romero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Vallecillo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Zave, P.: Lightweight modeling of network protocols, http:\/\/www2.research.att.com\/~pamela\/model.html"},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1109\/VLHCC.2009.5295300","volume-title":"Proc. of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC 2009)","author":"J.E. Rivera","year":"2009","unstructured":"Rivera, J.E., Dur\u00e1n, 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\u201355. IEEE Computer Society, Los Alamitos (2009)"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1145\/1878537.1878671"},{"key":"14_CR4","unstructured":"Czarnecki, K., Helsen, S.: Classification of model transformation approaches. In: OOPSLA 2003 Workshop on Generative Techniques in the Context of MDA (2003)"},{"key":"14_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework","author":"M. Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"key":"14_CR6","unstructured":"Object Management Group: Object Constraint Language (OCL) Specification. Version 2.2, OMG Document formal\/2010-02-01 (February 2010)"},{"key":"14_CR7","unstructured":"Rold\u00e1n, M., Dur\u00e1n, F.: Representing UML models in mOdCL (2008), http:\/\/maude.lcc.uma.es\/mOdCL"},{"key":"14_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-642-16310-4_12","volume-title":"Rewriting Logic and Its Applications","author":"J.E. Rivera","year":"2010","unstructured":"Rivera, J.E., Dur\u00e1n, F., Vallecillo, A.: On the behavioral semantics of real-time domain specific visual languages. In: \u00d6lveczky, P.C. (ed.) WRLA 2010. LNCS, vol.\u00a06381, pp. 174\u2013190. Springer, Heidelberg (2010)"},{"issue":"1-2","key":"14_CR9","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.scico.2007.08.002","volume":"72","author":"F. Jouault","year":"2008","unstructured":"Jouault, F., Allilaire, F., B\u00e9zivin, J., Kurtev, I.: ATL: A model transformation tool. Science of Computer Programming\u00a072(1-2), 31\u201339 (2008)","journal-title":"Science of Computer Programming"},{"issue":"11\/12","key":"14_CR10","doi-asserted-by":"publisher","first-page":"778","DOI":"10.1177\/0037549709341635","volume":"85","author":"J.E. Rivera","year":"2009","unstructured":"Rivera, J.E., Vallecillo, A., Dur\u00e1n, F.: Formal specification and analysis of domain specific languages using Maude. Simulation: Transactions of the Society for Modeling and Simulation International\u00a085(11\/12), 778\u2013792 (2009)","journal-title":"Simulation: Transactions of the Society for Modeling and Simulation International"},{"issue":"1-2","key":"14_CR11","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/s10990-007-9001-5","volume":"20","author":"P. \u00d6lveczky","year":"2007","unstructured":"\u00d6lveczky, P., Meseguer, J.: Semantics and pragmatics of Real-Time Maude. Higher-Order and Symbolic Computation\u00a020(1-2), 161\u2013196 (2007)","journal-title":"Higher-Order and Symbolic Computation"},{"key":"14_CR12","unstructured":"Atenea: Packet Switching Simulation Results (2011), http:\/\/atenea.lcc.uma.es\/index.php\/Page\/Resources\/E-motions\/PacketSwitchingExample\/Results"},{"issue":"4","key":"14_CR13","doi-asserted-by":"publisher","first-page":"537","DOI":"10.1109\/TNET.2003.815304","volume":"11","author":"M. Jain","year":"2003","unstructured":"Jain, M., Dovrolis, C.: End-to-end available bandwidth: measurement methodology, dynamics, and relation with tcp throughput. IEEE\/ACM Transactions Networking\u00a011(4), 537\u2013549 (2003)","journal-title":"IEEE\/ACM Transactions Networking"},{"key":"14_CR14","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/S0166-5316(96)90032-2","volume":"27-28","author":"R.L. Carter","year":"1996","unstructured":"Carter, R.L., Crovella, M.E.: Measuring bottleneck link speed in packet-switched networks. Perform. Eval.\u00a027-28, 297\u2013318 (1996)","journal-title":"Perform. Eval."},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1007\/BFb0056988","volume-title":"Intelligence in Services and Networks: Technology for Ubiquitous Telecom Services","author":"T. Lindh","year":"1998","unstructured":"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.\u00a01430, pp. 439\u2013450. Springer, Heidelberg (1998)"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"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.\u00a03, pp. 1541\u20131545 (1995)","DOI":"10.1109\/ICC.1995.524460"},{"issue":"5","key":"14_CR17","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1109\/TSE.2004.9","volume":"30","author":"S. Balsamo","year":"2004","unstructured":"Balsamo, S., Marco, A.D., Inverardi, P., Simeoni, M.: Model-based performance prediction in software development: A survey. IEEE Trans. on Software Engineering\u00a030(5), 295\u2013310 (2004)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"14_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-540-71289-3_6","volume-title":"Fundamental Approaches to Software Engineering","author":"V. Cortellessa","year":"2007","unstructured":"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.\u00a04422, pp. 57\u201371. Springer, Heidelberg (2007)"},{"key":"14_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"490","DOI":"10.1007\/978-3-540-87875-9_35","volume-title":"Model Driven Engineering Languages and Systems","author":"R. Tawhid","year":"2008","unstructured":"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\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 490\u2013504. Springer, Heidelberg (2008)"},{"key":"14_CR20","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1109\/CLOUD.2009.5071528","volume-title":"Proceedings of the 2009 ICSE Workshop on Software Engineering Challenges of Cloud Computing, CLOUD 2009","author":"J. Li","year":"2009","unstructured":"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\u201322. IEEE Computer Society, Vancouver (2009)"},{"key":"14_CR21","unstructured":"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"},{"key":"14_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-52494-0_23","volume-title":"Advances in Petri Nets 1989","author":"A. Marsan","year":"1990","unstructured":"Marsan, A.: Stochastic petri nets: An elementary introduction. In: Rozenberg, G. (ed.) APN 1989. LNCS, vol.\u00a0424, pp. 1\u201329. Springer, London (1990)"},{"key":"14_CR23","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1145\/356733.356735","volume":"10","author":"P.J. Denning","year":"1978","unstructured":"Denning, P.J., Buzen, J.P.: The operational analysis of queueing network models. ACM Comput. Surv.\u00a010, 225\u2013261 (1978)","journal-title":"ACM Comput. Surv."},{"key":"14_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-540-72522-0_4","volume-title":"Formal Methods for Performance Evaluation","author":"A. Clark","year":"2007","unstructured":"Clark, A., Gilmore, S., Hillston, J., Tribastone, M.: Stochastic process algebras. In: Bernardo, M., Hillston, J. (eds.) SFM 2007. LNCS, vol.\u00a04486, pp. 132\u2013179. Springer, Heidelberg (2007)"},{"key":"14_CR25","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1109\/90.234858","volume":"1","author":"O. Yaron","year":"1993","unstructured":"Yaron, O., Sidi, M.: Performance and stability of communication networks via robust exponential bounds. IEEE\/ACM Transactions on Networking\u00a01, 372\u2013385 (1993)","journal-title":"IEEE\/ACM Transactions on Networking"},{"key":"14_CR26","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/11560647_4","volume-title":"Theoretical Aspects of Computing ICTAC 2005","author":"R. Heckel","year":"2005","unstructured":"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.\u00a03722, pp. 53\u201369. Springer, Heidelberg (2005)"},{"key":"14_CR27","unstructured":"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\u2013127 (2004)"},{"key":"14_CR28","first-page":"670","volume-title":"Proc. of the 27th International Conference on Software Engineering (ICS 2005)","author":"S. Burmester","year":"2006","unstructured":"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\u2013671. ACM, NY (2006)"},{"key":"14_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1007\/3-540-45832-8_11","volume-title":"Proc. of 1st Int. Conference on Graph Transformation (ICGT2002)","author":"S. Gyapay","year":"2002","unstructured":"Gyapay, S., Heckel, R., Varr\u00f3, D.: Graph transformation with time: Causality and logical clocks. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol.\u00a02505, pp. 120\u2013134. Springer, Heidelberg (2002)"},{"key":"14_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-540-69927-9_7","volume-title":"Theory and Practice of Model Transformations","author":"E. Syriani","year":"2008","unstructured":"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.\u00a05063, pp. 91\u2013106. Springer, Heidelberg (2008)"},{"key":"14_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/978-3-642-12029-9_3","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Boronat","year":"2010","unstructured":"Boronat, A., \u00d6lveczky, P.C.: Formal real-time model transformations in MOMENT2. In: Rosenblum, D.S., Taentzer, G. (eds.) FASE 2010. LNCS, vol.\u00a06013, pp. 29\u201343. Springer, Heidelberg (2010)"},{"issue":"3-4","key":"14_CR32","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s00165-009-0114-y","volume":"22","author":"J. Lara de","year":"2010","unstructured":"de Lara, J., Vangheluwe, H.: Automating the transformation-based analysis of visual languages. Formal Aspects of Computing\u00a022(3-4), 297\u2013326 (2010)","journal-title":"Formal Aspects of Computing"},{"key":"14_CR33","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1883612.1883614","volume":"43","author":"A.C. Viana","year":"2011","unstructured":"Viana, A.C., Maag, S., Zaidi, F.: One step forward: Linking wireless self-organizing network validation techniques with formal testing approaches. ACM Comput. Surv.\u00a043, 7:1\u20137:36 (2011)","journal-title":"ACM Comput. Surv."},{"key":"14_CR34","unstructured":"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)"},{"key":"14_CR35","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/1031495.1031519","volume-title":"Proceedings of the Second ACM Conference on Embedded Networked Sensor Systems","author":"L. Girod","year":"2004","unstructured":"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\u2013213. ACM Press, New York (2004)"},{"key":"14_CR36","unstructured":"Keshav, S.: Real: A network simulator. Technical report, Berkeley, CA, USA (1988)"},{"key":"14_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-540-76809-8_4","volume-title":"Sustainable Internet","author":"F. Ben Abdesslem","year":"2007","unstructured":"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.\u00a04866, pp. 33\u201347. Springer, Heidelberg (2007)"},{"issue":"2","key":"14_CR38","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/j.entcs.2005.10.040","volume":"153","author":"G. Agha","year":"2006","unstructured":"Agha, G., Meseguer, J., Sen, K.: PMaude: Rewrite-based specification language for probabilistic object systems. Electronic Notes in Theoretical Computer Science\u00a0153(2), 213\u2013239 (2006)","journal-title":"Electronic Notes in Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Tests and Proofs"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21768-5_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,6]],"date-time":"2025-03-06T19:02:20Z","timestamp":1741287740000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21768-5_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642217678","9783642217685"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21768-5_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}