A UML Profile for Risk-Driven Development (2009)
Geri Georg, Siv Hilde Houmb, Robert France
Abstract. A profile for Risk-Driven Development (RDD) is presented. The profile described has been used in the Aspect-Oriented Risk Driven Development (AORDD) framework to annotate structural and...
The Modeling and Simulation of an Automotive Braking System Using the TTP/C Protocol (2008)
Abstract: TTP/C, which represents one variant of the Time-Triggered Protocol (TTP), is designed to address safety-critical real-time control systems in the automotive sector. Of high interest in...
Using Role-Based Modeling Language (RBML) to Characterize Model Families (2008)
Dae-kyoo Kim, Robert France, Sudipto Ghosh, Eunjee Song
Cost-effective development of large, integrated computer-based systems can be realized through systematic reuse of development experiences throughout the development process. In this paper we...
Providing Support for Model Composition in Metamodels (2008)
In aspect-oriented modeling (AOM), a design is described using a set of design views. It is sometimes necessary to compose the views to obtain an integrated view that can be analyzed by tools....
Abstract Time Triggered Protocol (TTP/C): A Safety-Critical System Protocol (2008)
This paper examines the Time Triggered Protocol (TTP), for the support of distributed real-time systems which has recently emerged from research into the commercial world, and TTP/C, a variant of TTP...
focus model-driven development A Metamodeling Approach to Pattern-Based Model (2008)
Robert France, Sudipto Ghosh, Eunjee Song, Dae-kyoo Kim
The success of model-driven architecture methods hinges on the support they provide for three things: creating meaningful models in a timely way; specifying and applying patterns that reflect useful...
DEVELOPING DISTRIBUTED SERVICES USING AN ASPECT ORIENTED MODEL DRIVEN FRAMEWORK (2008)
Arnor Solberg, Devon Simmonds, Robert France
To manage the development of cooperative information systems that support the dynamics and mobility of modern businesses, separation of concern mechanisms and abstractions are needed. Model driven...
Nelly Bencomo, Gordon Blair, Robert France
Abstract. The first edition of the workshop
3rd International Workshop on Critical Systems Development with UML (2008)
Jan Jürjens, Eduardo B. Fern, Robert France, Bernhard Rumpe, ...
Nachdruck auch auszugsweise verboten c2004
Siv Hilde Houmb, Geri Georg, Robert France, Dorina C. Petriu, Siv Hilde Houmb, Geri Georg, ...
Proceedings of the 5th International Workshop on
Providing Support for Model Composition in Metamodels (2008)
In aspect-oriented modeling (AOM), a design is described using a set of design views. It is sometimes necessary to compose the views to obtain an integrated view that can be analyzed by tools....
Sheena R. Judson, Doris L. Carver, Robert France
Abstract. The Model Driven Architecture (MDA) initiative formulated by the Object Management Group (OMG) provides a framework for a set of standards supporting a model-centric style of development....
Â�Ò Â�ÙÖ��Ò × ��ÖÒ��Ö � ÊÙÑÔ� (2008)
Jan Jürjens, Bernhard Rumpe, Robert France, Eduardo B. Fern
Nachdruck auch auszugsweise verboten c2003
Managed Evolution of a Model Driven Development Approach to Software-based Solutions (2008)
Dan Matheson, Robert France, James Bieman, Roger Alex, James Dewitt, Nathan Mceachen
The growing complexity of software systems has led to interest in model-based development techniques that raise the level of abstraction at which systems are conceived and implemented. The Model...
When Stopping Rules Don’t Stop (2007)
Performing ranked retrieval on large document collections can be slow. The method of stopping rules has been proposed to make it more efficient. Stopping rules, which terminate search when the...
1. Overview Extending the UML to Support Evolution Management (2007)
Robert France, James M. Bieman, Ray Trask
It is well-known that uncontrolled change to systems can lead to increased evolution costs as a result of deteriorating structure and compromised system qualities. In organizations with large...
The First Two, Keywords Etc, Andy Evans, Andy Evans, Robert France, Kevin Lano, ...
The Unified Modelling Language is emerging as a de-facto standard for modelling object-oriented systems. However, the semantics document that a part of the standard definition primarily provides a...
Providing Support for Model Composition in Metamodels (2007)
France, Robert, Fleurey, Franck, Reddy, Raghu, Baudry, Benoit, Ghosh, Sudipto
In aspect-oriented modeling (AOM), a design is described using a set of design views. It is sometimes necessary to compose the views to obtain an integrated view that can be analyzed by tools....
Providing Support for Model Composition in Metamodels (2007)
France, Robert, Fleurey, Franck, Reddy, Raghu, Baudry, Benoit, Ghosh, Sudipto
In aspect-oriented modeling (AOM), a design is described using a set of design views. It is sometimes necessary to compose the views to obtain an integrated view that can be analyzed by tools....
Modeling and Integrating Aspects into Component Architectures (2007)
Michotte, Lydia, France, Robert, Fleurey, Franck
Dependable software systems are difficult to develop because developers must understand and address several interdependent and pervasive dependability concerns. Features that address pervasive...
Modeling and Integrating Aspects into Component Architectures (2007)
Michotte, Lydia, France, Robert, Fleurey, Franck
Dependable software systems are difficult to develop because developers must understand and address several interdependent and pervasive dependability concerns. Features that address pervasive...
An Integrated Security Verification and Security Solution Design Trade-off Analysis (2007)
Siv Hilde Houmb, Geri Georg, S. Howes St, Fort Collins, Robert France
This chapter describes the integrated security verification and security solution design trade-off analysis (SVDT) approach. SVDT is useful when there is a diverse set of requirements imposed upon a...
A Generic Approach For Automatic Model Composition (2007)
Franck Fleurey, Benoit Baudry, Robert France, Sudipto Ghosh
Abstract. Analyzing and modelling a software system with separate views is a good practice to deal with complexity and maintainability. When adopting such a modular approach for modelling, it is...
Traon. Model Transformation Testing Challenges (2006)
Benoit Baudry, Trung Dinh-trong, Jean-marie Mottu, Devon Simmonds, Robert France, Sudipto Ghosh, ...
Abstract. Model transformations play a critical role in Model Driven Engineering, and thus rigorous techniques for testing model transformations are needed. This paper identifies and discusses...
A Tool-Supported Approach to Testing UML Design Models (2005)
Trung Dinh-trong, Nilesh Kawane, Sudipto Ghosh, Robert France, Anneliese A. Andrews
Dynamic testing of UML design models can reveal flaws that are more costly to fix after the design is implemented. This paper presents a dynamic approach to testing designs described by UML class...
A Tool-Supported Approach to Testing UML Design Models (2005)
Trung Dinh-trong, Nilesh Kawane, Sudipto Ghosh, Robert France, Anneliese A. Andrews
For Model Driven Development approaches to succeed, there is a need for model validation techniques. This paper presents an approach to testing designs described by UML class diagrams, interaction...
Siv Hilde Houmb, Geri Georg, Robert France, Raghu Reddy, James Bieman
Several standards exist that target security assessment and certification. However, these standards support qualitative evaluation according to predefined security levels. To trade-off between...
Cost-benefit trade-off analysis using bbn for aspect-oriented risk-driven development (2005)
Siv Hilde Houmb, Geri Georg, Robert France, James Bieman
Security-critical systems must perform at the required security level, make effective use of available resources, and meet end-users expectations. Balancing these needs, and at the same time...
Cost-benefit trade-off analysis using bbn for aspect-oriented risk-driven development (2005)
Siv Hilde Houmb, Geri Georg, Robert France, James Bieman
Security critical systems must perform at the required security level, make effective use of available resources, and meet end-users expectations. Balancing these needs, and at the same time...
Model Composition - A Signature-Based Approach (2005)
The aspect oriented modeling (AOM) approach provides mechanisms for separating crosscutting functionality from core functionality in design models. Crosscutting functionality is described by aspect...
Exploring the Relationship Between Model composition and Model Transformation (2005)
Benoit Baudry, Franck Fleurey, Robert France, Raghu Reddy
In aspect-oriented modeling (AOM), a design is presented in terms of multiple user-defined views (aspects) and model composition is often carried out to obtain a model that provides an integrated...
Cost-benefit trade-off analysis using bbn for aspect-oriented risk-driven development (2005)
Siv Hilde Houmb, Geri Georg, Robert France, James Bieman
Security critical systems must perform at the required security level, make effective use of available resources, and meet end-users expectations. Balancing these needs, and at the same time...
Siv Hilde Houmb, Geri Georg, Robert France, Raghu Reddy, James Bieman
Existing security standards targets qualitative evaluation of the security level of a system against a set of predefined levels. When doing trade-off between treatment strategies, we need to...
Journal of Visual Languages (2004)
Dae-kyoo Kim, Robert France, Sudipto Ghosh
www.elsevier.com/locate/jvlc A UML-based language for specifying domain-specific patterns
Model Composition Directives (2004)
Greg Straw, Geri Georg, Eunjee Song, Sudipto Ghosh, Robert France, James M. Bieman
Abstract. An aspect-oriented design model consists of a set of aspect models and a primary model. Each of these models consists of a number of different kinds of UML diagrams. The models must be...
An aspect-based approach to modeling access control concerns (2004)
Indrakshi Ray, Robert France, Na Li, Geri Georg
Specifying, enforcing and evolving access control policies is essential to prevent security breaches and unavailability of resources. These access control design concerns impose requirements that...
Aspect-oriented approach to early design modelling (2004)
Robert France, Indrakshi Ray, Geri Georg, Sudipto Ghosh
Developers of modern software systems are often required to build software that address security, fault-tolerance, and other dependability concerns. A decision to address a dependability concern in a...
Model Composition Directives (2004)
Greg Straw, Geri Georg, Eunjee Song, Sudipto Ghosh, Robert France, James M. Bieman
Abstract. An aspect-oriented design model consists of a set of aspect models and a primary model. Each of these models consists of a number of different kinds of UML diagrams. The models must be...
Modeling role-based access control using parameterized UML models (2004)
Dae-kyoo Kim, Indrakshi Ray, Robert France, Na Li
Abstract. Organizations use Role-Based Access Control (RBAC) to protect computer-based resources from unauthorized access. There has been considerable work on formally specifying RBAC policies but...
An aspect-based approach to modeling access control concerns (2004)
Robert France, Na Li, Geri Georg, Contact Address, Indrakshi Ray, Indrakshi Ray
Organizations define and enforce access control policies to protect sensitive information resources. Access control policies impose additional requirements which ensure that only authorized users...
Using aspects to manage security risks in risk-driven development (2004)
Siv Hilde Houmb, Geri Georg, Robert France, Dan Matheson
Abstract. The EU IST-project CORAS has developed an integrated risk management and system development process for security-critical systems based on AS/NZS 4360, RUP, and RM–ODP. The approach...
Specifying crosscutting requirements concerns (2004)
Geri Georg, Raghu Reddy, Robert France
Abstract. Addressing non-orthogonal software concerns that arise from requirements can significantly contribute to the complexity of developing large systems. Difficulties arise from the need to:...
A UML-Based Metamodeling Language to Specify Design Patterns (2003)
Dae-kyoo Kim, Robert France, Sudipto Ghosh, Eunjee Song
A design pattern describes a generic solution for problems that occur repeatedly. Current descriptions of design patterns describe solutions with graphical notation and complementing text. To...
A Role-Based Metamodeling Approach to Specifying Design Patterns (2003)
Dae-kyoo Kim, Robert France, Sudipto Ghosh, Eunjee Song
Design patterns describe solutions to recurring design problems in the development of software designs. To encourage the use of design patterns, we are investigating tool support for incorporating...
Using Parameterized UML to Specify and Compose Access Control Models (2003)
Indrakshi Ray, Na Li, Dae-kyoo Kim, Robert France
Abstract: Situations can arise in which organizations have to merge policies that are based on different access control frameworks, such as Role Based Access Control (RBAC) and Mandatory Access...
Supporting multi-dimensional separation of design concerns (2003)
Robert France, Geri Georg, Indrakshi Ray
The development of dependable software requires developers to address multiple, interrelated, design concerns, for example, security, fault tolerance, and safety concerns. As the complexity of...
A UML-Based Metamodeling Language to Specify Design Patterns (2003)
Dae-kyoo Kim, Robert France, Sudipto Ghosh, Eunjee Song
A design pattern describes a generic solution for problems that occur repeatedly. Current descriptions of design patterns describe solutions with graphical notation and complementing text. To...
Test adequacy assessment for UML design model testing (2003)
Sudipto Ghosh, Robert France, Conrad Braganza, Nilesh Kawane
Systematic design testing, in which executable models of behaviors are tested using inputs that exercise scenarios, can help reveal flaws in designs before they are implemented in code. We present a...
A Role-Based Metamodeling Approach to Specifying Design Patterns (2003)
Dae-kyoo Kim, Robert France, Sudipto Ghosh, Eunjee Song
Design patterns describe solutions to recurring design problems in the development of software designs. To encourage the use of design patterns, we are investigating tool support for incorporating...
Composing Aspect Models (2003)
Geri Georg, Robert France, Indrakshi Ray
Aspect-oriented modeling (AOM) techniques allow system developers to address pervasive objectives such as security and fault-tolerance separately from core functional requirements during system...
A UML-Based Metamodeling Language to Specify Design Patterns (2003)
Dae-kyoo Kim, Robert France, Sudipto Ghosh, Eunjee Song
A design pattern describes a generic solution for problems that occur repeatedly. Current descriptions of design patterns describe solutions with graphical notation and complementing text. To...
Composing Aspect Models (2003)
Geri Georg, Robert France, Indrakshi Ray
Aspect-oriented modeling (AOM) techniques allow system developers to address concerns such as security, fault-tolerance, safety, and availability separately from core functional requirements during...
Creating Security Mechanism Aspect Models from Abstract Security Aspect Models (2003)
Geri Georg, Robert France, Indrakshi Ray
Abstract. Aspect-oriented modeling (AOM) techniques allow system architects to design the most important decompositions of complex systems to create a primary system modularization. These techniques...
Test Adequacy Criteria for UML Design Models (2003)
Anneliese Andrews, Robert France, Sudipto Ghosh, Gerald Craig
Systematic design testing, in which executable models of behaviours are tested using inputs that exercise scenarios, can help reveal flaws in designs before they are implemented in code. In this...
Middleware Transparent Software Development & the MDA (2003)
Devon Simmonds, Sudipto Ghosh, Robert France
A major source of complexity in distributed systems stem from the fact that the development and evolution of distributed systems are generally tightly coupled to continuously changing middleware...
Rigorous testing by merging structural and behavioral UML representations (2003)
Orest Pilskalns, Anneliese Andrews, Sudipto Ghosh, Robert France
Abstract. Error detection and correction in the design phase can reduce total costs and time to market. Yet, testing of design models usually consists of walk-throughs and inspections both of which...
Bridging the Gap between IEEE 1471, Architecture Description Languages and UML (2002)
Kandé, Mohamed Mancona, Crettaz, Valentin, Strohmeier, Alfred, Sendall, Shane, France, Robert, Rumpe, Bernhard
An aspect-based approach to modeling security concerns (2002)
Geri Georg, Robert France, Indrakshi Ray
Abstract. In this paper we show how design-level aspects can be used to separate security concerns from essential functional concerns during software design. The aspect-oriented design technique...
Software Component Specification Using Role-Based Modeling Language (2002)
Dae-kyoo Kim, Sudipto Ghosh, Robert France, Eunjee Song
Component-based software development processes currently lack adequate notations for the specification of components and tool support for the reusability of component specifications. Although the UML...
Tool support for aspect-oriented design (2002)
Francois Mekerke, Geri Georg, Robert France, Roger Alex
Abstract. In this paper, we describe the tool we plan to build in order to show the feasibility of aspect-oriented design, and demonstrate the advantages that it implies. This technique allows one to...
Designing High Integrity Systems using Aspects (2002)
Geri Georg, Robert France, Indrakshi Ray
Abstract: In this paper we show how design-level aspects can be used to develop high integrity systems. In our approach, a system designer must first identify the specific mechanisms required for...
Uml aspect specification using role models (2002)
Abstract. We demonstrate a flexible technique for aspect specification using the UML. The technique uses Role Models to specify design aspects. Roles allow greater flexibility in an aspect over other...
Multi-view Software Evolution: A UML-based Framework for Evolving Object-Oriented Software (2001)
Robert France, James M. Bieman
It is well-known that uncontrolled change to software can lead to increasing evolution costs caused by deteriorating structure and compromised system qualities. For complex systems, the need to...
R.B.: Using Alloy and UML/OCL to Specify RunTime Configuration Management: A Case Study (2001)
Geri Georg, James Bieman, Robert France
Abstract: There are many different ways to specify the requirements of complex software systems, and the optimal methods often vary according to the problem domain. We apply and compare two...
Limitations of Agile Software Processes (2000)
Dan Turk Robert, Robert France, Bernhard Rumpe
Software developers and project managers are struggling to assess the appropriateness of agile processes to their development environments. This paper identifies limitations that apply to many of the...
UML-based Fusion Analysis (1999)
Sendall, Shane, Strohmeier, Alfred, France, Robert, Rumpe, Bernard
In recent times, there has been an increased requirements for software to be distributed. The well-known Fusion development method, however, can only be used to develpp sequential reactive systems,...
Meta-Modelling Semantics of UML (1999)
Andy Evans, Robert France, Andy Evans, Kevin Lano, Kevin Lano, Bernhard Rumpe, ...
: --------- The Unified Modelling Language is emerging as a de-facto standard for modelling object-oriented systems. However, the semantics document that a part of the standard definition primarily...
Layer User Interaction Layer (1999)
The MARIAN system, like many information systems, can be divided in to a client part and a server part (Fig. 1). Historically, MARIAN was designed to support stand-alone single-user clients running...
The UML as a Formal Modeling Notation (1998)
Andy Evans, Robert France, Kevin Lano, Bernhard Rumpe
Abstract. The Uni ed Modeling Language (UML) is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative that the UML needs a well-de ned, fully explored...
The UML as a Formal Modeling Notation (1998)
Andy Evans, Robert France, Kevin Lano, Bernhard Rumpe
Abstract. The Uni ed Modeling Language (UML) is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative thattheUMLneedsawell-de ned, fully explored...
Incorporating a Formal Design Technique into an Industrial Environment: An Experience Report (1998)
Robert France, Environment An, Maha Boughdadi, Robert Busser
Formal Specification Techniques (FSTs) are mathematically-based techniques that can be used by system designers to specify the desired behavior of a computer-based system and its structural...
Leaching and Early Mass Loss of Boreal Leaves and Wood in Oligotrophic Water (1997)
France, Robert, Culbert, Heather, Freeboreough, Christine, Peters, Robert
The UML as a Formal Modeling Notation (1997)
Andy Evans, Robert France, Kevin Lano, Bernhard Rumpe
. The Unified Modeling Language (UML) is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative that the UML needs a well-defined, fully explored...
Robert France, Jean-michel Bruel
The development of complex systems often requires the use of a variety of software modeling and analysis techniques. For example, in a single project one may use a graphically-based object-oriented...
Seizure in emergency labor disputes in Virginia.
Labor relations in public utilities in the Commonwealth of Virginia have functioned for six years under statutes providing for government seizure and operation in event of disputes interrupting...
Seizure in emergency labor disputes in Virginia.
Labor relations in public utilities in the Commonwealth of Virginia have functioned for six years under statutes providing for government seizure and operation in event of disputes interrupting...
Wages, unemployment, and prices in the United States, 1890û1932, 1947û1957.
In this era of widespread collective bargaining, do wages behave differently than in earlier periods when labor markets may have been more competitively structured? The author of this article finds...
Wages, unemployment, and prices in the United States, 1890û1932, 1947û1957.
In this era of widespread collective bargaining, do wages behave differently than in earlier periods when labor markets may have been more competitively structured? The author of this article finds...