Abstract
In the communication system domain, constructing and maintaining network topologies via topology control algorithms is an important crosscutting research area. Network topologies are usually modeled using attributed graphs whose nodes and edges represent the network nodes and their interconnecting links. A key requirement of topology control algorithms is to fulfill certain consistency and optimization properties to ensure a high quality of service. Still, few attempts have been made to constructively integrate these properties into the development process of topology control algorithms. Furthermore, even though many topology control algorithms share substantial parts (such as structural patterns or tie-breaking strategies), few works constructively leverage these commonalities and differences of topology control algorithms systematically. In previous work, we addressed the constructive integration of consistency properties into the development process. We outlined a constructive, model-driven methodology for designing individual topology control algorithms. Valid and high-quality topologies are characterized using declarative graph constraints; topology control algorithms are specified using programmed graph transformation. We applied a well-known static analysis technique to refine a given topology control algorithm in a way that the resulting algorithm preserves the specified graph constraints. In this paper, we extend our constructive methodology by generalizing it to support the specification of families of topology control algorithms. To show the feasibility of our approach, we reengineering six existing topology control algorithms and develop e-kTC, a novel energy-efficient variant of the topology control algorithm kTC. Finally, we evaluate a subset of the specified topology control algorithms using a new tool integration of the graph transformation tool eMoflon and the Simonstrator network simulation framework.
Similar content being viewed by others
References
Agricola, I.: Elementary Geometry. AMS, Cambridge (2008)
Al Saad, M., Fehr, E., Kamenzky, N., Schiller, J.: ScatterClipse: A model-driven tool-chain for developing, testing, and prototyping wireless sensor networks. In: Proceedings of the International Symposium on Parallel and Distributed Processing with Applications (ISPA 2008), pp. 871–885 (2008). doi:10.1109/ISPA.2008.22
Anaya, I.D.P., Simko, V., Bourcier, J., Plouzeau, N., Jézéquel, J.M.: A prediction-driven adaptation approach for self-adaptive sensor networks. In: Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2014), pp. 145–154. ACM, New York, NY (2014). doi:10.1145/2593929.2593941
Anguera, J., Blesa, M., Farré, J., López, V., Petit, J.: Topology Control Algorithms in WISELIB. In: Proceedings of the ICSE Workshop on Software Engineering for Sensor Network Applications (SESENA 2010), pp. 14–19. ACM, New York, NY (2010). doi:10.1145/1809111.1809118
Baldan, P., Corradini, A., König, B.: A framework for the verification of infinite-state graph transformation systems. Inf. Comput. 206(7), 869–907 (2008). doi:10.1016/j.ic.2008.04.002
Baleani, M., Ferrari, A., Mangeruca, L., Sangiovanni-Vincentelli, A., Freund, U., Schlenker, E., Wolff, H.J.: Correct-by-construction transformations across design environments for model-based embedded software development. In: Proceedings of Design, Automation and Test in Europe (DATE 2005), vol. 2, pp. 1044–1049 (2005). doi:10.1109/DATE.2005.105
Basu, A., Bensalem, B., Bozga, M., Combaz, J., Jaber, M., Nguyen, T.H., Sifakis, J.: Rigorous component-based system design using the BIP framework. IEEE Softw. 28(3), 41–48 (2011). doi:10.1109/MS.2011.27
Bencomo, N., Sawyer, P., Blair, G., Grace, P.: Dynamically adaptive systems are product lines too: using model-driven techniques to capture dynamic variability of adaptive systems. In: Proceedings of the International Workshop on Dynamic Software Product Lines (DSPL 2008) (2008). doi:10.1109/SPLC.2008.69
Berardinelli, L., Di Marco, A., Pace, S., Pomante, L., Tiberti, W.: Energy consumption analysis and design of energy-aware WSN agents in fUML.. In: Proceedings of the European Conference on Modelling Foundations and Applications (ECMFA 2015), LNCS, vol. 9153, pp. 1–17. Springer, New York (2015). doi:10.1007/978-3-319-21151-0_1
Beydeda, S., Book, M., Gruhn, V.: Model-Driven Software Development, 15th edn. Springer, New York (2005)
Bürdek, J., Lity, S., Lochau, M., Berens, M., Goltz, U., Schürr, A.: Staged configuration of dynamic software product lines with complex binding time constraints. In: Proc. of the International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2014), pp. 16:1–16:8. ACM, New York, NY (2013). doi:10.1145/2556624.2556627
Camp, T., Boleng, J., Davies, V.: A survey of mobility models for ad hoc network research. Wirel. Commun. Mobile Comput. 2(5), 483–502 (2002). doi:10.1002/wcm.72
Chakeres, I., Belding-Royer, E.: AODV routing protocol implementation design. In: Proceedings of the International Conference on Distributed Computing Systems Workshops (ICDCSW 2004), pp. 698–703 (2004). doi:10.1109/ICDCSW.2004.1284108
Chen, Y., Zhao, Q.: On the lifetime of wireless sensor networks. IEEE Commun. Lett. 9(11), 976–978 (2005). doi:10.1109/LCOMM.2005.11010
Chu, X., Sethu, H.: Cooperative topology control with adaptation for improved lifetime in wireless ad-hoc networks. In: Proceedings of the IEEE International Conference on Computer Communications (INFOCOM 2012), pp. 262–270 (2012). doi:10.1109/INFCOM.2012.6195667
Deckwerth, F., Varró, G.: Generating preconditions from graph constraints by higher order graph transformation. In: Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014), vol. 67, pp. 1–14. ECEASST (2014). doi:10.14279/tuj.eceasst.67.945
Delicato, F.C., Fuentes, L., Gámez, N., Pires, P.F.: A middleware family for VANETs. In: Proceedings of the 8th International Conference on Ad-Hoc, Mobile and Wireless Networks (ADHOC-NOW 2009), pp. 379–384. Springer, New York (2009). doi:10.1007/978-3-642-04383-3_31
Delicato, F.C., Fuentes, L., Gámez, N., Pires, P.F.: Variabilities of wireless and actuators sensor network middleware for ambient assisted living. In: Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living (IWANN 2009 Workshops), LNCS, vol. 5518, pp. 851–858. Springer, Berlin (2009). doi:10.1007/978-3-642-02481-8_129
Dijkstra, E.W.: A Discipline of Programming, vol. 1. Prentice Hall, Englewood Cliffs, NJ (1976)
Dohler, M., Barthel, D., Maraninchi, F., Mounier, L., Aubert, S., Dugas, C., Buhrig, A., Paugnat, F., Renaudin, M., Duda, A., Heusse, M., Valois, F.: The ARESA project: facilitating research, development and commercialization of WSNs. In: Proceedings of the IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks (SECON 2007), pp. 590–599 (2007). doi:10.1109/SAHCN.2007.4292871
Dunkels, A., Gronvall, B., Voigt, T.: Contiki—A lightweight and flexible operating system for tiny networked sensors. In: Proceedings of the International Conference on Local Computer Networks (LCN 2004), pp. 455–462 (2004). doi:10.1109/LCN.2004.38
Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, New York (2006). doi:10.1007/3-540-31188-2
Fischer, T., Niere, J., Torunski, L., Zündorf, A.: Story diagrams: a new graph rewrite language based on the unified modeling language. In: Proceedings of the International Workshop on Theory and Application of Graph Transformation (TAGT 1998), pp. 296–309. Springer, New York (1998). doi:10.1007/978-3-540-46464-8_21
Fok, C.L., Roman, G.C., Lu, C.: Agilla: a mobile agent middleware for self-adaptive wireless sensor networks. ACM Trans. Auton. Adapt. Syst. 4(3), 16:1–16:26 (2009). doi:10.1145/1552297.1552299
Friis, H.T.: A note on a simple transmission formula. Proc. Inst. Radio Eng. 34(5), 254–256 (1946). doi:10.1109/JRPROC.1946.234568
Fuentes, L., Gamez, N., Sanchez, P.: Variability in ambient intelligence a family of middleware solution. Ubiquitous Developments in Ambient Computing and Intelligence: Human-Centered Applications pp. 71–83 (2011). doi:10.4018/978-1-60960-549-0.ch006
Fuentes, L., Gámez, N.: Configuration process of a software product line for Am I middleware. J. Univers. Comput. Sci. 16(12), 1592–1611 (2010). doi:10.3217/jucs-016-12-1592
Gabriel, K.R., Sokal, R.R.: A new statistical approach to geographic variation analysis. Syst. Biol. 18(3), 259–278 (1969). doi:10.2307/2412323
Gorp, P.V., Mazanek, S.: SHARE: a web portal for creating and sharing executable research papers. In: Proceedings of the International Conference on Computational Science (ICCS 2011), vol. 4, pp. 589–597 (2011). doi:10.1016/j.procs.2011.04.062
Habel, A., Radke, H.: Expressiveness of graph conditions with variables. In: Proceedings of the International Colloquium on Graph and Model Transformation (GraMoT 2010), vol. 30. ECEASST (2010). doi:10.14279/tuj.eceasst.30.404
Hall, A., Chapman, R.: Correctness by construction: developing a commercial secure system. IEEE Softw. 19(1), 18–25 (2002). doi:10.1109/52.976937
Hausmann, J.H., Heckel, R., Sauer, S.: Extended model relations with graphical consistency conditions. In: Proceeddings of the Workshop on Consistency Problems in UML-based Software Development (UML 2002), Blekinge Institute of Technology, Research Report 2002:06, pp. 61–74. Department of Software Engineering and Computer Science, Blekinge Institute of Technology (2002). http://www.db.informatik.uni-bremen.de/umlbib/conf/WRKUML2002CP.html
Heckel, R., Wagner, A.: Ensuring consistency of conditional graph rewriting—a constructive approach. In: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop, ENTCS, vol. 2, pp. 118–126. Elsevier, Amsterdam (1995). doi:10.1016/S1571-0661(05)80188-4
Hermann, F., Gottmann, S., Nachtigall, N., Braatz, B., Morelli, G., Pierre, A., Engel, T.: Model Transformation. In: Proceedings of the International Conference on Model Transformation (ICMT 2013), chap. On an Automated Translation of Satellite Procedures Using Triple Graph Grammars, pp. 50–51. Springer, New York (2013). doi:10.1007/978-3-642-38883-5_4
Hiranandani, D., Obraczka, K., Garcia-Luna-Aceves, J.J.: MANET protocol simulations considered harmful: the case for benchmarking. IEEE Wirel. Commun. 20(4), 82–90 (2013). doi:10.1109/MWC.2013.6590054
Jacob, R., Richa, A., Scheideler, C., Schmid, S., Täubig, H.: A distributed polylogarithmic time algorithm for self-stabilizing skip graphs. In: Proceedings of the ACM Symposium on Principles of Distributed Computing (PODC 2009), pp. 131–140. ACM, New York (2009). doi:10.1145/1582716.1582741
Jelasity, M.: Gossip. In: Self-organising Software: From Natural to Artificial Adaptation, pp. 139–162. Springer, New York (2011). doi:10.1007/978-3-642-17348-6_7
Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, S.A.: Feature-Oriented Domain Analysis (FODA) Feasibility Study. Tech. rep., Software Engineering Institute, Carnegie-Mellon University (1990). https://resources.sei.cmu.edu/library/asset-view.cfm?assetid=11231. CMU/SEI-90-TR-21, ESD-90-TR-222
Karp, B., Kung, H.T.: GPSR: Greedy perimeter stateless routing for wireless networks. In: Proceedings of the 6th Annual International Conference on Mobile Computing and Networking (MobiCom 2000), pp. 243–254. ACM, New York (2000). doi:10.1145/345910.345953
Katelman, M., Meseguer, J., Hou, J.: Redesign of the LMST Wireless Sensor Protocol through Formal Modeling and Statistical Model Checking. In: Proceedings of the International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2008), LNCS, vol. 5051, pp. 150–169. Springer, New York (2008). doi:10.1007/978-3-540-68863-1_10
Khemapech, I., Miller, A., Duncan, I.: A survey of transmission power control in wireless sensor networks. In: Proceedings of the 8th Annual Postgraduate Symposium on the Convergence of Telecommunications, Networking and Broadcasting (PGNet9s, pp. 15–20 (2007). http://www.cms.livjm.ac.uk/pgnet2007/Proceedings/
Kluge, R., Stein, M., Varró, G., Schürr, A., Mühlhäuser, M., Hollick, M.: A systematic approach to constructing incremental topology control algorithms using graph transformation. J. Visual Lang. Comput. (2016). doi:10.1016/j.jvlc.2016.10.003
Kluge, R., Varró, G., Schürr, A.: A methodology for designing dynamic topology control algorithms via graph transformation. In: Model Transformation, Proceedings of the International Conference on Model Transformation (ICMT 2015), LNCS, vol. 9152, pp. 199–213. Springer International Publishing, New York (2015). doi:10.1007/978-3-319-21155-8_15
Koch, M., Mancini, L.V., Parisi-Presicce, F.: A graph-based formalism for RBAC. ACM Trans. Inf. Syst. Secur. 5(3), 332–365 (2002). doi:10.1145/545186.545191
Kulcsár, G., Stein, M., Schweizer, I., Varró, G., Mühlhäuser, M., Schürr, A.: Rapid prototyping of topology control algorithms by graph transformation. In: Proceedings of the Internationall Workshop on Graph-Based Tools (GraBaTs 2014), ECEASST, vol. 68, pp. 1–15 (2014). doi:10.14279/tuj.eceasst.68.957
Kurkowski, S., Camp, T., Colagrosso, M.: MANET simulation studies: the incredibles. SIGMOBILE Mob. Comput. Commun. Rev. 9(4), 50–61 (2005). doi:10.1145/1096166.1096174
Leblebici, E., Anjorin, A., Schürr, A.: Developing eMoflon with eMoflon. In: Model Transformation, Proceedings of the International Conference on Model Transformation (ICMT 2014), LNCS, vol. 8568, pp. 138–145. Springer, New York (2014). doi:10.1007/978-3-319-08789-4_10
van der Linden, F., Schmid, K., Rommes, E.: Software Product Lines in Action, 1 edn. Springer, New York (2007). doi:10.1007/978-3-540-71437-8
Martins, F., Lopes, L., Barros, J.A.: Towards the safe programming of wireless sensor networks. In: Proceedings of the Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (EPTCS 2009), vol. 17, pp. 49–62. Open Publishing Association (2010). doi:10.4204/EPTCS.17.5
Mayerhofer, T., Langer, P., Kappel, G.: A Runtime Model for fUML. In: Proceedings of the Workshop on Models@Run.Time (MRT 2012), pp. 53–58. ACM, New York, NY (2012). doi:10.1145/2422518.2422527
Mori, S., Umedu, T., Hiromori, A., Yamaguchi, H., Higashino, T.: Data-centric programming environment for cooperative applications in WSN. In: Proceedings of the IFIP/IEEE Intl. Symposium on Integrated Network Management (IM 2013), pp. 856–859 (2013)
Myers, G.J., Sandler, C., Badgett, T.: The Art of Software Testing. Wiley, New York (2011)
Ortiz, O., García, A.B., Capilla, R., Bosch, J., Hinchey, M.: Runtime variability for dynamic reconfiguration in wireless sensor network product lines. In: Proceedings of the 16th International Software Product Line Conference, vol. 2 (SPLC 2012), pp. 143–150. ACM, New York, NY (2012). doi:10.1145/2364412.2364436
Pohl, K., Böckle, G., van der Linden, F.: Software Product Line Engineering, 1st edn. Springer, New York (2005). doi:10.1007/3-540-28901-1
Portocarrero, J.M.T., Delicato, F.C., Pires, P.F., Batista, T.V.: Reference architecture for self-adaptive management in wireless sensor networks. In: Proceedings of the International Conference on Adaptive and Intelligent Systems (ICAIS 2014), pp. 110–120. Springer, Cham (2014). doi:10.1007/978-3-319-11298-5_12
Potop-Butucaru, D., Caillaud, B.: Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications. In: Proceedings of the International Conference on Application of Concurrency to System Design (ACSD 2005) pp. 48–57 (2005). doi:10.1109/ACSD.2005.10
Qadir, J., Hasan, O.: Applying formal methods to networking: theory, techniques, and applications. IEEE Commun. Surv. Tutor. 17(1), 256–291 (2015). doi:10.1109/COMST.2014.2345792
Quinton, C., Romero, D., Duchien, L.: Cardinality-based feature models with constraints: a pragmatic approach. In: Proceedings of the International Software Product Line Conference (SPLC 2013), pp. 162–166. ACM, New York, NY (2013). doi:10.1145/2491627.2491638
Radke, H.: Weakest Liberal Preconditions relative to HR* Graph Conditions. In: Proceedings of the International Workshop on Graph Computation Models (GCM 2010), pp. 165–178 (2010). http://formale-sprachen.informatik.uni-oldenburg.de/~skript/fs-pub/Radk10b.pdf
Rensink, A., Schmidt, A., Varró, D.: Model checking graph transformations: A comparison of two approaches. In: Graph Transformations, Proceedings of the International Conference on Graph Transformation (ICGT 2004), LNCS, vol. 3256, pp. 226–241. Springer, New York (2004). doi:10.1007/978-3-540-30203-2_17
Richerzhagen, B., Stingl, D., Rückert, J., Steinmetz, R.: Simonstrator: Simulation and prototyping platform for distributed mobile applications. In: Proceedings of the International Conference on Simulation Tools and Techniques (SIMUTools ’15), pp. 99–108. ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering) (2015). doi:10.4108/eai.24-8-2015.2261064
Rodoplu, V., Meng, T.H.: Minimum energy mobile wireless networks. IEEE J. Sel. Areas Commun. 17(8), 1333–1344 (1999). doi:10.1109/49.779917
Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation, vol. 1: Foundations. World Scientific, Singapore (1997). doi:10.1142/3303
Saller, K., Lochau, M., Reimund, I.: Context-aware DSPLs: Model-based runtime adaptation for resource-constrained systems. In: Proceedings of the International fSoftware Product Line Conference Co-located Workshops (SPLC 2013 Workshops), pp. 106–113. ACM, New York, NY (2013). doi:10.1145/2499777.2500716
Saller, K., Oster, S., Schürr, A., Schroeter, J., Lochau, M.: Reducing feature models to improve runtime adaptivity on resource limited devices. In: Proceedings of the International Software Product Line Conference - vol. 2 (SPLC 2012), pp. 135–142. ACM, New York, NY (2012). doi:10.1145/2364412.2364435
Santi, P.: Topology control in wireless ad hoc and sensor networks. ACM Comput. Surv. (CSUR) 37(2), 164–194 (2005). doi:10.1145/1089733.1089736
Schnabel, T., Weckesser, M., Kluge, R., Lochau, M., Schürr, A.: CardyGAn: tool support for cardinality-based feature models. In: Proceedings of the International Workshop on Variability Modelling of Software-intensive Systems (VaMoS 2016), pp. 33–40 (2016). doi:10.1145/2866614.2866619
Schroeter, J., Mucha, P., Muth, M., Jugel, K., Lochau, M.: Dynamic configuration management of cloud-based applications. In: Proceedings of the International Software Product Line Conference (SPLC 2012), pp. 171–178. ACM, New York, NY (2012). doi:10.1145/2364412.2364441
Schweizer, I., Wagner, M., Bradler, D., Mühlhäuser, M., Strufe, T.: kTC - Robust and Adaptive Wireless Ad-Hoc Topology Control. In: Proceedings of the International Conference on Computer Communications and Networks (ICCCN 2012), pp. 1–9 (2012). doi:10.1109/ICCCN.2012.6289318
Stein, M., Kulcsár, G., Schweizer, I., Varró, G., Schürr, A., Mühlhäuser, M.: Topology Control with Application Constraints. In: Proceedings of the International Conference on Local Computer Networks (LCN 2015), pp. 438–441 (2015). doi:10.1109/LCN.2015.7366313
Stein, M., Petry, T., Schweizer, I., Bachmann, M., Mühlhäuser, M.: Topology control in wireless sensor networks: what blocks the breakthrough? In: Proceedings of the International Conference on Local Computer Networks (LCN 2016), pp. 1–9 (2016). doi:10.1109/LCN.2016.67
Steinberg, D., Budinsky, F., Merks, E., Paternostro, M.: EMF: Eclipse Modeling Framework. Pearson Education, Upper Saddle River (2008)
Stingl, D., Gross, C., Rückert, J., Nobach, L., Kovacevic, A., Steinmetz, R.: PeerfactSim.KOM: A simulation framework for peer-to-peer systems. In: Proceedings of the International Conference on High Performance Computing and Simulation (HPCS 2011), pp. 577–584. IEEE (2011). doi:10.1109/HPCSim.2011.5999877
Strüber, D., Rubin, J., Arendt, T., Chechik, M., Taentzer, G., Plöger, J.: RuleMerger: automatic construction of variability-based model transformation rules. In: Proceedings of Fundamental Approaches to Software Engineering (FASE 2016), pp. 122–140. Springer, New York (2016). doi:10.1007/978-3-662-49665-7_8
Strüber, D., Rubin, J., Chechik, M., Taentzer, G.: A variability-based approach to reusable and efficient model transformations. In: Proceedings of Fundamental Approaches to Software Engineering (FASE 2015), pp. 283–298. Springer, New York (2015). doi:10.1007/978-3-662-46675-9_19
Strüber, D., Schulz, S.: A tool environment for managing families of model transformation rules. In: Graph Transformations, Proceedings of the International Conference on Graph Transformation (ICGT 2016), pp. 89–101. Springer, New York (2016). doi:10.1007/978-3-319-40530-8_6
Taentzer, G., Goedicke, M., Meyer, T.: Dynamic change management by distributed graph transformation: towards configurable distributed systems. In: Proceedings of the International Workshop on Theory and Application of Graph Transformations (TAGT 2000), pp. 179–193. Springer, New York (2000). doi:10.1007/978-3-540-46464-8_13
Valente, B., Martins, F.: A middleware framework for the internet of things. In: Proceedings of the Internatiional Conference on Advances in Future Internet, pp. 139–144. ThinkMind Digital Library (2011)
Völter, M., Stahl, T., Bettin, J., Haase, A., Helsen, S.: Model-Driven Software Development: Technology, Engineering, Management. Wiley, New York (2013)
Wang, Y.: Topology control for wireless sensor networks. In: Wireless Sensor Networks and Applications, Signals and Communication Technology, pp. 113–147. Springer, New York (2008). doi:10.1007/978-0-387-49592-7_5
Wattenhofer, R., Zollinger, A.: XTC: a practical topology control algorithm for ad-hoc networks. In: Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS 2004), pp. 216–223. IEEE (2004). doi:10.1109/IPDPS.2004.1303248
Weckesser, M., Lochau, M., Schnabel, T., Richerzhagen, B., Schürr, A.: Mind the gap! Automated anomaly detection for potentially unbounded cardinality-based feature models. In: Proceedings of Fundamental Approaches to Software Engineering (FASE 2016), pp. 158–175. Springer, New York (2016). doi:10.1007/978-3-662-49665-7_10
Winter, T.: RPL: IPv6 routing protocol for low-power and lossy networks. IETF RFC 6550 (2012). https://tools.ietf.org/html/rfc6550
Yao, A.C.C.: On constructing minimum spanning trees in k-dimensional spaces and related problems. SIAM J. Comput. 11(4), 721–736 (1982). doi:10.1137/0211059
Zave, P.: Understanding SIP through Model-Checking. In: Principles, Systems and Applications of IP Telecommunications. Services and Security for Next Generation Networks, LNCS, vol. 5310, pp. 256–279. Springer, New York (2008). doi:10.1007/978-3-540-89054-6_13
Zave, P.: Using lightweight modeling to understand chord. SIGCOMM Comput. Commun. Rev. 42(2), 49–57 (2012). doi:10.1145/2185376.2185383
Zimmermann, H.: OSI reference model-the ISO model of architecture for open systems interconnection. IEEE Trans. Commun. 28(4), 425–432 (1980). doi:10.1109/TCOM.1980.1094702
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Prof. Alfonso Pierantonio, Jasmin Blanchette, Francis Bordeleau, Nikolai Kosmatov, Gabi Taentzer, and Manuel Wimmer.
This work has been funded by the German Research Foundation (DFG) as part of projects A01 and C01 within the Collaborative Research Center (CRC) 1053 – MAKI.
Rights and permissions
About this article
Cite this article
Kluge, R., Stein, M., Varró, G. et al. A systematic approach to constructing families of incremental topology control algorithms using graph transformation. Softw Syst Model 18, 279–319 (2019). https://doi.org/10.1007/s10270-017-0587-8
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10270-017-0587-8