{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T05:27:13Z","timestamp":1740202033192,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642135941"},{"type":"electronic","value":"9783642135958"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13595-8_14","type":"book-chapter","created":{"date-parts":[[2010,5,31]],"date-time":"2010-05-31T04:15:17Z","timestamp":1275279317000},"page":"156-172","source":"Crossref","is-referenced-by-count":13,"title":["Example-Based Sequence Diagrams to Colored Petri Nets Transformation Using Heuristic Search"],"prefix":"10.1007","author":[{"given":"Marouane","family":"Kessentini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arbi","family":"Bouchoucha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Houari","family":"Sahraoui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mounir","family":"Boukadoum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"France, R., Rumpe, B.: Model-driven Development of Complex Software: A Research Roadmap. In: ICSE 2007: Future of Software Engineering (2007)","DOI":"10.1109\/FOSE.2007.14"},{"key":"14_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/11663430_14","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"F. Jouault","year":"2006","unstructured":"Jouault, F., Kurtev, I.: Transforming models with ATL. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol.\u00a03844, pp. 128\u2013138. Springer, Heidelberg (2006)"},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/11557432_19","volume-title":"Model Driven Engineering Languages and Systems","author":"P. Muller","year":"2005","unstructured":"Muller, P., Fleurey, F., Jezequel, J.M., et al.: Weaving Executability into object-oriented meta-languages. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol.\u00a03713, pp. 264\u2013278. Springer, Heidelberg (2005)"},{"key":"14_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1007\/978-3-540-30187-5_21","volume-title":"<\u2009<UML>\u2009> 2004 - The Unified Modeling Language","author":"D. Varr\u00f3","year":"2004","unstructured":"Varr\u00f3, D., Pataricza, A.: Generic and meta-transformations for model transformation engineering. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, vol.\u00a03273, pp. 290\u2013304. Springer, Heidelberg (2004)"},{"key":"14_CR5","unstructured":"Czarnecki, K., Helsen, S.: Classification of model transformation approaches. In: OOSPLA 2003, Anaheim, USA (2003)"},{"key":"14_CR6","series-title":"Lecture Notes in Computer Science","first-page":"175","volume-title":"Fundamental Approaches to Software Engineering","author":"H. Ehrig","year":"2005","unstructured":"Ehrig, H., Ehrig, K., de Lara, J., Taentzer, G., Varr\u00f3, D., Varr\u00f3-Gyapay, S.: On the Correspondence Between Conformance Testing and Regular Inference. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol.\u00a03442, pp. 175\u2013189. Springer, Heidelberg (2005)"},{"key":"14_CR7","volume-title":"The Unified Modeling Language Users Guide","author":"G. Booch","year":"1998","unstructured":"Booch, G., Jacobson, I., Rumbaugh, J.: The Unified Modeling Language Users Guide. Addison Wesley, Reading (1998)"},{"key":"14_CR8","unstructured":"Saldhana, J., Shatz, S.M.: UML Diagrams to Object Petri Net Models: An Approach for Modeling and Analysis. In: SEKE 2000, July 2000, pp. 103\u2013110 (2000)"},{"key":"14_CR9","unstructured":"Lilius, J., Paltor, I.P.: vUML: A Tool for Verifying UML Models. In: ASE 1999 (1999)"},{"issue":"4","key":"14_CR10","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri Nets: Properties, Analysis, and Applications. Proceedings of the IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"key":"14_CR11","unstructured":"Ribeiro, O.R., Fernandes, J.M.: Some Rules to Transform Sequence Diagrams into Coloured Petri Nets. In: Jensen, K. (ed.) CPN 2006, Aarhus, Denmark, October 2006, pp. 237\u2013256 (2006)"},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1007\/11880240_29","volume-title":"Model Driven Engineering Languages and Systems","author":"D. Varro","year":"2006","unstructured":"Varro, D.: Model transformation by example. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 410\u2013424. Springer, Heidelberg (2006)"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Varro, D., Balogh, Z.: Automating Model Transformation by Example Using Inductive Logic Programming. In: SAC (2007)","DOI":"10.1145\/1244002.1244217"},{"key":"14_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/978-3-540-87875-9_12","volume-title":"Model Driven Engineering Languages and Systems","author":"M. Kessentini","year":"2008","unstructured":"Kessentini, M., Sahraoui, H., Boukadoum, M.: Model Transformation as an Optimization Problem. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 159\u2013173. Springer, Heidelberg (2008)"},{"key":"14_CR15","unstructured":"Kessentini, M., Sahraoui, H., Boukadoum, M.: Search-based Model Transformation by Example. Submitted to SoSym (under review)"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Distefano, S., Scarpa, M., Puliafito, A.: Software Performance Analysis in UML Models. FIRB-Perf 2005: 115-125, https:\/\/mdslab.unime.it\/webspn\/mapping.htm","DOI":"10.1109\/FIRB-PERF.2005.19"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. In: Basic Concepts. Monographs in Theoretical Computer Science, vol.\u00a01 (1997)","DOI":"10.1007\/978-3-642-60794-3"},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"Kennedy, J., Eberhart, R.C.: Particle swarm optimization. In: Proc. IEEE Intl.Conf. on Neural Networks, pp. 1942\u20131948 (1995)","DOI":"10.1109\/ICNN.1995.488968"},{"issue":"4598","key":"14_CR19","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1126\/science.220.4598.671","volume":"220","author":"D.S. Kirkpatrick","year":"1983","unstructured":"Kirkpatrick, D.S., Gelatt, J., Vecchi, M.P.: Optimization by simulated annealing. Science\u00a0220(4598), 671\u2013680 (1983)","journal-title":"Science"},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"Kelner, V., Capitanescu, F., L\u00e9onard, O., Wehenkel, L.: A hybrid optimization technique coupling an evolutionary and a local search algorithm. In: J. Comput. Appl. Math (2008)","DOI":"10.1016\/j.cam.2006.03.048"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Aamodt, A., Plaza, E.: Case-Based Reasoning: Foundational Issues, Methodological Variations, and System Approaches. In: AIC 1994, pp. 39\u201352 (1994)","DOI":"10.3233\/AIC-1994-7104"},{"key":"14_CR22","unstructured":"Andries, M., Engels, G., Habel, A., Hoffmann, B., Kreowski, H.-J., Kuske, S., Kuske, D., Plump, D., Sch\u00fcrr, A., Taentzer, G.: Graph Transformation for Specification and Programming. Technical Report 7\/96, Universit\u00e4t Bremen (1996)"},{"key":"14_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/3-540-45800-X_20","volume-title":"\u00abUML\u00bb 2002 - The Unified Modeling Language. Model Engineering, Concepts, and Tools","author":"D.H. Akehurst","year":"2002","unstructured":"Akehurst, D.H., Kent, S.: A Relational Approach to Defining Transformations in a Metamodel. In: J\u00e9z\u00e9quel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol.\u00a02460, pp. 243\u2013258. Springer, Heidelberg (2002)"},{"key":"14_CR24","unstructured":"Interactive Objects Software GmbH, Project Technology, Inc. MOF 2.0 Query\/Views\/Transformations RFP, Revised Submission"},{"key":"14_CR25","unstructured":"Egyed, A.: Heterogeneous Views Integration and its Automation, Ph.D. Thesis (2000)"},{"key":"14_CR26","doi-asserted-by":"crossref","unstructured":"Galv\u00e3o, I., Goknil, A.: Survey of Traceability Approaches in Model-Driven Engineering. In: EDOC 2007, pp. 313\u2013326 (2007)","DOI":"10.1109\/EDOC.2007.42"},{"key":"14_CR27","unstructured":"Jouault, F.: Loosely coupled traceability for atl. In: ECMDA 2005(2005)"},{"key":"14_CR28","unstructured":"Marvie, R.: A transformation composition framework for model driven engineering. Technical Report LIFL-2004-10, LIFL (2004)"},{"key":"14_CR29","unstructured":"Ouardani, A., Esteban, P., Paludetto, M., Pascal, J.-C.: A Meta-modeling Approach for Sequence Diagrams to Petri Nets Transformation. In: ESMC (2006)"},{"key":"14_CR30","doi-asserted-by":"crossref","unstructured":"Wimmer, M., Strommer, M., Kargl, H., Kramler, G.: Towards model transformation generation by-example. HICSS-40 Hawaii International Conference on System Sciences","DOI":"10.1109\/HICSS.2007.572"},{"issue":"14","key":"14_CR31","doi-asserted-by":"publisher","first-page":"833","DOI":"10.1016\/S0950-5849(01)00189-6","volume":"43","author":"M. Harman","year":"2001","unstructured":"Harman, M., Jones, B.F.: Search-based software engineering. Information & Software Technology\u00a043(14), 833\u2013839 (2001)","journal-title":"Information & Software Technology"},{"key":"14_CR32","doi-asserted-by":"crossref","unstructured":"Seng, O., Stammel, J., Burkhart, D.: Search-based determination of refactorings for improving the class structure of object-oriented systems. In: GECCO 2006, pp. 1909\u20131916 (2006)","DOI":"10.1145\/1143997.1144315"},{"key":"14_CR33","doi-asserted-by":"crossref","unstructured":"Harman, M.: The Current State and Future of Search Based Software Engineering. In: Proceedings of ICSE 2007, Minneapolis, USA, May, pp. 20\u201326 (2007)","DOI":"10.1109\/FOSE.2007.29"},{"key":"14_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"712","DOI":"10.1007\/978-3-642-04425-0_58","volume-title":"Model Driven Engineering Languages and Systems","author":"Y. Sun","year":"2009","unstructured":"Sun, Y., White, J., Gray, J.: Model Transformation by Demonstration. In: Sch\u00fcrr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol.\u00a05795, pp. 712\u2013726. Springer, Heidelberg (2009)"},{"key":"14_CR35","doi-asserted-by":"crossref","unstructured":"Uzam, M.: The use of Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems. Int. J. Adv. Manuf. Technol\u00a023, 204\u2013219","DOI":"10.1007\/s00170-002-1526-5"},{"key":"14_CR36","unstructured":"Hu, Z., Shatz, S.M.: Mapping UML Diagrams to a Petri Net Notation for System Simulation (SEKE), Banff, Canada, June 2004, pp. 213\u2013219 (2004)"},{"key":"14_CR37","doi-asserted-by":"crossref","unstructured":"Bernardi, S., Donatelli, S., Merseguer, J.: From UML Sequence Diagrams and StateCharts to analysable Petri Net models. In: WOSP 2002, Rome, Italy, pp. 35\u201345 (July 2002)","DOI":"10.1145\/584369.584376"},{"key":"14_CR38","unstructured":"http:\/\/wiki.daimi.au.dk\/cpntools\/cpntools.wiki"}],"container-title":["Lecture Notes in Computer Science","Modelling Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13595-8_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T11:05:33Z","timestamp":1740135933000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13595-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642135941","9783642135958"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13595-8_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}