No Access

COMBINING GENETIC PROGRAMMING AND MODEL-DRIVEN DEVELOPMENT

THOMAS WEISE

University of Kassel, Distributed Systems Group, 34121 Kassel, Germany

Search for more papers by this author

MICHAEL ZAPF

University of Kassel, Distributed Systems Group, 34121 Kassel, Germany

Search for more papers by this author

MOHAMMAD ULLAH KHAN

University of Kassel, Distributed Systems Group, 34121 Kassel, Germany

Search for more papers by this author

, and

KURT GEIHS

University of Kassel, Distributed Systems Group, 34121 Kassel, Germany

Search for more papers by this author

https://doi.org/10.1142/S1469026809002436Cited by:3 (Source: Crossref)

Abstract

Genetic programming (GP) is known to provide good solutions for many problems like the evolution of network protocols and distributed algorithms. In most cases it is a hardwired module of a design framework assisting the engineer in optimizing specific aspects in system development. In this article, we show how the utility of GP can be increased remarkably by isolating it as a component and integrating it into the model-driven software development process. Our GP framework produces XMI-encoded UML models that can easily be loaded into widely available modeling tools, which in turn offer code generation as well as additional analysis and test capabilities. We use the evolution of a distributed election algorithm as an example to illustrate how GP can be combined with model-driven development (MDD).

Keywords:

Remember to check out the Most Cited Articles!
Check out these titles in artificial intelligence!

References

C. Vangenotet al. (eds.), Model to text transformation in practice: Generating code from rich associations specifications, Advances in Conceptual Modeling — Theory and Practice, Proc. ER 2006 Workshops BP-UML, CoMoGIS, COSS, ECDM, OIS, QoIS, SemWAT, Lecture Notes in Computer Science 4231 (Springer, Berlin, Heidelberg, 2006) pp. 63–72. Google Scholar
J. O. Aagedal , J. Bezivin and P. F. Linington , Model-driven development , ECOOP 2004 Workshop Reader, Proc. ECOOP 2004 Workshop , Lecture Notes in Computer Science 3344 , eds. J. Malenfant and B. M. Ostvold ( Springer-Verlag , 2004 ) . Google Scholar
U. Aßmann , M. Aksit and A. Rensink (eds.) , Model Driven Architecture, European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004 , Lecture Notes in Computer Science 3599 ( Springer , 2005 ) . Google Scholar
J. Bézivin, From object composition to model transformation with the MDA, Proc. 39th Int. Conf. Exhibition Technology of Object-Oriented Languages and Systems (TOOLS39) (2001) pp. 350–354. Google Scholar
M. Brameier, On linear genetic programming, Ph.D. thesis, Fachbereich Informatik, Universität Dortmund (February 2004) . Google Scholar
M. Brameier and W. Banzhaf, Genet. Program. Evol. Mach. 2(4), 381 (2001), DOI: 10.1023/A:1012978805372. Crossref, Google Scholar
F. Comellas and G. Giménez, Parallel Proc. Lett. 8(4), 549 (1998), DOI: 10.1142/S0129626498000547. Link, Google Scholar
A. D'Ambrogio, A model transformation framework for the automated building of performance models from UML models, Proc. 5th Int. Workshop Software and Performance (2005) pp. 75–86. Google Scholar
S. Daset al., Algorithms and Computation, Lecture Notes in Computer Science 4288 (Springer, 2006) pp. 732–743, DOI: 10.1007/11940128_73. Crossref, Google Scholar
M. N. de Mirandaet al., Hw/sw codesign of protocols based on performance optimization using genetic algorithms, Teletraffic Engineering in the Internet Era: Proc. Int. Teletraffic Congres, Teletraffic Science and Engineering1 and 4, eds. J. M. D. Souza, N. L. S. da Fonseca and E. A. S. e Silva (Elsevier, North-Holland Publishing Co., Amsterdam, 2001) pp. 259–269. Google Scholar
A. Derezińska, Advanced mutation operators applicable in c# programs, Software Engineering Techniques: Design for Quality — IFIP Working Conference on Software Engineering Techniques — SET 2006, ed. K. Sacha (Springer, 2006) pp. 283–288. Google Scholar
R. Eckstein , D. Collier-Brown and P. Kelly , Using Samba , 1st edn. ( O'Reilly & Associates, Inc. , 1999 ) . Google Scholar
K. El-Fakihy , H. Yamaguchiz and G. v. Bochmann , A method and a genetic algorithm for deriving protocols for distributed applications with minimum communication cost , Proc. Eleventh IASTED Int. Conf. Parallel and Distributed Computing and Systems ( 1999 ) . Google Scholar
M. Fowler , UML Distilled: A Brief Guide to the Standard Object Modeling Language , 3rd edn. ( Addison-Wesley Professional , 2003 ) . Google Scholar
A. Gerber and K. Raymond, MOF to EMF: There and back again, Eclipse '03: Proc. 2003 OOPSLA Workshop on Eclipse Technology Exchange (ACM Press, New York, NY, USA, 2003) pp. 60–64. Google Scholar
R. Gusella and S. Zatti, An election algorithm for a distributed clock synchronization program, Technical Report UCB/CSD-86-275, EECS Department, University of California, Berkeley (1986) . Google Scholar
H. Hußmann and S. Zschaler, The object constraint language for UML 2.0 — Overview and assessment, Upgrade, 5 (April 2004) . Google Scholar
International Organization for Standardization, ISO/IEC 19503:2005-11 (2005) . Google Scholar
S. L. Jim, From UML diagrams to behavioural source code, Master's thesis, Universiteit van Amsterdam (September 2006) . Google Scholar
S. R. Judson, D. L. Carver and R. B. France, A metamodeling approach to model transformation, OOPSLA'03: Companion of the 18th Ann. ACM SIGPLAN Conf. Object-Oriented Programming, Systems, Languages, and Applications (ACM Press, New York, NY, USA, 2003) pp. 326–327. Google Scholar
D. S. Kolovos, R. F. Paige and F. A. Polack, Model comparison: A foundation for model composition and model transformation testing, GaMMa '06: Proc. 2006 Int. Workshop Global Integrated Model Management (ACM Press, New York, NY, USA, 2006) pp. 13–20. Google Scholar
J. Kovse and T. Härder, Generic XMI-based UML model transformations, Proc. 8th Int. Conf. Object-Oriented Information Systems (2002) pp. 192–198. Google Scholar
G. Le Lann, Distributed systems — Towards a formal approach, Information Processing, Proc. Int. Federation for Information Processing World Computer Congress, IFIP Congress 77, ed. B. Gilchrist (North Holland, Amsterdam, The Netherlands, 1977) pp. 155–160. Google Scholar
P. Nordin, Advances in Genetic Programming 1, eds. J. Kenneth and E. Kinnear (MIT Press, Cambridge, MA, USA, 1994) pp. 311–331. Google Scholar
J. Oldevik, T. Neple, R. Grønmo, J. Aagedal and P. Desfray, Second revised submission for MOF model to text transformation language RFP (November 2005). European IP project 511731 MODELWARE . Google Scholar
J. Oldeviket al., Toward standardised model to text transformations, Proc. First Eur. Conf. Model Driven Architecture — Foundations and Applications, ECMDA-FA 2005, Lecture Notes in Computer Science 3748, eds. A. Hartman and D. Kreische (Springer, 2005) pp. 239–253. Google Scholar
J. Pavón, J. J. Gómez-Sanz and R. Fuentes, Model driven development of multi-agent systems, Proc. Second Eur. Conf. Model Driven Architecture — Foundations and Applications, ECMDA-FA 2006, Lecture Notes in Computer Science 4066, eds. A. Rensink and J. Warmer (Springer, 2006) pp. 284–298. Google Scholar
M. A. Qureshi, Evolving agents, Proceedings of the First Annual Conference Genetic Programming (GP-96), eds. J. R. Kozaet al. (MIT Press, 1996) pp. 369–374, http://www.cs.ucl.ac.uk/staff/W.Langdon/ftp/papers/AQ.gp96. Google Scholar
M. A. Qureshi, The Evolution of Agents, Ph.D. thesis, University College, London, UK (July 2001) . Google Scholar
A. Rensink and J. Warmer (eds.) , Proc. 2nd European Conf. Model Driven Architecture — Foundations and Applications, ECMDA-FA 2006 , Lecture Notes in Computer Science 4066 ( Springer , 2006 ) . Google Scholar
S. SAS, Mdworkbench (2007). See http://www.mdworkbench.com/ [accessed 2008-02-19] . Google Scholar
D. C. Schmidt, Model driven development for distributed real-time and embedded systems, MoDELS, Proc. Model Driven Engineering Languages and Systems, 8th Int. Conf., MoDELS 2005, Lecture Notes in Computer Science 3713 (Springer, 2005) p. 1. Google Scholar
C. Tschudin , Fraglets — A metabolistic execution model for communication protocols , Proc. 2nd Ann. Symp. Autonomous Intelligent Networks and Systems (AINS) ( 2003 ) . Google Scholar
S. Vasudevan, J. Kurose and D. Towsley, Design and analysis of a leader election algorithm for mobile ad hoc networks, Proc. 12th IEEE Int. Conf. Network Protocols, IEEE ICNP 2004 (IEEE Computer Society, Washington, DC, USA, 2004) pp. 350–360. Google Scholar
T. Weise and K. Geihs, DGPF — An adaptable framework for distributed multi-objective search algorithms applied to the genetic programming of sensor networks, Proc. Second Int. Conf. Bioinspired Optimization Methods and their Application, BIOMA 2006, eds. B. Filipič and J. Šilc (Jožef Stefan Institute, 2006) pp. 157–166. Google Scholar
T. Weise and K. Geihs, Genetic programming techniques for sensor networks, Proc. 5 GI/ITG KuVS Fachgespräch "Drahtlose Sensornetze" (2006) pp. 21–25. Google Scholar
T. Weise, K. Geihs and P. A. Baer, Genetic programming for proactive aggregation protocols, Proc. Adaptive and Natural Computing Algorithms, 8th Int. Conf., ICANNGA 2007, Lecture Notes in Computer Science 4431, eds. B. Beliczyńskiet al. (Springer, Berlin, Heidelberg, New York, 2007) pp. 167–173. Google Scholar
T. Weise , M. Zapf and K. Geihs , Rule-based genetic programming , Proc. 2nd Int. Conf. Bio-Inspired Models of Network, Information, and Computing Systems (BIONETICS 2007) ( 2007 ) . Google Scholar
T. Weise et al. , Genetic programming meets model-driven development , 7th Int. Conf. Hybrid Intelligent Systems (HIS 2007) , eds. A. König et al. ( IEEE Computer Society , 2007 ) . Google Scholar
T. Weise, M. Zapf, M. U. Khan and K. Geihs, Genetic programming meets model-driven development, Kasseler Informatikschriften (KIS) 2007, 2, University of Kassel, (2 July 2007) . Google Scholar
H. Yamaguchiet al., Synthesis of protocol entities' specifications from service specifications in a petri net model with registers, ICDCS '95: Proc. 15th Int. Conf. Distributed Computing Systems (IEEE Computer Society, Washington, DC, USA, 1995) pp. 510–517. Google Scholar
L. A. R. Yamamoto and C. Tschudin , Genetic evolution of protocol implementations and configurations , IFIP/IEEE Int. Workshop on Self-Managed Systems and Services (SelfMan 2005) ( 2005 ) . Google Scholar
M. Zapf and T. Weise , Offline emergence engineering for agent societies , 5th Eur. Workshop Multi-Agent Systems, EUMAS'07 ( 2007 ) . Google Scholar