@incollection{, 2B27C4A79B86F4C471C41AE75C26F76C , author={{Kruti P.Shah} and {Emanuel S.Grant}}, journal={{Global Journal of Computer Science and Technology}}, journal={{GJCST}}0975-41720975-435010.34257/gjcst, address={Cambridge, United States}, publisher={Global Journals Organisation}23117 } @incollection{b0, , title={{A strategy for comparing alternative software development life cycle models}} , author={{ AlanMDavis } and { HEdward } and { EdwardRBersoff } and { Comer }} , journal={{IEEE Transactions on software Engineering}} 14 10 , year={1988} } @book{b1, , title={{The Unified Modeling Language, Rational Software Corporation}} , author={{ GBooch } and { JRumbaugh } and { IJacobson }} , year={1997} , address={Addison-Wesley, Indiana, USA} } @book{b2, , title={{Electronic notes in theoretical computer science}} , author={{ TomMens } and { PieterVan Gorp }} , year={2006} 152 , note={A taxonomy of model transformation} } @book{b3, , title={{Correct model-tomodel transformation for formal verification}} , author={{ DulaniMeedeniya } and { Apeksha }} , year={2013} University of St Andrews , note={PhD diss} } @book{b4, , title={{Unified Modeling Language Specification. Version 2.5}} , year={October 2012} Object Modeling Group } @incollection{b5, , title={{How UML is used}} , author={{ BrianDobing } and { JeffreyParsons }} , journal={{Communications of the ACM}} 49 5 , year={2006} } @book{b6, , title={{The Unified Modeling Language Reference Manual}} , author={{ JRumbaugh } and { IJacobson } and { GBooch }} , year={2004} , publisher={Pearson Higher Education} , address={Hoboken, NJ, USA} } @incollection{b7, , title={{The UML as a Formal Modeling Notation}} , author={{ ALano } and { REvans } and { KFrance } and { BRumpe }} , journal={{Computer Standards and Interfaces}} 19 , year={1998} } @incollection{b8, , title={{A New Approach For Visualizing UML Class Diagrams}} , author={{ CGutwenger } and { MJünger } and { KKlein } and { JKupke } and { SLeipert } and { PMutzel }} , booktitle={{Proc ACM Symp. Software Visualization (SOFTVIS03)}} ACM Symp. Software Visualization (SOFTVIS03) , publisher={Association for Computing Machinery} , year={June 2003} } @incollection{b9, , title={{Model transformation by example}} , author={{ DánielVarró }} , booktitle={{International Conference on Model Driven Engineering Languages and Systems}} Berlin, Heidelberg , publisher={Springer} , year={2006} } @incollection{b10, , title={{Model transformation: The heart and soul of model-driven software development}} , author={{ ShaneSendall } and { WojtekKozaczynski }} , journal={{IEEE software}} 20 5 , year={2003} } @incollection{b11, , title={{The UML as a formal modeling notation}} , author={{ RobertFrance } and { AndyEvans } and { KevinLano } and { BernhardRumpe }} , journal={{Computer Standards & Interfaces}} 19 7 , year={1998} } @incollection{b12, , title={{Reasoning with UML class diagrams}} , author={{ AndySEvans }} , booktitle={{Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques}} 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques , publisher={IEEE} , year={1998} } @incollection{b13, , title={{Foundations of the unified modeling language}} , author={{ TClark } and { AEvans }} , booktitle={{Proc. 2nd Northern Formal Methods Workshop}} 2nd Northern Formal Methods WorkshopIlkley, U.K. , publisher={Springer} , year={Jul. 1997} } @incollection{b14, , title={{}} , author={{ JSpivey } and { JRMichael }} , journal={{The Z notation}} 29 , year={1992} , publisher={Prentice Hall} } @incollection{b15, , title={{Finite satisfiability of UML class diagrams by Constraint Programming}} , author={{ MarcoCadoli } and { DiegoCalvanese } and { GiuseppeDeGiacomo } and { ToniMancini }} , journal={{CSP Techniques with Immediate Application (CSPIA)}} 2 , year={2004} } @incollection{b16, , title={{A UML model consistency verification approach based on meta-modeling formalization}} , author={{ HuguesMalgouyres } and { GillesMotet }} , booktitle={{Proceedings of the 2006 ACM symposium on Applied computing}} the 2006 ACM symposium on Applied computing , year={2006} } @incollection{b17, , title={{Reasoning about UML/OCL class diagrams using constraint logic programming and formula}} , author={{ BeatrizPérez } and { IvanPorres }} , journal={{Information Systems}} 81 , year={2019} } @incollection{b18, , title={{Incremental evaluation of OCL constraints}} , author={{ JordiCabot } and { ErnestTeniente }} , booktitle={{International Conference on Advanced Information Systems Engineering}} Berlin, Heidelberg , publisher={Springer} , year={2006} } @incollection{b19, , title={{Verification of UML/OCL class diagrams using constraint programming}} , author={{ JordiCabot } and { RobertClaris } and { DanielRiera }} , booktitle={{2008 IEEE International Conference on Software Testing Verification and Validation Workshop}} , publisher={IEEE} , year={2008} } @incollection{b20, , title={{UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming}} , author={{ JordiCabot } and { RobertClarisó } and { DanielRiera }} , booktitle={{Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering}} the twenty-second IEEE/ACM international conference on Automated software engineering , year={2007} } @incollection{b21, , title={{Towards domain refinement for UML/OCL bounded verification}} , author={{ Clarisó } and { CarlosARobert } and { JordiGonzález } and { Cabot }} , booktitle={{SEFM 2015 Collocated Workshops}} Cham , publisher={Springer} , year={2015} }