Two upcoming workshops: ATL workshop and OCL and Textual Modeling Workshop by Jordi Cabot 8/02/2011 | 2:57 0 Posted in event, transformations, UML and OCL AtlanMod is involved in the organization of two very interesting workshops co-located with TOOLS 2011 Federated Conferences : 3rd International Workshop on Model Transformation with ATL . A great excuse to gather all ATL researchers and users (from companies or academia) and discuss together the future evolution of the language. OCL and Textual Modeling Workshop. The place to discuss about extensions, applications and tools that focus on OCL and/or any other textual modeling language (like these ones ), more and more used everyday. Related Posts Recent developments in Cloud modeling – CloudMDE 2015 Summary of the CloudMDE workshpo where we discussed the latest research results regarding the intersection of cloud and modeling / MDE Smart bounded verification for UML / OCL models Correctness of UML diagrams annotated with OCL constraints can be checked using bounded verification. We show an automatic technique to choose the best bound About Author Jordi Cabot ICREA Research Professor at Internet Interdisciplinary Institute (UOC). Leader of the SOM Research Lab focusing on the broad area of systems and software engineering Reply Cancel reply Your email address will not be published. Required fields are marked * Name * Email * Website Comment Notify me of followup comments via e-mail. You can also subscribe without commenting. Sign me up for the newsletter!