...
机译:用于图形转换规则分析的UML / OCL框架
Universitat Oberta de Catalunya, Barcelona, Spain Estudis d'Informatica, Multimedia i Telecomunicacions,Rbla. del Poblenou 156, 08018 Barcelona, Spain;
Universitat Oberta de Catalunya, Barcelona, Spain;
Universidad Carlos III de Madrid, Madrid, Spain;
Universidad Autonoma de Madrid, Madrid, Spain;
graph transformation; OCL; meta-modelling; domain specific visual languages; verification and validation;
机译:使用图转换对UML活动图进行建模和分析的框架
机译:从UML / OCL到SBVR规范:充满挑战的转型
机译:信息系统的面向对象分析和设计:使用UML,OCL和IFML进行建模
机译:OCL2AC:将OCL约束自动转换为图形约束和转换规则的应用条件
机译:从UML + MARTE到核心方案模型的基于规则的模型转换。
机译:删除平方根弹性(SRE)框架中用于形状分析的形状保留变换
机译:用于图变换规则分析的UmL / OCL框架