{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,6,12]],"date-time":"2023-06-12T08:12:10Z","timestamp":1686557530975},"reference-count":67,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2013,5,5]],"date-time":"2013-05-05T00:00:00Z","timestamp":1367712000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Knowl Inf Syst"],"published-print":{"date-parts":[[2014,7]]},"DOI":"10.1007\/s10115-013-0621-2","type":"journal-article","created":{"date-parts":[[2013,5,4]],"date-time":"2013-05-04T06:04:04Z","timestamp":1367647444000},"page":"79-126","source":"Crossref","is-referenced-by-count":2,"title":["Reliable yet flexible software through formal model transformation (rule definition)"],"prefix":"10.1007","volume":"40","author":[{"given":"Abbas","family":"Rasoolzadegan","sequence":"first","affiliation":[]},{"given":"Ahmad Abdollahzadeh","family":"Barforoush","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,5,5]]},"reference":[{"key":"621_CR1","doi-asserted-by":"crossref","unstructured":"Kim S, Carrington D (2000) A formal mapping between UML models and Object-Z specifications. In: Proceedings of ZB2000: formal specification and development in Z and B, York, UK, Lecture notes in computer science, vol 1878. Springer","DOI":"10.1007\/3-540-44525-0_2"},{"key":"621_CR2","unstructured":"Rasoolzadegan A, Abdollahzadeh A (2011) Specifying a parallel, distributed, real-time, and embedded system: multi-lift system case study. Technical Report, Information Technology and Computer Engineering. Faculty, Amirkabir University of Technology, Tehran, Iran"},{"key":"621_CR3","unstructured":"Rasoolzadegan A, Abdollahzadeh A (2011) A new approach to software development process with formal modeling of behavior based on visualization. In: Proceedings of 6th International Conference on Software Engineering. Advances (ICSEA), Barcelona, Spain"},{"key":"621_CR4","doi-asserted-by":"crossref","unstructured":"Charatan Q, Kans A (2004) Formal software development: from VDM to Java. Palgrave Macmillan","DOI":"10.1007\/978-0-230-00586-0"},{"key":"621_CR5","unstructured":"Bj\u00f8rner D (2006) Software engineering III: domains, requirements, and software design. Springer"},{"key":"621_CR6","unstructured":"Williams JR (2009) Automatic formalization of UML to Z. MSc. thesis, Department of Computer Science, University of York"},{"issue":"2","key":"621_CR7","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"DC Schmidt","year":"2006","unstructured":"Schmidt DC (2006) Model-driven engineering. IEEE Comput 39(2):25\u201331","journal-title":"IEEE Comput"},{"key":"621_CR8","unstructured":"Pressman R (2009) Software engineering: a practitioner\u2019s approach, 7th edn. McGraw Hill"},{"key":"621_CR9","unstructured":"Somerville I (2006) Software engineering, 8th edn. Addison Wesley"},{"key":"621_CR10","unstructured":"Gamma E, Helm R, Johnson R, Vlissides J (1995) Design pattern: elements of reusable object-oriented software, 5th edn. Addison-Wesley Publishing Company"},{"key":"621_CR11","unstructured":"Freeman E, Freeman E, Kathy Sierra B (2004) Head first design patterns, 1st edn. O\u2019Reilly Media"},{"key":"621_CR12","unstructured":"Tilley T (2004) Formal concept analysis applications to requirements engineering and design. Ph.D. dissertation, The University of Queensland, Australia"},{"key":"621_CR13","doi-asserted-by":"crossref","unstructured":"Sun J, Dong JS, Liu J, Wang H (2001) Object-Z web environment and projections to UML. In: Proceedings of 10th international WWW conference, New York, ACM, pp 725\u2013734","DOI":"10.1145\/371920.372189"},{"key":"621_CR14","unstructured":"Kim S, Carrington D (2002) A formal meta-modeling approach to a transformation between the UML state machine and Object-Z. In: Proceedings of ICFEM 2002: international conference formal engineering methods, vol 2495 of LNCS, Springer, pp 548\u2013560"},{"issue":"5","key":"621_CR15","first-page":"289","volume":"11","author":"NA Zafar","year":"2011","unstructured":"Zafar NA, Alhumaidan F (2011) Transformation of class diagrams into formal specification. IJCSNS Int J Comput Sci Netw Secur 11(5):289\u2013295","journal-title":"IJCSNS Int J Comput Sci Netw Secur"},{"key":"621_CR16","doi-asserted-by":"crossref","unstructured":"Miao H, Liu L, Li L (2002) Formalizing UML models with Object-Z. In: Proceedings of ICFEM2002: conference on formal engineering methods, Springer. pp 523\u2013534","DOI":"10.1007\/3-540-36103-0_53"},{"key":"621_CR17","unstructured":"Jackson D (2006) Software abstractions: logic, language, and analysis. MIT Press"},{"key":"621_CR18","doi-asserted-by":"crossref","unstructured":"Polack F (2001) SAZ: SSADM version 4 and Z. In: Proceedings of software specification methods: an overview using a case study, Springer. pp 21\u201338","DOI":"10.1007\/978-1-4471-0701-9_2"},{"issue":"2","key":"621_CR19","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/s10115-009-0264-5","volume":"25","author":"D Graham","year":"2010","unstructured":"Graham D, Williams J, Christen P (2010) Visualizing temporal cluster changes using relative density self-organizing maps. Knowl Inf Syst 25(2):281\u2013302. doi: 10.1007\/s10115-009-0264-5","journal-title":"Knowl Inf Syst"},{"key":"621_CR20","unstructured":"Kim SK (2004) Using integrated meta-modeling to define OO design patterns with Object-Z and UML. In: Proceedings of 11th Asia-Pacific software engineering conference, Busan, Korea. pp 257\u2013264"},{"issue":"1","key":"621_CR21","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/s10270-007-0056-x","volume":"7","author":"S Markovic","year":"2008","unstructured":"Markovic S, Baar T (2008) Refactoring OCL annotated UML class diagrams. Softw Syst Model (SoSyM) 7(1):25\u201347","journal-title":"Softw Syst Model (SoSyM)"},{"issue":"5","key":"621_CR22","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1007\/s00165-008-0090-7","volume":"21","author":"SK Kim","year":"2009","unstructured":"Kim SK, Carrington DA (2009) A formalism to describe design patterns based on role concepts. Formal Aspects Comput 21(5):397\u2013420","journal-title":"Formal Aspects Comput"},{"key":"621_CR23","doi-asserted-by":"crossref","unstructured":"Am\u00e1lio N, Polack F, Stepney S (2005) An object-oriented structuring for Z based on views. In: Proceedings ZB2005: 4th international conference of B and Z users, Guildford, UK, LNCS 3455, Springer. pp 262\u2013278","DOI":"10.1007\/11415787_16"},{"issue":"4","key":"621_CR24","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1007\/s11334-011-0160-5","volume":"7","author":"A Bollin","year":"2011","unstructured":"Bollin A (2011) Coupling-based transformations of Z specifications into UML diagrams. Innov Syst Softw Eng 7(4):283\u2013292","journal-title":"Innov Syst Softw Eng"},{"key":"621_CR25","unstructured":"Miloudi KE, Amrani YE, Ettouhami A (2011) An automated translation of UML class diagrams into a formal specification to detect UML inconsistencies. In: Proceeding of 6th international conference on software engineering. Advances (ICSEA), Barcelona, Spain"},{"key":"621_CR26","doi-asserted-by":"crossref","unstructured":"Facon P, Laleau R, Nguyen R (2001) From OMT diagrams to B specifications. In: Proceedings of software specifications methods: an overview using a case study, Springer. pp 57\u201377","DOI":"10.1007\/978-1-4471-0701-9_4"},{"key":"621_CR27","unstructured":"Laleau R, Polack F (2001) A rigorous metamodel for UML static conceptual modeling of information systems. In: Proceedings of CAiSE 2001: advanced information systems engineering, vol 2068 of LNCS. pp 402\u2013416"},{"key":"621_CR28","doi-asserted-by":"crossref","unstructured":"Laleau R, Polack F (2002) Coming and going from UML to B: a proposal to support traceability in rigorous IS development. In: Proceedings of ZB 2002: formal specification and development in Z and B, Grenoble, vol 2272 of LNCS, Springer. pp 517\u2013534","DOI":"10.1007\/3-540-45648-1_27"},{"key":"621_CR29","doi-asserted-by":"crossref","unstructured":"Treharne H (2002) \u201cSupplementing a UML development process with B. In: Proceedings of FME 2002: formal methods\u2014getting it right, vol 2391 of LNCS, Springer. pp 568\u2013586","DOI":"10.1007\/3-540-45614-7_32"},{"key":"621_CR30","unstructured":"Hammad A, Tatibou\u00ebt B, Voisinet J, Weiping W (2001) From B specification to UML Statechart diagrams. In: Proceedings of ICFEM 2002: international conference of formal engineering methods, vol 2495 of LNCS, Springer. pp 511\u2013522"},{"issue":"1","key":"621_CR31","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1145\/1125808.1125811","volume":"15","author":"C Snook","year":"2006","unstructured":"Snook C, Butler M (2006) UML-B: formal modeling and design aided by UML. ACM Trans Softw Eng Methodol 15(1):92\u2013122","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"621_CR32","doi-asserted-by":"crossref","unstructured":"Fischer C, Olderog E, Wehrheim H (2001) A CSP view on UML-RT structure diagrams. In: Proceedings of fundamental approaches to software engineering, vol 2029 of LNCS, Springer. pp 91\u2013108","DOI":"10.1007\/3-540-45314-8_8"},{"key":"621_CR33","doi-asserted-by":"crossref","unstructured":"Engels G, K\u00fcster JM, Heckel R (2001) A methodology for specifying and analyzing consistency of object-oriented behavioral models. In: Proceedings of 9th ACM SIGSOFT symposium on foundations of software engineering, pp 186\u2013195","DOI":"10.1145\/503271.503235"},{"key":"621_CR34","doi-asserted-by":"crossref","unstructured":"Davies J, Crichton C (2002) Concurrency and refinement in the UML. In: Proceedings of refine 2002: the BCS FACS refinement workshop, vol 70 (3) of electronic notes in theoretical computer science. Elsevier Science","DOI":"10.1016\/S1571-0661(05)80494-3"},{"key":"621_CR35","unstructured":"Xia J, Xia L (2010) A formal requirement specification method based on Object-Z. In: Proceedings of Asia-Pacific youth conference on communication, Kunming, China, APYCC. pp 209\u2013212"},{"issue":"1","key":"621_CR36","first-page":"63","volume":"5","author":"M Parisi","year":"2011","unstructured":"Parisi M (2011) Managing scope creep with design patterns in formal specifications. Int J Softw Eng Appl 5(1):63\u201372","journal-title":"Int J Softw Eng Appl"},{"key":"621_CR37","unstructured":"Mai D (2009) Object-Z-based test case generator. MSc. thesis, Department of Computer Science, University of La Crosse, Wisconsin"},{"key":"621_CR38","unstructured":"Kim S, Carrington D (2002) A formal model of the UML meta-model: the UML state machine and its integrity constraints. In: Proceedings of ZB 2002, Grenoble, vol 2272 of LNCS, Springer. pp 497\u2013516"},{"key":"621_CR39","doi-asserted-by":"crossref","unstructured":"Am\u00e1lio N (2006) Generative frameworks for rigorous model-driven development. PhD thesis, Department of Computer Science, University of York","DOI":"10.1016\/j.entcs.2007.09.002"},{"key":"621_CR40","doi-asserted-by":"crossref","unstructured":"Bouquet F, Dadeau F, Groslambert J (2005) Checking JML specifications with B machines. In: Proceedings of ZB 2005, vol 3455 of LNCS, Springer. pp 434\u2013453","DOI":"10.1007\/11415787_25"},{"key":"621_CR41","unstructured":"Eden A (2000) Precise specification of design patterns and tool support in their application. PhD thesis, Department of Computer Science, Tel Aviv University"},{"key":"621_CR42","unstructured":"Eden A (2001) Formal specification of object oriented design. In: Proceedings of international conference on multidisciplinary design in engineering, CSME-MDE"},{"key":"621_CR43","doi-asserted-by":"crossref","unstructured":"Raje R, Chinnasamy S (2001) elelepus\u2014a language for specification of software design patterns. In: Proceedings of SAC \u201901: the 2001 ACM symposium on applied, computing, pp 600\u2013604","DOI":"10.1145\/372202.372480"},{"key":"621_CR44","doi-asserted-by":"crossref","unstructured":"Flores A, Moore R, Reynoso L (2001) A formal model of object-oriented design and GoF design patterns. In: Proceedings of FME 2001: international symposium of formal methods Europe, vol 2021 of LNCS, Springer, pp 223\u2013241","DOI":"10.1007\/3-540-45251-6_13"},{"key":"621_CR45","unstructured":"Reynoso L, Moore R (2000) GoF behavioral patterns: a formal specification. The United Nations Univ, Technical report"},{"key":"621_CR46","doi-asserted-by":"crossref","unstructured":"Blazy S, Gervais S, Laleau R (2003) Reuse of specification patterns with the B method. In: Proceedings of ZB 2003: formal specification and development in Z and B, Turku, Finland, vol 2651 of LNCS, Springer. pp 40\u201357","DOI":"10.1007\/3-540-44880-2_4"},{"key":"621_CR47","doi-asserted-by":"crossref","unstructured":"Kim S, Carrington D (2005) A rigorous foundation for pattern-based design models. In: Proceedings of ZB 2005: international conference of B and Z users, vol 3455 of LNCS, Springer. pp 242\u2013261","DOI":"10.1007\/11415787_15"},{"key":"621_CR48","doi-asserted-by":"crossref","DOI":"10.4018\/978-1-59904-219-0","volume-title":"Design pattern formalization techniques","author":"T Taibi","year":"2007","unstructured":"Taibi T (2007) Design pattern formalization techniques. IGI Publishing, Hershey, New York, UAE"},{"key":"621_CR49","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1016\/j.jss.2008.06.030","volume":"82","author":"J Kong","year":"2009","unstructured":"Kong J, Zhang K, Dong J, Xu D (2009) Specifying behavioral semantics of UML diagrams through graph transformations. J Syst Softw 82:292\u2013306","journal-title":"J Syst Softw"},{"issue":"2","key":"621_CR50","first-page":"319","volume":"1","author":"Y Chen","year":"2004","unstructured":"Chen Y, Miao H (2004) From an abstract Object-Z specification to UML diagram. J Inf Comput Sci 1(2):319\u2013324","journal-title":"J Inf Comput Sci"},{"issue":"1","key":"621_CR51","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/s10115-009-0262-7","volume":"26","author":"BK Ehlmann","year":"2011","unstructured":"Ehlmann BK (2011) Association patterns for data modeling and definition. Knowl Inf Syst 26(1):59\u201386. doi: 10.1007\/s10115-009-0262-7","journal-title":"Knowl Inf Syst"},{"key":"621_CR52","unstructured":"Rasoolzadegan A, Abdollahzadeh A (2011) Empirical evaluation of modeling languages using multi-lift system case study. In: Proceedings of MSV\u201911: the 8th annual international conference on modeling, simulation and visualization methods, Las Vegas, Nevada, USA"},{"key":"621_CR53","doi-asserted-by":"crossref","unstructured":"Christensen HB (2010) Flexible, reliable software: using patterns and agile development, 1st edn. Chapman Hall\/CRC","DOI":"10.1201\/9781439882726"},{"key":"621_CR54","unstructured":"Martinho R (2008) A two-step approach for modeling flexibility in software processes. In: Proceedings of 23rd IEEE\/ACM international conference on automated software engineering, Italy, pp 427\u2013430"},{"key":"621_CR55","doi-asserted-by":"crossref","unstructured":"Vidal JC, Lama M, Bugar\u00edn A (2011) Toward the use of Petri nets for the formalization of OWL-S choreographies. Knowl Inf Syst. doi: 10.1007\/s10115-011-0451-z","DOI":"10.1007\/s10115-011-0451-z"},{"key":"621_CR56","doi-asserted-by":"crossref","unstructured":"Farooq SU, Quadri SMK, Ahmad N (2012) Metrics, models and measurements in software reliability. In: Proceedings of 2012 IEEE 10th international symposium on applied machine intelligence and informatics, Slovakia, pp 441\u2013449","DOI":"10.1109\/SAMI.2012.6209008"},{"issue":"3","key":"621_CR57","doi-asserted-by":"crossref","first-page":"667","DOI":"10.1007\/s10115-011-0394-4","volume":"30","author":"GD Penna","year":"2012","unstructured":"Penna GD, Magazzeni D, Orefice S (2012) A spatial relation-based framework to perform visual information extraction. Knowl Inf Syst 30(3):667\u2013692. doi: 10.1007\/s10115-011-0394-4","journal-title":"Knowl Inf Syst"},{"key":"621_CR58","doi-asserted-by":"crossref","unstructured":"Goldsby H, Cheng B, Konrad S, Kamdoum S (2006) A visualization framework for the modeling and formal analysis of high assurance systems. In: Proceedings of model driven engineering languages and systems (MoDELS), Italy, pp 707\u2013721","DOI":"10.1007\/11880240_49"},{"key":"621_CR59","doi-asserted-by":"crossref","unstructured":"Am\u00e1lio N, Glodt C, Kelsen P (2011) Building VCL models and automatically generating Z specifications from them. In: Proceedings of 17th international symposium on formal methods. Lecture Notes in Computer Science, vol 6664, Ireland. pp 149\u2013153","DOI":"10.1007\/978-3-642-21437-0_13"},{"issue":"3","key":"621_CR60","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1007\/s10115-010-0357-1","volume":"29","author":"N Medina-Medina","year":"2011","unstructured":"Medina-Medina N, Molina-Ortiz F, Garc\u00eda-Cabrera L (2011) Adaptation and user modeling in hypermedia learning environments using the SEM-HP model and the JSEM-HP tool. Knowl Inf Syst 29(3):629\u2013656. doi: 10.1007\/s10115-010-0357-1","journal-title":"Knowl Inf Syst"},{"key":"621_CR61","doi-asserted-by":"crossref","unstructured":"Baumeister J, Freiberg M (2011) Knowledge visualization for evaluation tasks. Knowl Inf Syst 29(2): 349\u2013378. doi: 10.1007\/s10115-010-0350-8","DOI":"10.1007\/s10115-010-0350-8"},{"key":"621_CR62","doi-asserted-by":"crossref","unstructured":"Derrick J, Boiten EA (2001) Refinement in Z and Object-Z, 1st edn. Springer","DOI":"10.1007\/978-1-4471-0257-1"},{"key":"621_CR63","doi-asserted-by":"crossref","unstructured":"Qin S (2007) Linking Object-Z with spec#. In: Proceedings of 12th IEEE international conference on engineering complex computer systems, pp 185\u2013196, Auckland, New Zealand","DOI":"10.1109\/ICECCS.2007.27"},{"key":"621_CR64","unstructured":"Rasoolzadegan A, Abdollahzadeh A (2012) Developing reliable yet flexible software through if-then model transformation rules. Amirkabir J Sci Technol Misc 44(2)"},{"key":"621_CR65","unstructured":"Allilaire F, B\u00e9zivin J, Jouault F, Kurtev I, (2006) ATL: eclipse support for model transformation. In: Proceedings of the eclipse technology eXchange workshop (eTX) at the ECOOP 2006 conference. Nantes, France"},{"key":"621_CR66","unstructured":"Bagge AH (2009) Constructs and concepts: language design for flexibility and reliability. PhD thesis, Research School in Information and Communication Technology, Department of Informatics, University of Bergen, Norway"},{"key":"621_CR67","doi-asserted-by":"crossref","first-page":"571","DOI":"10.1016\/j.jss.2006.07.009","volume":"80","author":"P Brereton","year":"2007","unstructured":"Brereton P, Kitchenham BA, Budgen D, Turner M, Khalil M (2007) Lessons from applying the systematic review process within the software engineering domain. J Syst Softw 80:571\u2013583","journal-title":"J Syst Softw"}],"container-title":["Knowledge and Information Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10115-013-0621-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10115-013-0621-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10115-013-0621-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,26]],"date-time":"2020-07-26T09:16:59Z","timestamp":1595755019000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10115-013-0621-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5,5]]},"references-count":67,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2014,7]]}},"alternative-id":["621"],"URL":"https:\/\/doi.org\/10.1007\/s10115-013-0621-2","relation":{},"ISSN":["0219-1377","0219-3116"],"issn-type":[{"value":"0219-1377","type":"print"},{"value":"0219-3116","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,5,5]]}}}