Abstrakt. Legering är ett formellt språk som har tillämpats på modellering av system inom ett brett spektrum av tillämpningsområden. Det stöds av Alloy Analyzer, ett verktyg, som möjliggör helautomatisk analys. Som ett resultat, skapar legeringskod från en UML-modell ger möjlighet att utnyttja analyskapaciteten hos legering Analyzer för att upptäcka eventuella konstruktionsfel i ett tidigt skede av mjukvaruutvecklingen. Vår forskning använder sig av modellbaserade tekniker för automatiserad omvandling av UML klassdiagram med OCL begränsningar till legeringskod. Dokumentet visar på utmanande aspekter av modellomvandlingen, som har sitt ursprung i grundläggande skillnader mellan UML och legering. Vi kommer att diskutera några av skillnaderna och illustrera deras konsekvenser för modellens omvandlingsprocess. Det framlagda tillvägagångssättet förklaras genom ett exempel på ett säkert e-handelssystem.
Kopplingen mellan båda språken utforskades i UML2Alloy REF, ett verktyg som omvandlar UML klassdiagram med OCL begränsningar till legering.
UML2Alloy: A Challenging Model Transformation
{'venue': 'In: ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MoDELS', 'journal': None, 'mag_field_of_study': ['Computer Science']}