Selected Publications

Back to Robert France’s Home Page

Overview papers on MDE and Agile Processes

· R. France, B. Rumpe; Model-driven Development of Complex Software: A Research Roadmap
Proceedings of the ICSE 2007 Future of Software Engineering, May 2007.
pdf (pre-publication draft)

· R. France, S. Ghosh, T. Dinh-Trong, A. Solberg; Model-Driven Development using UML 2.0: Promises and Pitfalls
IEEE Computer, 39(2); February 2006; 59-66.

· Daniel Turk, Robert France, Bernhard Rumpe, Assumptions Underlying Agile Software Development Processes,
Journal of Database Management (JDM), Special Issue on Agile Information Systems Development.
pdf (pre-publication draft)

Selected papers on Compositional View-oriented Design (a.k.a AOM)

Papers in bold font provide good starting points for exploring our work on AOM.

· Murray Woodside, Dorina C. Petriu, Dorin B. Petriu, Jing Xu, Tauseef Israr, Geri Georg, Robert France, James M. Bieman, Siv Hilde Houmb, Jan Jurjens, Performance Analysis of Security Aspects by Weaving Scenarios Extracted from UML Models,
to be published in The Journal of Systems & Software.

· Sten Lundesgaard, Arnor Solberg, Jon Oldevik, Robert France, Jan Oyvind Aagedal, Frank Eliassen, Construction and Execution of Adaptable Applications Using an Aspect- Oriented and Model Driven Approach,
IFIP DAIS 2007, LNCS 4531, 76-89, 2007.
pdf (pre-publication draft)

· R. France, F. Fleurey, R. Reddy, B. Baudry, and S. Ghosh, Providing Support for Model Composition in Metamodels.
Proceedings of EDOC 2007, Annapolis, MD, USA, October 2007.
pdf (pre-publication draft)

· F. Fleurey, B. Baudry, R. France, and S. Ghosh, A Generic Approach For Automatic Model Composition,
Proceedings of Aspect Oriented Modeling (AOM) Workshop associated to MoDELS'07, Nashville, TN, USA, 2007.

· D. Simmonds, A. Solberg, R. Reddy, R. France, and S. Ghosh, 2006, Developing Service-Oriented Systems Using an Aspect-Oriented Model Driven Framework,
International Journal of Cooperative Information Systems, Special Issue on Enterprise Distributed Object Computing (EDOC).

· Sudipto Ghosh, Robert France, Devon Simmonds, Abhijit Bare, Brahmila Kamalakar, RoopashreeP. Shankar, Gagan Tandon, Peter Vile, Shuxin Yin, A Middleware Transparent Approach to Developing Distributed Applications,
Software Practice and Experience, Vol. 35, May 2005, 1131-1154.

· Y. R. Reddy, S. Ghosh, R. France, G. Straw, J. Bieman, N. McEachen, E. Song, and G. Georg, Directives for Composing Aspect-Oriented Design Class Models,
Transactions on Aspect-Oriented Software Development (TAOSD), LNCS 3880, 75-105.
pdf (pre-publication draft)

· Benoit Baudry, Franck Fleurey, Robert France, Raghu Reddy, Exploring the Relationship between Model Composition and Model Transformation,
MoDELS 2005 Aspect-Oriented Modeling Workshop, October 2005, Jamaica.

· D. Simmonds, A. Solberg, R. Reddy, R. B. France, and S. Ghosh, An Aspect Oriented Model Driven Framework,
Proceedings of the 9th International Enterprise Distributed Object Computing Conference (EDOC 2005), Enschede, The Netherlands, September 19-23, 2005.
pdf (pre-publication draft)

· Robert France, Indrakshi Ray, Geri Georg, Sudipto Ghosh, An Aspect-Oriented Approach to Design Modeling,
IEE Proceedings - Software, Special Issue on Early Aspects: Aspect-Oriented Requirements Engineering and Architecture Design, Vol. 151, No. 4, August 2004, 173-185.
pdf (pre-publication draft)

Selected papers on analyzing/testing models

· Lijun Yu, Robert France, Indrakshi Ray, Scenario-based Static Analysis of UML Behavioral Properties,
Proceedings of MODELS, 2008.

· S. Hilde Houmb, G. Georg, J. Jurjens, and R. France, An Integrated Security Verification and Security Design Trade-off Analysis Approach,
Chapter in Integrating Security and Software Engineering, editors Dr. Mouratidis and Dr. Giorgini, Idea Group Inc.

· Orest Pilskalns, Anneliese Andrews, Andrew Knight, Sudipto Ghosh, Robert France, Testing UML Designs,
Information & Software Technology (IST), Elsevier.

· T. Dinh-Trong, S. Ghosh, and R. B. France, A Systematic Approach to Generate Inputs to Test UML Design Models,
Proceedings of the 17th IEEE International Symposium on Software Reliability Engineering (ISSRE), Raleigh, North Carolina, 6-10 November 2006.

· B. Baudry, T. Dinh-Trong, J-M. Mottu, D. Simmonds, R. France, S. Ghosh, F. Fleurey, and Y. Le Traon, Model Transformation Testing Challenges,
ECMDAWorkshop on Integration of Model-Driven Development and Model Driven Testing, 10-13 July, 2006, Spain.
pdf (pre-publication version)

· Anneliese Andrews, Robert France, Sudipto Ghosh, Gerald Craig, Test Adequacy Criteria for UML Design Models,
Journal of Software Testing, Verification and Reliability, Vol. 13, No. 2, April-June 2003, 95-127.

· Meta-Modelling Semantics of UML
Andy Evans, Robert France, Kevin Lano, Bernhard Rumpe
In book: Advances in Formalizing the Semantics of UML, Kluwer, 1999.
pdf (pre-publication version)

· Incorporating a Formal Design Technique in an Industrial Setting
Robert B. France, Robert Busser, Maha Boughdadi
in Proceedings of The Ninth International Symposium on Software Reliability Engineering (ISSRE98), IEEE Press.
(Extended version) Postscript file

· Transforming UML models to formal specifications
Jean-Michel Bruel, Robert B. France
In Proceedings of the OOPSLA'98 Workshop on Formalizing UML: Why? How?
Postscript file

· The UML as a Formal Modeling Notation
Robert France, Andy Evans, Kevin Lano, Bernhard Rumpe (the pUML group)
In Proceedings of The Unified Modeling Language - Workshop UML'98: Beyond the Notation
Jean Bezivin, Pierre-Alain Muller (eds.)
Springer Verlag Berlin, LNCS 1618, 1999.
pdf (pre-publication version)

· Rigorous Object-Oriented Modeling: Integrating Formal and Informal Notations
Robert B. France, Jean-Michel Bruel, Maria M. Larrondo-Petrie, Emmanuel Grant
in the Proceedings of the 6th International AMAST Conference, December 1997
Postscript file

2008

· Lijun Yu, Robert France, Indrakshi Ray, Scenario-based Static Analysis of UML Behavioral Properties,
Proceedings of MODELS, 2008.

2007

· Orest Pilskalns, Anneliese Andrews, Andrew Knight, Sudipto Ghosh, Robert France, Testing UML Designs,
Information & Software Technology (IST), Elsevier.

· B. Henderson-Sellers, R. France, G. Georg, R. Reddy, A method engineering approach to developing aspect-oriented modelling processes based on the OPEN process framework,
Information & Software Technology (IST), Elsevier.

· Robert B. France, Bernhard Rumpe, Model-driven Development of Complex Software: A Research Roadmap,
The International Conference on Software Engineering (ICSE): Future of Software Engineering Track, Minneapolis, May 2007.

· Lijun Yu, Robert France, Indrakshi Ray, Kevin Lano, A Light-weight Static Approach to Analyzing Behavioral Properties,
Proceedings of the International Conference on Engineering Complex Computer Systems (ICECCS), 2007, Auckland, New Zealand, July 2007.

· Lydia Michotte, Robert France, Franck Fleurey, Modeling and Integrating Architectural Software Fault Tolerance Features.
Proceedings of the 11th IEEE International EDOC Conference (EDOC 2007), Annapolis Maryland, U.S.A.

· R. France, F. Fleurey, R. Reddy, B. Baudry, and S. Ghosh, Providing Support for Model Composition in Metamodels.
Proceedings of EDOC 2007, Annapolis, MD, USA, October 2007.

2006

· R. France, S. Ghosh, T. Dinh-Trong, and A. Solberg, 2006, Model-Driven Development Using UML 2.0: Promises and Pitfalls,
IEEE Computer, Vol. 39, No. 2, February 2006, 59-66.

· D. Simmonds, R. France, and S. Ghosh, Using Directives to Implement Model Transformations,
Chapter in From MDD Concepts to Experiments and Illustrations, editors: Jean-Philippe Babau, Joel Champeau, and Sebastien Gerard, ISTE Ltd., pp 25-41.

2005

· A. Andrews, E. Mancebo, P. Runeson, R. France, A Framework for Design Tradeoffs,
Software Quality Control, Vol. 13, No. 4, 2005, 377-405.

· Robert France, Modeling Dependability Features,
Chapter in Model Driven Engineering for Distributed Real-time Embedded Systems, editors: Sebastien Gerard, Jean-Philippe Babau, and Joel Champeau, Hermes.

· Solberg, D. Simmonds, R. Reddy, S. Ghosh, and R. France, Using Aspect Oriented Techniques to Support Separation of Concerns in Model Driven Development,
Proceedings of the 29th Annual International Computer Software and Applications Conference (COMPSAC 2005), Edinburgh, Scotland, July 25-28, 2005.

· Siv Hilde Houmb, Geri Georg, Robert France, James M. Bieman, Jan Jurjens, Cost- Benefit Trade-Off Analysis using BBN for Aspect-Oriented Risk-Driven Development,
Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), Shanghai, China, June 16-20, 2005.

· T. Dinh-Trong, N. Kawane, S. Ghosh, R. France, A. A. Andrews, A Tool-Supported Approach to Testing UML Design Models,
Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), Shanghai, China, June 16-20, 2005.

· Eunjee Song, Raghu Reddy, Robert France, Indrakshi Ray, Geri Georg, Roger Alexander, Verifiable Composition of Access Control Features and Applications,
Proceedings of the 10th ACM Symposium on Access Control Models and Technologies (SACMAT 2005), Scandic Hasselbacken, Stockholm, June 1-3, 2005.

· Siv Hilde Homb, Geri Georg, Robert France, Raghu Reddy, and James Bieman, Predicting availability of systems using BBN in Aspect-Oriented Risk-Driven Development,
Proceedings of the Symposium on Risk Management and Cyber-Informatics (RMCI 2005), Orlando, Florida, July, 2005.

· T. Dinh-Trong, S. Ghosh, R. B. France, M. Hamilton, and B. Wilkins, UMLAnT: An Eclipse Plugin for Animating and Testing UML Designs,
Eclipse Technology Exchange Workshop, in conjunction with OOPSLA, San Diego, USA.

· Trung Dinh-Trong, Sudipto Ghosh, Robert France, Benoit Baudry, Franck Fleurey, A Taxonomy of Faults for UML Models,
Second Workshop on Model Design and Validation held in conjunction with MoDELS 2005.

· Trung Dinh-Trong, Sudipto Ghosh, Robert France, and Anneliese Andrews, Generating Test Data to test UML Design Models,
MoDELS 2005 Second Workshop on Model Design and Validation, October 2005, Jamaica.

· Raghu Reddy, Robert France, Sudipto Ghosh, Franck Fleurey, Benoit Baudry, Model Composition: A Signature-Based Approach,
MoDELS 2005 Aspect-Oriented Modeling Work- shop, October 2005, Jamaica.

· Arnor Solberg, Robert France, Navigating the MetaMuddle,
MoDELS Fourth Workshop in Software Model Engineering, October 2005, Jamaica.

· Raghu Reddy, Robert France and Geri Georg, Aspect Oriented Modeling approach to Analyzing Dependability Features,
Aspect Oriented Modeling workshop held in conjunction with Aspect Oriented Software Development (AOSD 2005) conference, March 14-18, 2005, Chicago.

2004

· Robert France, Dae-Kyoo Kim, Sudipto Ghosh, Eunjee Song, A UML-Based Pattern Specification Technique,
IEEE Transactions on Software Engineering (TSE), Vol. 30, No. 3, March 2004, 193-206.

· Dae-Kyoo Kim, Robert France, Sudipto Ghosh, A UML-Based Language for Specifying Domain-Specific Patterns,
Journal of Visual Languages and Computing, Vol. 15, Elsevier, 2 265-289 (Second most downloaded paper for the journal in 2004).

· Indrakshi Ray, Robert France, Na Li, Geri Georg, An Aspect-Based Approach to Modeling Access Control Concerns,
Information & Software Technology (IST), Vol. 46, Elsevier, 575-587.

· Geri Georg, Raghu Reddy, Robert France, Specifying Cross-Cutting Requirements Concerns,
Proceedings of the International Conference on the UML, October 2004. (Acceptance rate 22%)

· Greg Straw, Geri Georg, Eunjee Song, Sudipto Ghosh, Robert France, Jim Bieman, Model Composition Directives,
Proceedings of the International Conference on the UML, October 2004. (Acceptance rate 22%)

· Indrakshi Ray, Na Li, Robert France, Dae-Kyoo Kim, Using UML to Visualize Role- Based Access Control Constraints,
Proceedings of the Symposium on Access Control Models and Technologies (SACMAT 2004), 115-124.

· Dae-Kyoo Kim, Indrakshi Ray, Robert France and Na Li, Modeling Role-Based Access Control Using Parameterized UML Models,
Proceedings of the 7th Conference on Fundamental Approaches to Software Engineering (FASE 2004), 180-193. (Acceptance rate 23%)

· Sheena Judson, Robert France, Doris Carver, Supporting Rigorous Evolution of UML Models,
Proceedings of the International Conference on Engineering Complex Computer Systems 2004 (ICECCS 2004), 128-137.

· Anneliese Andrews, Per Runeson, and Robert France, Requirements Trade-offs During UML Design,
Proceedings of the 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2004), 282-292.

2000-2003

· Robert France, Sudipto Ghosh, Eunjee Song, Dae-Kyoo Kim, A Metamodeling Approach to Pattern-based Model Refactoring,
IEEE Software, Vol. 20, No. 5, September/October 2003, 52-58.

· Robert France, Sudipto Ghosh, and Dan Turk, Supporting Effective Software Modeling,
L'Objet: Software, Databases, Networks, Vol. 9, No. 4/2003, 11-29.

· Anneliese vonMayrhauser, Robert France, Michael Scheetz, Eric Dahlman, Generating Test Cases from an Object-Oriented Model with an Artificial Intelligence Planning System,
IEEE Transactions on Reliability, Vol. 49, No. 1, 26-36.