DOCSLIB.ORG

Engineering Modeling Languages Turning Domain Knowledge Into Tools Chapman & Hall/CRC Innovations in Software Engineering and Software Development

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Engineering Modeling Languages Turning Domain Knowledge Into Tools Chapman & Hall/CRC Innovations in Software Engineering and Software Development Engineering Modeling Languages Turning Domain Knowledge into Tools Chapman & Hall/CRC Innovations in Software Engineering and Software Development Series Editor Richard LeBlanc Chair, Department of Computer Science and Software Engineering, Seattle University AIMS AND SCOPE This series covers all aspects of software engineering and software development. Books in the series will be innovative reference books, research monographs, and textbooks at the undergradu- ate and graduate level. Coverage will include traditional subject matter, cutting-edge research, and current industry practice, such as agile software development methods and service-oriented architectures. We also welcome proposals for books that capture the latest results on the domains and conditions in which practices are most effective. PUBLISHED TITLES Building Enterprise Systems with ODP: An Introduction to Open Distributed Processing Peter F. Linington, Zoran Milosevic, Akira Tanaka, and Antonio Vallecillo Computer Games and Software Engineering Kendra M. L. Cooper and Walt Scacchi Engineering Modeling Languages: Turning Domain Knowledge into Tools Benoit Combemale, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe, Jim Steel, and Didier Vojtisek Evidence-Based Software Engineering and Systematic Reviews Barbara Ann Kitchenham, David Budgen, and Pearl Brereton Fundamentals of Dependable Computing for Software Engineers John Knight Introduction to Combinatorial Testing D. Richard Kuhn, Raghu N. Kacker, and Yu Lei Introduction to Software Engineering, Second Edition Ronald J. Leach Software Designers in Action: A Human-Centric Look at Design Work André van der Hoek and Marian Petre Software Development: An Open Source Approach Allen Tucker, Ralph Morelli, and Chamindra de Silva Software Engineering: The Current Practice Václav Rajlich Software Essentials: Design and Construction Adair Dingle Software Metrics: A Rigorous and Practical Approach, Third Edition Norman Fenton and James Bieman Software Test Attacks to Break Mobile and Embedded Devices Jon Duncan Hagar CHAPMAN & HALL/CRC INNOVATIONS IN SOFTWARE ENGINEERING AND SOFTWARE DEVELOPMENT Engineering Modeling Languages Turning Domain Knowledge into Tools Benoit Combemale University of Rennes 1, France Robert B. France Colorado State University, USA Jean-Marc Jézéquel University of Rennes 1, France Bernhard Rumpe RWTH Aachen University and Fraunhofer FIT, Germany Jim Steel AEHRC, CSIRO, Australia Didier Vojtisek Inria, France CRC Press Taylor & Francis Group 6000 Broken Sound Parkway NW, Suite 300 Boca Raton, FL 33487-2742 © 2017 by Taylor & Francis Group, LLC CRC Press is an imprint of Taylor & Francis Group, an Informa business No claim to original U.S. Government works Printed on acid-free paper Version Date: 20160916 International Standard Book Number-13: 978-1-4665-8373-3 (Hardback) This book contains information obtained from authentic and highly regarded sources. Reasonable efforts have been made to publish reliable data and information, but the author and publisher cannot assume responsibility for the validity of all materials or the consequences of their use. The authors and publishers have attempted to trace the copyright holders of all material reproduced in this publication and apologize to copyright holders if permission to publish in this form has not been obtained. If any copyright material has not been acknowledged please write and let us know so we may rectify in any future reprint. Except as permitted under U.S. Copyright Law, no part of this book may be reprinted, reproduced, transmit- ted, or utilized in any form by any electronic, mechanical, or other means, now known or hereafter invented, including photocopying, microfilming, and recording, or in any information storage or retrieval system, without written permission from the publishers. For permission to photocopy or use material electronically from this work, please access www.copyright. com (http://www.copyright.com/) or contact the Copyright Clearance Center, Inc. (CCC), 222 Rosewood Drive, Danvers, MA 01923, 978-750-8400. CCC is a not-for-profit organization that provides licenses and registration for a variety of users. For organizations that have been granted a photocopy license by the CCC, a separate system of payment has been arranged. Trademark Notice: Product or corporate names may be trademarks or registered trademarks, and are used only for identification and explanation without intent to infringe. Library of Congress Cataloging-in-Publication Data Names: Combemale, Benoit, author. Title: Engineering modeling languages / Benoit Combemale, Robert France, Jean-Marc Jezequel, Bernhard Rumpe, James Richard Heron Steel, Didier Vojtisek. Description: Boca Raton : Taylor & Francis, CRC Press, 2017. Identifiers: LCCN 2016026666 | ISBN 9781466583733 (hardback : alk. paper) Subjects: LCSH: Engineering--Data processing. | Modeling languages (Computer science) | Computer software--Development. | Computer simulation. Classification: LCC TA343 .C67 2017 | DDC 620.001/13513--dc23 LC record available at https://lccn.loc.gov/2016026666 Visit the Taylor & Francis Web site at http://www.taylorandfrancis.com and the CRC Press Web site at http://www.crcpress.com to our co-author, our colleague and our friend, rest in peace Robert. Contents List of Figures xv List of Exercises xix List of Sidebars xxi List of Listings xxiii Preface xxv Acknowledgments xxxi Chapter 1 What’s a Model? 1 1.1 Introduction . 2 1.2 Modeling in Science . 4 1.3 Modeling in Engineering . 5 1.4 Illustrative Example: Cellular Automata . 9 1.4.1 Cellular Automaton Topology . 10 1.4.2 Cellular Automaton Evolution Rules . 10 1.4.3 Modeling Cellular Automata . 11 1.5 Semantic Foundations of MDE: the Meaning of Models . 14 1.5.1 Basics of Denotational Semantics . 14 1.5.2 Underspecification and Interpretation in the Real World . 15 1.5.3 Operations on Models . 16 1.6 Exercises . 17 Chapter 2 What’s a Modeling Language? 19 2.1 Why We Need Modeling Languages . 20 2.2 Concrete Syntax . 21 2.2.1 Textual Concrete Syntax . 22 2.2.2 Graphical Concrete Syntax: Box-and-Line Diagrams 26 2.2.3 Graphical Concrete Syntax: Tabular Notations . 28 2.2.4 Graphical Concrete Syntax: Trees . 29 2.3 Abstract Syntax . 30 vii viii Contents 2.3.1 Abstract Syntax of Textual Languages . 31 2.3.2 Abstract Syntax of Graphical Languages . 32 2.3.3 Concrete and Abstract Syntax Relationship . 33 2.4 Semantics of a Modeling Language . 35 2.4.1 Denotational Semantics . 36 2.4.2 Operational Semantics . 41 2.5 Exercises . 43 Chapter 3 Metamodeling with MOF and Ecore 45 3.1 Metamodel and Meta-Language . 46 3.2 Metamodel, Meta-Language, Language Workbench, and Meta-Metamodel . 49 3.3 Meta-Object Facility (MOF) . 51 3.4 Ecore and EMF . 54 3.5 Representations for Machine Consumption . 58 3.5.1 Textual Representations for Machine Consumption 60 3.5.2 Database Representation . 61 3.6 Illustrative Example: Metamodels for the Cellular Automaton . 62 3.7 Exercises . 64 Chapter 4 Metamodeling with OCL 67 4.1 The Object Constraint Language . 68 4.1.1 Invariant and Its Context . 69 4.1.2 Basic Operations . 69 4.1.3 Collections . 71 4.1.4 Quantification, Collection, Selection . 73 4.1.5 Navigation along Associations . 74 4.1.6 Derived Attributes . 75 4.2 Advanced Features of OCL . 76 4.2.1 Nature of OCL: First Order and Expression Language? . 76 4.2.2 Specifying Operations in OCL . 77 4.2.3 Further Concepts of OCL . 79 4.2.4 OCL Used at Different Modeling Levels . 79 4.3 Usage of OCL for MOF . 80 4.3.1 OCL for Context Conditions . 81 4.3.1.1 Illustrative Example: Geometry Con- straints . 83 Contents ix 4.3.1.2 Illustrative Example: Enhanced Versions of OCL . 85 4.3.1.3 Illustrative Example: Filter Constraints . 86 4.3.1.4 Illustrative Example: Language Con- straints from Metamodel Composition . 86 4.3.2 OCL for the Execution Domains (Semantics) . 89 4.3.2.1 Illustrative Example: Evaluating Expres- sions . 89 4.3.2.2 Illustrative Example: Describing the Ef- fect of a Regular Geometry . 91 4.3.3 Conjunct Use of MOF and OCL . 93 4.4 Exercises . 96 Chapter 5 Building Editors and Viewers 99 5.1 Introduction . 100 5.2 Generic versus Specific Concrete Syntax . 101 5.3 Visual Representations for Human Reading . 102 5.4 Tree View . 103 5.4.1 Generic Tree View . 104 5.4.2 Customization of the Tree View . 105 5.4.3 Illustrative Example: Tree Editor for CAIR . 106 5.5 Diagram View (Box and Line) . 108 5.5.1 Generic Diagram View . 109 5.5.2 Customization of the Diagram View . 109 5.5.3 Illustrative Example: Graphical Editor for Uni- verse Models . 110 5.6 Textual View . 110 5.6.1 Generic Textual View . 113 5.6.2 Customization of the Textual View . 113 5.6.3 Illustrative Example: A Textual Editor for Cellu- lar Automation Evolution Rules . 114 5.7 Tabular View . 115 5.8 Other Views . 117 Chapter 6 Model Transformation: from Contempla- tive to Productive Models 119 6.1 Motivation . 120 6.2 Overview of Model Transformations . 121 6.2.1 Model-to-Text vs. Model-to-Model . 122 6.2.2 Homogeneous vs. Heterogeneous . 122 x Contents 6.2.3 Declarative vs. Imperative . 122 6.2.4 Unidirectional vs. Bidirectional . 125 6.2.5 Traceability . 125 6.3 Kermeta: An Executable Metamodeling Approach . 126 6.3.1 Kermeta as an Ecore Extension . 126 6.3.2 Kermeta as an Xtend Extension . 127 6.3.3 Kermeta as an OCL Extension . 127 6.3.4 Kermeta as a Metamodel Integration Platform . 128 6.3.5 Examples with Kermeta . 129 6.3.6 Scaling Up Transformations in Kermeta . 133 6.4 Exercises . 133 Chapter 7 Interpreter 135 7.1 Ingredients for Interpretation . 136 7.1.1 Runtime Data . 136 7.1.2 Computational Steps . 137 7.2 Design Pattern Interpreter . 138 7.3 Combining the Interpreter and Visitor Design Patterns . 139 7.3.1 Approach Overview . 139 7.3.2 Illustrative Example: Interpreter for Cellular Automaton Using a Visitor .
Load more

Recommended publications
  • Dissertation a Meta-Modeling Approach to Specifying
    DISSERTATION A META-MODELING APPROACH TO SPECIFYING PATTERNS Submitted by Dae-Kyoo Kim Department of Computer Science In partial fulfillment of the requirements for the Degree of Doctor of Philosophy Colorado State University Fort Collins, Colorado Summer 2004 COLORADO STATE UNIVERSITY June 21, 2004 WE HEREBY RECOMMEND THAT THE DISSERTATION PREPARED UNDER OUR SUPERVISION BY DAE-KYOO KIM ENTITLED A META- MODELING APPROACH TO SPECIFYING PATTERNS BE ACCEPTED AS FULFILLING IN PART REQUIREMENTS FOR THE DEGREE OF DOCTOR OF PHILOSOPHY. Committee on Graduate Work Committee Member: Dr. James M. Bieman Committee Member: Dr. Sudipto Ghosh Committee Member: Dr. Daniel E. Turk Adviser: Dr. Robert B. France Department Head: Dr. L. Darrell Whitley ii ABSTRACT OF DISSERTATION A META-MODELING APPROACH TO SPECIFYING PATTERNS A major goal in software development is to produce quality products in less time and with less cost. Systematic reuse of software artifacts that encapsulate high-quality development experience can help one achieve the goal. Design patterns are a common form of reusable design experience that can help developers reduce development time. Prevalent design patterns are, however, described informally (e.g., [35]). This prevents systematic use of patterns. The research documented in this dissertation is aimed at developing a practical pattern specification technique that supports the systematic use of patterns during design modeling. A pattern specification language called the Role-Based Metamod- eling Language (RBML) was developed as part of this research. The RBML specifies a pattern as a specialization of the UML metamodel. The RBML uses the Unified Modeling Language (UML) as a syntactic base to enable the use of UML modeling tools for creating and evolving pattern specifications.
    [Show full text]
  • Model-Driven Development of Complex Software: a Research Roadmap Robert France, Bernhard Rumpe
    Model-driven Development of Complex Software: A Research Roadmap Robert France, Bernhard Rumpe Robert France is a Professor in the Department of Computer Science at Colorado State University. His research focuses on the problems associated with the development of complex software systems. He is involved in research on rigorous software modeling, on providing rigorous support for using design patterns, and on separating concerns using aspect-oriented modeling techniques. He was involved in the Revision Task Forces for UML 1.3 and UML 1.4. He is currently a Co-Editor-In-Chief for the Springer international journal on Software and System Modeling, a Software Area Editor for IEEE Computer and an Associate Editor for the Journal on Software Testing, Verification and Reliability. Bernhard Rumpe is chair of the Institute for Software Systems Engineering at the Braunschweig University of Technology, Germany. His main interests are software development methods and techniques that benefit form both rigorous and practical approaches. This includes the impact of new technologies such as model-engineering based on UML-like notations and domain specific languages and evolutionary, test-based methods, software architecture as well as the methodical and technical implications of their use in industry. He has furthermore contributed to the communities of formal methods and UML. He is author and editor of eight books and Co-Editor-in-Chief of the Springer International Journal on Software and Systems Modeling (www.sosym.org). Future of Software Engineering(FOSE'07)
    [Show full text]
  • On the Interplay of Architecture and Collaboration on Software Evolution and Maintenance
    On the Interplay of Architecture and Collaboration on Software Evolution and Maintenance A Thesis Submitted to the Faculty of Drexel University by Sunny Wong in partial fulfillment of the requirements for the degree of Ph.D. in Computer Science December 2010 c Copyright 2010 Sunny Wong. All Rights Reserved. Acknowledgements Numerous people have been involved in the completion of this thesis. I am grateful for their support and acknowledge that, without them, I would not be where I am today. Words cannot express my gratitude to everyone who has helped me along the way—but here goes anyways. First and foremost, I would like to express my gratitude and appreciation to my advisor, Dr. Yuanfang Cai, without whom this thesis would not be possible. Dr. Cai’s guidance and support has been the driving force behind my success. I am indebted to her patient advising in leading me through this journey known as graduate school and academic research. The unique opportunity of working with her as been a truly unforgettable experience. I would like to thank the other members of my thesis committee: Dr. Carliss Baldwin, Dr. Spiros Mancoridis, Dr. Ali Shokoufandeh, Dr. Giuseppe “Peppo” Valetto, and Dr. Tao Xie. The feedback and encouragement from my committee members have pushed me to look at my work from different perspectives and to work outside of my comfort zone. Their time and input has been greatly appreciated. I want to recognize Dr. Miryung Kim for her editorial advice and insights. She has helped me become a better writer in more clearly explaining technical details.
    [Show full text]
  • Programming Embedded Manycore: Refinement and Optimizing
    i THESE` DE DOCTORAT DE l’UNIVERSITE´ PIERRE ET MARIE CURIE Sp´ecialit´e Informatique Ecole´ Doctorale Informatique, T´el´ecommunications et Electronique´ (Paris) Pr´esent´eepar Ivan LLOPARD Pour obtenir le grade de DOCTEUR de l’UNIVERSITE´ PIERRE ET MARIE CURIE Sujet de la th`ese: Programming Embedded Manycore : Refinement and Optimizing Compilation of a Parallel Action Language for Hierarchical State Machines soutenue le 26 avril, 2016 devant le jury compos´ede : M. Reinhard von Hanxleden Rapporteur Professeur `al’Universit´ede Kiel, Allemagne M. Saddek Bensalem Rapporteur Professeur `al’Universit´eJoseph Fourier, Grenoble M. Robert de Simone Examinateur Directeur de recherche, INRIA Sophia-Antipolis, Valbonne Mme Sophie Dupuy-Chessa Examinateur Professeur `al’Universit´ePierre Mend`esFrance, Grenoble M. Lionel Lacassagne Examinateur Professeur `al’Universit´ePierre et Marie Curie, Paris M. Eric Lenormand Examinateur Thales Group R&T, Palaiseau M. Albert Cohen Directeur de th`ese Directeur de recherche, INRIA/ENS, Paris M. Christian Fabre Co-encadrant Ing´enieurChercheur, CEA LETI, Grenoble Remerciements Je remercie M. Reinhard VON HANXLEDEN, M. Saddek BENSALEM, M. Robert DE SIMONE, Mme Sophie DUPUY-CHESSA, M. Lionel LACASSAGNE et M. Eric LENORMAND, qui m’ont fait l’honneur et le plaisir de participer a` mon jury de these.` J’adresse mes plus grands remerciements a` mon directeur de these` Albert COHEN et mon co- encadrant Christian FABRE. Ils ont su me guider et m’encourager avec beaucoup de patience et de sagesse tout au long de mon parcours de these.` J’ai beaucoup grandi a` vos cotˆ es,´ humaine- ment et scientifiquement, et je vous en suis tres` reconnaissant.
    [Show full text]
  • Youth, Race, and Envisioning the Postwar World, 1940-1960
    THE UNIVERSITY OF CHICAGO FRANCE BETWEEN EUROPE AND AFRICA: YOUTH, RACE, AND ENVISIONING THE POSTWAR WORLD, 1940-1960 A DISSERTATION SUBMITTED TO THE FACULTY OF THE DIVISION OF THE SOCIAL SCIENCES IN CANDIDACY FOR THE DEGREE OF DOCTOR OF PHILOSOPHY DEPARTMENT OF HISTORY BY EMILY MARKER CHICAGO, ILLINOIS DECEMBER 2016 For My Parents TABLE OF CONTENTS List of Figures iv Abbreviations v Acknowledgements vi Introduction 1 Chapter 1 The Civilizational Moment: Postwar Empire and United Europe 37 Chapter 2 Rebuilding France, Europe and Empire: Wartime Planning for Education Reform from London to Brazzaville, 1940-1944 80 Chapter 3 The Culturalization of Christianity in Postwar Youth and Education Policy, 1944-1950 124 Chapter 4 Youth, Education, and the Making of Postwar Racial Common Sense, 1944-1950 175 Chapter 5 Encountering Difference in “Eurafrica”: Francophone African Students in France in the 1950s 217 Chapter 6 Global Horizons with Civilizational Boundaries: Cold War Youth Politics, Third Worldism, and Islam Noir, 1945-1960 276 Epilogue 310 Bibliography 323 iii LIST OF FIGURES Fig. 1 Reprinted Photograph of a March at the Congress of European Youth, 1953 2 Fig. 2 Reprinted Photograph of a Dinner at the Congress of European Youth, 1953 2 Fig. 3 Map of the European Economic Community in 1957 6 Fig. 4 Original Photograph of African Student Summer Program, 1960 11 Fig. 5 Reprinted Photograph of a Scouts de France Ceremony in Ziguinchor, 1958 108 Fig. 6 Reprinted Photograph of the Preparatory Session of the College of Europe, 1949 152 Fig. 7 Title Page of “De Jeunes Africains Parlent,” 1957 233 Fig.
    [Show full text]
  • The UML Bibliography: 1 C 2001 Mark Richters and Paul Ziemann, University of Bremen (Version 0.93 of May 10, 2005)
    References [AA00] Ambrosio Toval Alvarez and Jose Luis Fernandez Aleman. Formally modeling UML and its evolution: A holistic approach. In Scott F. Smith and Carolyn L. Talcott, editors, Formal Methods for Open Object-Based Distributed Systems IV - Proc. FMOODS’2000, September, 2000, Stan- ford, California, USA. Kluwer Academic Publishers, 2000. [AA01] Jose Luis Fernandez Aleman and Ambrosio Toval Alvarez. Seamless formalizing the UML semantics through metamodels. In Keng Siau and Terry Halpin, editors, Unified Modeling Language: Systems Analysis, Design and Development Issues, chapter 14, pages 224–248. Idea Pub- lishing Group, 2001. [AAB+03] Faisal Akkawi, Omar Aldawud, Grady Booch, Siobhan´ Clarke, Jeff Gray, Bill Harrison, Mohamed Kande,´ Dominik Stein, Peri Tarr, and Aida Zakaria, editors. The 4th AOSD Modeling With UML Workshop, 2003. [Aag98] Jan Øyvind Aagedal. Towards an ODP-compliant object definition lan- guage with QoS-support. In T. Plagemann and V. Goebel, editors, Pro- ceedings 5th International Workshop, IDMS’98, Oslo, Norway, Septem- ber, volume 1483 of LNCS, pages 183–194. Springer, 1998. [AAK+04] Habtamu Abie, Demissie B. Aredo, Thor Kristoffersen, Shahrzade Mazaher, and Thierry Raguin. Integrating a security requirement lan- guage with UML. In Thomas Baar, Alfred Strohmeier, Ana Moreira, and Stephen J. Mellor, editors, UML 2004 - The Unified Modeling Language. Model Languages and Applications. 7th International Con- ference, Lisbon, Portugal, October 11-15, 2004, Proceedings, volume 3273 of LNCS, pages 350–364. Springer, 2004. [AAM99] Marwan Abi-Antoun and Nenad Medvidovic. Enabling the refinement of a software architecture into a design. In Robert France and Bernhard Rumpe, editors, UML’99 - The Unified Modeling Language.
    [Show full text]
  • Alaris Capture Pro Software
    ~FACS FORMAL METHODS EUROPE The Newsletter of the BCS Formal Aspects of Computing Science Special Interest Group and F01'mal Methods Europe. Series I Vol. 1, No. 3 Winter 1994 Contents Editorial ........................................................... 2 FACS AGM Minutes .............................................. 3 A Brief History of Forlual Methods .......................... 4-17 Functional Progranlluing Cohuun ........................... 18-24 VDM EXa111ples Repository .................................. 25-27 Frequent asked questions about VDM ......................... 28 FOrIual Methods Applications Database .................... 29-30 Report on ZUM '94 .......................................... 31-32 Recent Books Cohuun ........................................... 33 Evellts list ........................................................ 34 Guidelines for Contributions .................................... 35 FACS COl1lluittee ................................................ 36 2 At the AGM Brian Monahan relinquished his Editorial position as the editor and I am personally Welcome to the Winter issue of FACS Europe. very grateful for his contribution particularly We had our AGM in September, the minutes his input to improving the quality of presen­ appear on the next page. One of the con­ tation through the use of Ib-TEX, moving it cerns raised was the number of lapsed mem­ from the packages of handwritten contribu­ bers of FACS. If you are one of these, treat tions stapled between two blue covers to this yourself to a Christmas
    [Show full text]
  • Model-Driven Development of Complex Software: a Research Roadmap Robert France, Bernhard Rumpe
    Model-driven Development of Complex Software: A Research Roadmap Robert France, Bernhard Rumpe Robert France is a Professor in the Department of Computer Science at Colorado State University. His research focuses on the problems associated with the development of complex software systems. He is involved in research on rigorous software modeling, on providing rigorous support for using design patterns, and on separating concerns using aspect-oriented modeling techniques. He was involved in the Revision Task Forces for UML 1.3 and UML 1.4. He is currently a Co-Editor-In-Chief for the Springer international journal on Software and System Modeling, a Software Area Editor for IEEE Computer and an Associate Editor for the Journal on Software Testing, Verification and Reliability. Bernhard Rumpe is chair of the Institute for Software Systems Engineering at the Braunschweig University of Technology, Germany. His main interests are software development methods and techniques that benefit form both rigorous and practical approaches. This includes the impact of new technologies such as model-engineering based on UML-like notations and domain specific languages and evolutionary, test-based methods, software architecture as well as the methodical and technical implications of their use in industry. He has furthermore contributed to the communities of formal methods and UML. He is author and editor of eight books and Co-Editor-in-Chief of the Springer International Journal on Software and Systems Modeling (www.sosym.org). [FR07] R. France, B. Rumpe. Model-Driven Development of Complex Software: A Research Roadmap.. In: Future of Software Engineering 2007 at ICSE. Minneapolis, pg. 37-54, IEEE, May 2007.
    [Show full text]
  • CURRICULUM VITAE for ROBERT B. FRANCE Last Updated: August 2014
    CURRICULUM VITAE for ROBERT B. FRANCE Last Updated: August 2014 ADDRESS PHONE FAX Department of Computer Science 970-491-6356 970-491-2466 Colorado State University EMAIL [email protected] EDUCATION Year 1990 Ph.D. in Computer Science; Massey University, Palmerston North, New Zealand. Year 1984 B.Sc. (First Class Honours) in Natural Sciences; Computer Science and Mathematics majors; The University of the West Indies, St. Augustine, Trinidad and Tobago, Caribbean. ACADEMIC POSITIONS Years (2004-) Full Professor (tenured), Computer Science, Colorado State University. Years (1998-2004) Associate Professor (tenured), Computer Science, Colorado State University. Years (1997-1998) Associate Professor (tenured), Department of Computer Science and Engi- neering, Florida Atlantic University (FAU), Boca Raton, Florida. Years (1992-97) Assistant Professor, Computer Science and Engineering Department, FAU, Boca Raton, Florida. Years (1990-92) Postdoctoral Research Associate, Institute for Advanced Computer Studies, University of Maryland, College Park, Maryland. OTHER POSITIONS Years (1985-86) Computer Specialist, USAID Census Project, St. Vincent office of RONCO Consulting Corp.; Headquarters: 1629 K St. NW, Washington DC. SABBATICALS August 2006-July 2007: Lancaster University, UK; IRISA, Rennes, France. 1 PUBLISHED/TO BE PUBLISHED WORK Refereed Journal Articles 1. Benoit Combemale, Julien Deantoni, Benoit Baudry, Robert France, Jean-Marc Jezequel, Jeff Gray, 2014, Globalizing Modeling Languages, in IEEE Computer, Volume 47, Issue 6, 68-71. 2. Mathieu Acher, Philippe Collet, Philippe Lahire, and Robert France, 2013, FAMILIAR: A Domain-Specific Language for Large Scale Management of Feature Models, in Science of Computer Programming, Volume 78, Issue 6, 657-681. 3. Ramadan Abdunabi, Mustafa Al-Lail, Indrakshi Ray and Robert B.
    [Show full text]
  • Resume/CV(Long)
    Curriculum Vitae - Nelly Bencomo, March, 2021 Senior Lecturer in Computer Science, Aston University, UK http://www.nellybencomo.me/ e-mail: [email protected] Personal GooGle Scholar page (h-index 32): https://scholar.google.co.uk/citations?user=86H7HmkAAAAJ URL of DBLP paGe: http://dblp.uni-trier.de/pers/hd/b/Bencomo:Nelly.html Publications: a complete list of publications is found in the last part of this CV and at http://www.nellybencomo.me/publications.html I exploit the interdisciplinary aspects of software engineering, comprising both technical and human concerns, while developing techniques for intelligent, autonomous and highly distributed systems. I am Senior Lecturer in Computer Science in Aston University (since May 2013). Previously, I was an EU Marie Curie Fellow, from May 2011- May 2013 under a Marie-Curie Fellowship (Grant) [email protected]: Requirements-aware Systems. I was a Senior Researcher at Lancaster University until May 2011 after being was awarded my PhD in Computer Science by Lancaster University in 2008. Research: I am interested in all aspects of software modelling and specially the application of model-driven techniques, during the development and operation of intelligent, autonomous and highly distributed systems. Lately, I have focused on quantification of uncertainty and the use of Bayesian learning to support decision-makinG for self-adaptation. I am particularly interested in what I call [email protected], the use of models and model-driven techniques during runtime. Research on [email protected] seeks to extend the applicability of models and abstractions to the runtime environment, with the goal of providing effective technologies for managing the complexity of evolving software behaviour while it is executing.
    [Show full text]
  • RAGHU REDDY YEDDULADODDI Department of Software Engineering Rochester Institute of Technology Room 70-1545 134 Lomb Memorial Dr
    RAGHU REDDY YEDDULADODDI Department of Software Engineering Rochester Institute of Technology Room 70-1545 134 Lomb Memorial Dr. Rochester, NY – 14623 Tel: (585) 475-7609, Fax: (585) 475-7909 Email: [email protected] URL:http://www.se.rit.edu/~raghu RESEARCH INTERESTS Model-based software development, Aspect oriented software development, Object oriented analysis and design, Pattern-based model development, Software Evolution and Re-engineering, and Requirements engineering. EDUCATION Doctor of Philosophy 2006 Computer Science, Colorado State University, Fort Collins, Colorado Dissertation Topic: An Approach to Composing Aspect-Oriented Design Models Master of Science 2001 Computer Science, Colorado State University, Fort Collins, Colorado Master’s Report: Representing Patterns as Role Models Bachelor of Engineering 1999 Computer Science and Engineering, University of Madras, Madras, India Bachelor’s Thesis: Efficient interleaving of Audio and Video files ACADEMIC POSITONS 2005 – Present: Assistant Professor, Department of Software Engineering, Rochester Institute of Technology. 2000 – 2005: Teaching Assistant/Instructor, Computer Science Department, Colorado State University. OTHER POSITONS Jun 2001 – Jul 2001: Research Assistant Colorado State University and Qwest Telecommunication, Denver. Jan 2000 – May 2000: System Administrator Fisheries and Wildlife Department, Colorado State University TEACHING EXPERIENCE Department of Software Engineering, Rochester Institute of Technology 4010-420: Method Specification and Design 4010-720: Software
    [Show full text]
  • Lecture Notes in Computer Science 9400
    Lecture Notes in Computer Science 9400 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University, Lancaster, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Friedemann Mattern ETH Zurich, Zürich, Switzerland John C. Mitchell Stanford University, Stanford, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel C. Pandu Rangan Indian Institute of Technology, Madras, India Bernhard Steffen TU Dortmund University, Dortmund, Germany Demetri Terzopoulos University of California, Los Angeles, CA, USA Doug Tygar University of California, Berkeley, CA, USA Gerhard Weikum Max Planck Institute for Informatics, Saarbrücken, Germany More information about this series at http://www.springer.com/series/7408 Betty H.C. Cheng • Benoit Combemale Robert B. France • Jean-Marc Jézéquel Bernhard Rumpe (Eds.) Globalizing Domain-Specific Languages International Dagstuhl Seminar Dagstuhl Castle, Germany, October 5–10, 2014 Revised Papers 123 Editors Betty H.C. Cheng Jean-Marc Jézéquel Michigan State University IRISA, Université de Rennes 1 East Lansing, MI Rennes USA France Benoit Combemale Bernhard Rumpe IRISA, Université de Rennes 1 RWTH Aachen University Rennes Aachen France Germany Robert B. France (†) Colorado State University Fort Collins, CO USA ISSN 0302-9743 ISSN 1611-3349 (electronic) Lecture Notes in Computer Science ISBN 978-3-319-26171-3 ISBN 978-3-319-26172-0 (eBook) DOI 10.1007/978-3-319-26172-0 Library of Congress Control Number: 2015953257 LNCS Sublibrary: SL2 – Programming and Software Engineering Springer Cham Heidelberg New York Dordrecht London © Springer International Publishing Switzerland 2015 This work is subject to copyright.
    [Show full text]