MoCAA Equipe associée
MoCAA is a collaboration between the Software Assurance Lab from Colorado State University and the Triskell team at IRISA. MoCAA is the follow-up to the MATT équipe associée which has been funded from 2006 to 2008.
One paper accepted for publication in SoSyM Jean-Marc Jézéquel, Benoît Combemale, Steven Derrien, Clément Guy, Sanjay Rajopadhye. "Bridging the Chasm Between MDE and the World of Compilation". Journal of Software and Systems Modeling (SoSyM) (2012)
Computer-based systems have been growing in complexity at an exponential rate (roughly 10 fold increase every ten years) for more than 40 years. Like in other sciences, people have been relying more and more on modeling to try to master this complexity. Modeling, in the broadest sense, is indeed the cost-effective use of a simplified representation of an aspect of the world for a specific purpose. Because in software a model has the same nature as the thing it models, this opens the possibility to automatically derive software (and other artefacts such as test cases, performance profiles, or documentation) from its model. This property is well known from any compiler writer (and others), but it was recently be made quite popular with initiatives such as Model Integrated Computing (MIC) or OMG's Unified Modeling Language (UML) and Model Driven Architecture (MDA), globally known as Model Driven Development (MDD). In this context, models are formally described and can be automatically manipulated for refinement, composition, test case generation, documentation; All those operations are model transformations. This collaboration aims at better understanding how classical software engineering practices (design patterns, validation, methods, IDEs;) can be adapted to develop model transformations. This will include three mains activities:
MoCAA and LRS collaborate on the integration of model-driven engineering and compilation. Members of both équipes associées have submitted a paper to IEEE Software about the benefits and challenges for the integration of these two research fields.
Jean-Marc Jézéquel, Benoît Combemale, Steven Derrien, Clément Guy, Sanjay Rajopadhye. "Bridging the Chasm Between MDE and the World of Compilation". Journal of Software and Systems Modeling (SoSyM) (2012)
Clavreul M., Mosser S., Blay-Fornarino M., France R. "Service-oriented Architecture Modeling: Bridging the Gap Between Structure and Behavior". In Proceedings of 14th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS'11), Wellington, New Zealand. October 2011.
Yuki T., Floch, A., Derrien S., Combemale B., Rajopadhye S., France R. and Guy C. "Model-Driven Engineering and Optimizing Compilers: A bridge too far?". In Proceedings of 14th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS'11), Wellington, New Zealand. October 2011.
Delamare, R., Baudry, B., Ghosh, Su., Gupta, S., Le Traon, Y. "An approach for testing pointcut descriptors in AspectJ". Journal on Software Testing Verification and Reliability.
B. Baudry, S. Ghosh, F. Fleurey, R. France, Y. Le Traon and J.-M. Mottu. "Barriers to Systematic Model Transformation Testing", Communications of the ACM. June 2010.
R. Delamare, B. Baudry, S. Ghosh, Y. Le Traon. "A Test-Driven Approach to Developing Pointcut Descriptors in AspectJ", In Proceedings of 2nd IEEE Conference on Software Testing, Verification and Validation (ICST'09), Denver, CO, USA. April 2009. pdf (Selected as one of the best papers)
C. Jeanneret, R. France, and B. Baudry. "A reference process for model composition". In Proceedings of AOM workshop in conjunction with AOSD'08. Brussels, Belgium, March 2008. pdf
F. Fleurey, B. Baudry, R. France, and S. Ghosh. "A Generic Approach For Automatic Model Composition". In Proceedings of Aspect Oriented Modeling (AOM) Workshop associated to MoDELS'07. Nashville, TN, USA, 2007. (pdf)
Lydia Michotte, Robert France, Franck Fleurey. "Modeling and Integrating Architural Software Fault Tolerance Features". In proceedings of the 11th IEEE International EDOC Conference (EDOC 2007), Annapolis Maryland, U.S.A.(pdf)
R. France, F. Fleurey, R. Reddy, B. Baudry, and S. Ghosh. "Providing Support for Model Composition in Metamodels". In Proceedings of EDOC'07. Annapolis, MD, USA, October 2007. (pdf)
B. Baudry, T. Dinh-Trong, J.-M. Mottu, D. Simmonds, R. France, S. Ghosh, F. Fleurey, and Y. Le Traon. "Challenges for Model Transformation Testing". In Proceedings of IMDT workshop in conjunction with ECMDA'06, Bilbao, Spain, 2006. (pdf)
R. Reddy, R. France, S. Ghosh, F. Fleurey, and B. Baudry. "Model composition - a signature-based approach". In Proceedings of Aspect Oriented Modeling (AOM) Workshop associated to MoDELS'05, Montego Bay, Jamaica, October 2005. (pdf)
B. Baudry, F. Fleurey, R. France, and R. Reddy. "Exploring the Relationship between Model Composition and Model Transformation". In Proceedings of Aspect Oriented Modeling Workshop, in conjunction with MoDELS'05. Montego Bay, Jamaica, October 2005. (pdf)
T. Dinh-Trong, S. Ghosh, R. France, B. Baudry, and F. Fleurey. "A taxonomy of faults for uml designs". In Proceedings of MoDeVa'05 (Model Design and Validation Workshop associated to MoDELS'05). Montego Bay, Jamaica, October 2005. (pdf)
Robert France will visit Triskell and Cairn in September 2010. He is a referee for Freddy Munoz's PhD
Benoit Combemale was at CSU in May and June 2010 working on verification and model composition with Robert France and Sanjay Rajopadhy
Benoit Baudry spent 2 weeks at CSU in May 2010
Mickael Cavreul was at CSU from February to May 2010, working on model composition with Robert France and on an empirical study with Jim Bieman
David Janovy and Minhazur Rahman spent the summer 2009 at IRISA to work on adaptive systems.
Robert France and Benoit Baudry gave lectures at the International School on Model-Driven Design for Distributed, Real time, Embedded Systems MDD4DRES.
Romain Delamare and Benoit Baudry visited CSU in April.
Jean-Marc Jézéquel visited CSU in July 2008.
Benoit Baudry visited CSU from December 2007 to September 2008 as part of the INRIA-sabbatique program.
Jean-Marc Jézéquel and Robert France were guest editors for a special issue on Aspects and Model-Driven Engineering in Transactions on Aspect-Oriented Software Development. Call for papers
Freddy Muñoz and Romain Delamare visited CSU in March 2008.
Franck Fleurey visited CSU in September and October 2007. He also presented results from the MATT team at EDOC'07.
Robert France and Sudipto Ghosh will give a talk at IRISA on June 8, 2007.
Professor Robert France visited IRISA from January to June 2007 as part of his sabbatical.
Jean-Marie Mottu and Franck Fleurey visited CSU in August 2006
Benoit Baudry visited CSU in April 2006
Robert France, Sudipto Ghosh, Trung Dinh-Trong and Devon Simmonds visited IRISA in June 2006