{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T10:19:19Z","timestamp":1784283559739,"version":"3.55.0"},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"S5","license":[{"start":{"date-parts":[[2018,2,1]],"date-time":"2018-02-01T00:00:00Z","timestamp":1517443200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Cluster Comput"],"published-print":{"date-parts":[[2019,9]]},"DOI":"10.1007\/s10586-017-1618-5","type":"journal-article","created":{"date-parts":[[2018,2,1]],"date-time":"2018-02-01T14:50:58Z","timestamp":1517496658000},"page":"12351-12362","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Model transformation using logical prediction from sequence diagram: an experimental approach"],"prefix":"10.1007","volume":"22","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7371-9241","authenticated-orcid":false,"given":"M.","family":"Mythily","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"M. L.","family":"Valarmathi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"C. Anand Deva","family":"Durai","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,2,1]]},"reference":[{"key":"1618_CR1","doi-asserted-by":"crossref","unstructured":"Yau, S.S., Tsai, J.: A survey of software design techniques. IEEE Trans. Softw. Eng., vol. SE-12 (1986)","DOI":"10.1109\/TSE.1986.6312969"},{"issue":"8","key":"1618_CR2","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1145\/1012037.1012054","volume":"47","author":"P Freeman","year":"2004","unstructured":"Freeman, P., Hart, D.: A science of design for software-intensive systems. Commun. ACM 47(8), 19\u201321 (2004)","journal-title":"Commun. ACM"},{"key":"1618_CR3","doi-asserted-by":"crossref","unstructured":"Broad, J.: Chapter 5\u2014system development life cycle (SDLC). In: Book Risk Management Framework. A Lab-Based Approach to Securing Information Systems, pp. 39\u201345 (2013)","DOI":"10.1016\/B978-1-59749-995-8.00005-3"},{"key":"1618_CR4","doi-asserted-by":"publisher","first-page":"10420","DOI":"10.1016\/j.eswa.2012.02.010","volume":"39","author":"N Prat","year":"2012","unstructured":"Prat, N., Akoka, J., Comyn-Wattiau, I.: An MDA approach to knowledge engineering. Expert Syst. Appl. 39, 10420\u201310437 (2012)","journal-title":"Expert Syst. Appl."},{"key":"1618_CR5","first-page":"426","volume":"1","author":"M ZadahmadJafarlou","year":"2012","unstructured":"ZadahmadJafarlou, M., Moeini, A., YousefzadehFard, P.: New process: pattern-based model driven architecture. Sciverse Sci. Direct Procedia Technol. 1, 426\u2013433 (2012)","journal-title":"Sciverse Sci. Direct Procedia Technol."},{"key":"1618_CR6","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1016\/j.dss.2011.01.018","volume":"51","author":"A Rodr\u00edguez","year":"2011","unstructured":"Rodr\u00edguez, A., Fern\u00e1ndez-Medina, E., Trujillo, J., Piattini, M.: Secure business process model specification through a UML 2.0 activity diagram profile. Decis. Support Syst. 51, 446\u2013465 (2011)","journal-title":"Decis. Support Syst."},{"key":"1618_CR7","doi-asserted-by":"publisher","first-page":"699","DOI":"10.1016\/j.infsof.2012.11.004","volume":"55","author":"VA Bollati","year":"2013","unstructured":"Bollati, V.A., Vara, J.M., Jimenez, A., Marcos, E.: Applying MDE to the (semi)automatic development of model transformations. Inf. Softw. Technol. 55, 699\u2013718 (2013)","journal-title":"Inf. Softw. Technol."},{"key":"1618_CR8","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/j.infsof.2010.09.002","volume":"53","author":"V Castro De","year":"2011","unstructured":"De Castro, V., Marcos, E., Vara, J.M.: Applying CIM-to-PIM model transformations for the service-oriented development of information systems. Inf. Softw. Technol. 53, 87\u2013105 (2011)","journal-title":"Inf. Softw. Technol."},{"key":"1618_CR9","doi-asserted-by":"crossref","unstructured":"Asztalos, M., Lengyel, L.: A metamodel-based matching algorithm for model transformations. In: IEEE 6th International Conference on Computational Cybernetics, Stara Lesna, Slovakia (2008)","DOI":"10.1109\/ICCCYB.2008.4721396"},{"key":"1618_CR10","doi-asserted-by":"publisher","first-page":"1042","DOI":"10.1109\/TSE.2014.2339852","volume":"40","author":"J Sanchez Cuadrado","year":"2014","unstructured":"Sanchez Cuadrado, J., Guerra, E., de Lara, J.: A component model for model transformations. IEEE Trans. Softw. Eng. 40, 1042\u20131060 (2014)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"1618_CR11","doi-asserted-by":"publisher","first-page":"945","DOI":"10.1016\/j.infsof.2010.03.015","volume":"52","author":"A Rodr\u00edguez","year":"2010","unstructured":"Rodr\u00edguez, A., de Guzm\u00e1n, I.G.R., Fern\u00e1ndez-Medina, E., Piattini, M.: Semi-formal transformation of secure business processes into analysis class and use case models: an MDA approach. Inf. Softw. Technol. 52, 945\u2013971 (2010)","journal-title":"Inf. Softw. Technol."},{"key":"1618_CR12","volume-title":"A Case Study About the Improvement of Business Process Models Driven by Indicators, Software System Model","author":"L S\u00e1nchez-Gonz\u00e1lez","year":"2015","unstructured":"S\u00e1nchez-Gonz\u00e1lez, L., Garc\u00eda, F., Ruiz, F., Piattini, M.: A Case Study About the Improvement of Business Process Models Driven by Indicators, Software System Model. Springer, Berlin (2015)"},{"key":"1618_CR13","doi-asserted-by":"publisher","first-page":"1351","DOI":"10.1016\/j.jss.2011.03.077","volume":"84","author":"G Frankova","year":"2011","unstructured":"Frankova, G., Seguran, M., Gilcher, F., Trabelsi, S., Dorflinger, J., Aiello, M.: Deriving business processes with service level agreements from early requirements. J. Syst. Softw. 84, 1351\u20131363 (2011)","journal-title":"J. Syst. Softw."},{"key":"1618_CR14","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/S0925-5273(03)00102-6","volume":"90","author":"RS Aguilar Saven","year":"2004","unstructured":"Aguilar Saven, R.S.: Business process modelling: reviewand framework. Int. J. Prod. Econ. 90, 129\u2013149 (2004)","journal-title":"Int. J. Prod. Econ."},{"key":"1618_CR15","doi-asserted-by":"publisher","first-page":"1162","DOI":"10.1016\/j.infsof.2006.12.002","volume":"49","author":"F Aburub","year":"2007","unstructured":"Aburub, F., Odeh, M., Beeson, I.: Modelling non-functional requirements of business processes. Inf. Softw. Technol. 49, 1162\u20131171 (2007)","journal-title":"Inf. Softw. Technol."},{"key":"1618_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24175-8_7","volume-title":"A Quality-Oriented Business Process Meta-Model","author":"F Heidari","year":"2011","unstructured":"Heidari, F., Loucopoulos, P., Kedad, Z.: A Quality-Oriented Business Process Meta-Model. Springer, Berlin (2011)"},{"key":"1618_CR17","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1016\/j.infsof.2016.01.010","volume":"75","author":"A Tarhana","year":"2016","unstructured":"Tarhana, A., Turetkenb, O., Reijersc, H.A.: Business process maturity models: a systematic literature review. Inf. Softw. Technol. 75, 122\u2013134 (2016)","journal-title":"Inf. Softw. Technol."},{"key":"1618_CR18","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/s11334-011-0169-9","volume":"7","author":"TC Sousa de","year":"2001","unstructured":"de Sousa, T.C., Snook, C.F.: A proposal for extending UML-B to support a conceptual model. Innov. Syst. Softw. Eng. 7, 293\u2013301 (2001)","journal-title":"Innov. Syst. Softw. Eng."},{"key":"1618_CR19","doi-asserted-by":"crossref","unstructured":"L\u2019opez-Sanz, M., Acu\u00f1a, C.J., Cuesta, C.E., Marcos, E.: Modelling of Service-Oriented Architectures with UML. Electronic Notes in Theoretical Computer Science, vol. 194, pp. 23\u201337 (2008)","DOI":"10.1016\/j.entcs.2008.03.097"},{"key":"1618_CR20","doi-asserted-by":"crossref","unstructured":"Penil, P., Sanchez, P., de la Fuente, D., Barba, J., Lopez, J.C.: UML\/MARTE Methodology for Automatic Systemc Code Generation Of OPENMAX Multimedia Applications. In: 16th Euromicro Conference on Digital System Design (2013)","DOI":"10.1109\/DSD.2013.144"},{"key":"1618_CR21","unstructured":"Shousha, M., Briand, L.C., Fellow, Yvan, L.: A UML\/MARTE model analysis method for uncovering scenarios leading to starvation and deadlocks in concurrent systems. IEEE Trans. Softw. Eng. 38, 354\u2013374 (2012)"},{"key":"1618_CR22","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/MCSE.2012.35","volume":"15","author":"AWO Rodrigues","year":"2012","unstructured":"Rodrigues, A.W.O.: An MDE approach for automatic code generation from UML\/MARTE to OpenCL. Comput. Sci. Eng. 15, 46\u201355 (2012)","journal-title":"Comput. Sci. Eng."},{"key":"1618_CR23","doi-asserted-by":"publisher","first-page":"1391","DOI":"10.1016\/j.infsof.2011.07.002","volume":"53","author":"JA Cruz-Lemus","year":"2011","unstructured":"Cruz-Lemus, J.A., Genero, M., Caivano, D., Abrahao, S., Insfran, E., Cars\u00ed, J.A.: Assessing the influence of stereotypes on the comprehension of UML sequence diagrams: a family of experiments. Inf. Softw. Technol. 53, 1391\u20131403 (2011)","journal-title":"Inf. Softw. Technol."},{"key":"1618_CR24","unstructured":"OMG, UML 2.2 Superstructure Specification, Document Formal\/2009-02-02 (2009). \nhttp:\/\/www.omg.org\/"},{"key":"1618_CR25","unstructured":"W3C, XML Schema Part 0: Primer Second Edition (2004). \nhttp:\/\/www.w3.org\/TR\/xmlschema-0\/"},{"key":"1618_CR26","doi-asserted-by":"crossref","unstructured":"Bernauer, M., Kappel, G., Kramler, G.: Representing XML schema in UML\u2014a comparison of approaches. In: Koch, N. et al. (eds.) Proceedings of the International Conference on Web Engineering (ICWE). LNCS, vol. 3140, Springer, pp. 440\u2013444 (2004)","DOI":"10.1007\/978-3-540-27834-4_54"},{"key":"1618_CR27","unstructured":"Routledge, N., Bird, L., Goodchild, A.: UML and XML schema. In: Zhou, X. (ed.) Thirteenth Australasian Database Conference (ADC2002). ACS, Melbourne, Australia (2002)"},{"key":"1618_CR28","doi-asserted-by":"publisher","first-page":"9398","DOI":"10.1016\/j.eswa.2012.02.126","volume":"39","author":"N Bolloju","year":"2012","unstructured":"Bolloju, N., Schneider, C., Sugumaran, V.: A knowledge-based system for improving the consistency between object models and use case narratives. Expert Syst. Appl. 39, 9398\u20139410 (2012)","journal-title":"Expert Syst. Appl."},{"key":"1618_CR29","doi-asserted-by":"crossref","unstructured":"Robbins, J.E., Redmiles, D.F.: Cognitive support, UML adherence, and XMI interchange in Argo\/UML. In: Information and software Technology Conference (2000)","DOI":"10.1016\/S0950-5849(99)00083-X"},{"key":"1618_CR30","unstructured":"XOM Tutorial. \nhttp:\/\/www.xom.nu\/tutorial.xhtml"},{"key":"1618_CR31","unstructured":"David, F., Martin, P.A., Crane, M.L.: Rendering UML Activity Diagrams as Human-Readable Text. Software Diagnostics and Conformance Testing Division Information Technology Laboratory, November 2007"},{"key":"1618_CR32","unstructured":"PlantUML Tutorial. \nhttp:\/\/plantuml.com\/"}],"container-title":["Cluster Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10586-017-1618-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10586-017-1618-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10586-017-1618-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,11,21]],"date-time":"2019-11-21T17:12:18Z","timestamp":1574356338000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10586-017-1618-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,2,1]]},"references-count":32,"journal-issue":{"issue":"S5","published-print":{"date-parts":[[2019,9]]}},"alternative-id":["1618"],"URL":"https:\/\/doi.org\/10.1007\/s10586-017-1618-5","relation":{},"ISSN":["1386-7857","1573-7543"],"issn-type":[{"value":"1386-7857","type":"print"},{"value":"1573-7543","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,2,1]]},"assertion":[{"value":"2 November 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 December 2017","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 December 2017","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 February 2018","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}