Workshop CMA@RE 2013 – Author Index |
Contents -
Abstracts -
Authors
|
Ahmad, M. |
![]() M. Ahmad, João Araújo, Nicolas Belloir, Jean-Michel Bruel, Christophe Gnaho, Régine Laleau, and Farida Semmak (Université de Toulouse, France; UNL, Portugal; LIUPPA, France; Université Paris-Est Créteil, France) When developing Self Adaptive Systems (SAS), their highly adaptiveness has to be taken into account as early as the requirements elicitation. Because such systems modify their behaviour at run-time in response to changing environmental conditions, Non Functional Requirements (NFR's) play an important role. One has to identify as early as possible the requirements that are adaptable. Because of the inherent uncertainty in these systems, goal based approaches can help in the development of their requirements. In order to cope with this purpose, we have defined a combined approach based on several requirements modelling techniques. In this paper we use a common case study and well defined comparison criteria to illustrate the way those techniques can benefit from each other. This submission is a synthesis and hence make some reference of more specific requirements models submissions. ![]() |
|
Araújo, João |
![]() M. Ahmad, João Araújo, Nicolas Belloir, Jean-Michel Bruel, Christophe Gnaho, Régine Laleau, and Farida Semmak (Université de Toulouse, France; UNL, Portugal; LIUPPA, France; Université Paris-Est Créteil, France) When developing Self Adaptive Systems (SAS), their highly adaptiveness has to be taken into account as early as the requirements elicitation. Because such systems modify their behaviour at run-time in response to changing environmental conditions, Non Functional Requirements (NFR's) play an important role. One has to identify as early as possible the requirements that are adaptable. Because of the inherent uncertainty in these systems, goal based approaches can help in the development of their requirements. In order to cope with this purpose, we have defined a combined approach based on several requirements modelling techniques. In this paper we use a common case study and well defined comparison criteria to illustrate the way those techniques can benefit from each other. This submission is a synthesis and hence make some reference of more specific requirements models submissions. ![]() |
|
Bajić-Bizumić, Biljana |
![]() Alain Wegmann, Biljana Bajić-Bizumić, Arash Golnam, George Popescu, Gorica Tapandjieva, Anshuman B. Saxena, Maedeh Yassaee, and Gil Regev (École Polytechnique Fédérale de Lausanne, Switzerland; Université de Lausanne, Switzerland) This paper presents how business and IT requirements are captured with the Systemic Enterprise Architecture Methodology (SEAM). The method is applied to the Car Crash Management System (CMS) - Software Product Line (SPL) case study. The existing business situation is analyzed. We identify the problems and list relevant solutions. We select one of these solutions for which we define the business and the IT requirements. We then present the two components of SEAM used in this paper, goal-belief and behavior modeling. We end the paper by presenting the systemic foundations of SEAM. ![]() |
|
Barros, João Paulo |
![]() Isabel Sofia Brito and João Paulo Barros (Instituto Politécnico de Beja, Portugal) This paper presents the content required for the selection of the modeling approach, a description of the modeling approach sufficient to understand the submitted model, and a description of the submitted model. ![]() ![]() |
|
Belloir, Nicolas |
![]() M. Ahmad, João Araújo, Nicolas Belloir, Jean-Michel Bruel, Christophe Gnaho, Régine Laleau, and Farida Semmak (Université de Toulouse, France; UNL, Portugal; LIUPPA, France; Université Paris-Est Créteil, France) When developing Self Adaptive Systems (SAS), their highly adaptiveness has to be taken into account as early as the requirements elicitation. Because such systems modify their behaviour at run-time in response to changing environmental conditions, Non Functional Requirements (NFR's) play an important role. One has to identify as early as possible the requirements that are adaptable. Because of the inherent uncertainty in these systems, goal based approaches can help in the development of their requirements. In order to cope with this purpose, we have defined a combined approach based on several requirements modelling techniques. In this paper we use a common case study and well defined comparison criteria to illustrate the way those techniques can benefit from each other. This submission is a synthesis and hence make some reference of more specific requirements models submissions. ![]() |
|
Berenbach, Brian |
![]() Florian Schneider, Bernd Bruegge, and Brian Berenbach (Technische Universität München, Germany; Siemens, USA) This paper gives an overview of the Unified Requirements Modeling Language (URML™) and shows how it integrates concepts from the hazard analysis, product line modeling, and goal modeling domains. The meta-model is explained by example diagrams showing the concepts and notation of the language. The notation is explained and its major icons are presented. The presentation of the language is followed by a summary of the model that will be presented at the workshop. ![]() |
|
Brito, Isabel Sofia |
![]() Isabel Sofia Brito and João Paulo Barros (Instituto Politécnico de Beja, Portugal) This paper presents the content required for the selection of the modeling approach, a description of the modeling approach sufficient to understand the submitted model, and a description of the submitted model. ![]() ![]() |
|
Bruegge, Bernd |
![]() Florian Schneider, Bernd Bruegge, and Brian Berenbach (Technische Universität München, Germany; Siemens, USA) This paper gives an overview of the Unified Requirements Modeling Language (URML™) and shows how it integrates concepts from the hazard analysis, product line modeling, and goal modeling domains. The meta-model is explained by example diagrams showing the concepts and notation of the language. The notation is explained and its major icons are presented. The presentation of the language is followed by a summary of the model that will be presented at the workshop. ![]() |
|
Bruel, Jean-Michel |
![]() M. Ahmad, João Araújo, Nicolas Belloir, Jean-Michel Bruel, Christophe Gnaho, Régine Laleau, and Farida Semmak (Université de Toulouse, France; UNL, Portugal; LIUPPA, France; Université Paris-Est Créteil, France) When developing Self Adaptive Systems (SAS), their highly adaptiveness has to be taken into account as early as the requirements elicitation. Because such systems modify their behaviour at run-time in response to changing environmental conditions, Non Functional Requirements (NFR's) play an important role. One has to identify as early as possible the requirements that are adaptable. Because of the inherent uncertainty in these systems, goal based approaches can help in the development of their requirements. In order to cope with this purpose, we have defined a combined approach based on several requirements modelling techniques. In this paper we use a common case study and well defined comparison criteria to illustrate the way those techniques can benefit from each other. This submission is a synthesis and hence make some reference of more specific requirements models submissions. ![]() |
|
Cailliau, Antoine |
![]() Antoine Cailliau, Christophe Damas, Bernard Lambeau, and Axel van Lamsweerde (University of Louvain, Belgium) Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. KAOS is a goal-driven, model-based approach for elaborating a complete, adequate, consistent, and well-structured set of measurable software requirements and environment assumptions. The modeling language and method cover the intentional, structural, functional, and behavioral facets of the target system. Declarative and operational sub-models are integrated. Semi-formal and formal techniques complement each other for model construction, analysis and evolution. They support early and incremental reasoning on partial models for a variety of purposes including goal satisfaction arguments, property checks, animations, the evaluation of alternative options, the analysis of risks, threats and conflicts, and traceability management. The paper illustrates the modeling language and method on a car crash management case study. The overall produced model integrates the goal, object, agent, operation and behavior sub-models of the system. The paper outlines some of the features supported by KAOS for incremental model elaboration, including goal identification and refinement, the structuring of domain concepts, risk analysis for increased requirements completeness, goal operationalization, the derivation of agent interfaces and the derivation of state machine behavior models. ![]() |
|
Collet, Philippe |
![]() Philippe Collet and Philippe Lahire (Université Nice Sophia Antipolis, France) This paper presents a feature-oriented approach to requirement and design modeling using the FAMILIAR Domain Specific Language. This language is aimed at being used within different phases of software development, from early requirement definition to high-level design and in certain cases until runtime. Some experiments also demonstrate its usage when reverse engineering domain or technical variability information from various software artifacts. We illustrate the approach by capturing and composing variability descriptions of several concerns in the bCMS-SPL and by showing how it could be related to some implementation concerns with technical variability. FAMILIAR is available at http://familiar-project.github.io, with associated documentation and references to papers describing innovative operators, the language itself, as well as applications and results from case studies. ![]() |
|
Damas, Christophe |
![]() Antoine Cailliau, Christophe Damas, Bernard Lambeau, and Axel van Lamsweerde (University of Louvain, Belgium) Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. KAOS is a goal-driven, model-based approach for elaborating a complete, adequate, consistent, and well-structured set of measurable software requirements and environment assumptions. The modeling language and method cover the intentional, structural, functional, and behavioral facets of the target system. Declarative and operational sub-models are integrated. Semi-formal and formal techniques complement each other for model construction, analysis and evolution. They support early and incremental reasoning on partial models for a variety of purposes including goal satisfaction arguments, property checks, animations, the evaluation of alternative options, the analysis of risks, threats and conflicts, and traceability management. The paper illustrates the modeling language and method on a car crash management case study. The overall produced model integrates the goal, object, agent, operation and behavior sub-models of the system. The paper outlines some of the features supported by KAOS for incremental model elaboration, including goal identification and refinement, the structuring of domain concepts, risk analysis for increased requirements completeness, goal operationalization, the derivation of agent interfaces and the derivation of state machine behavior models. ![]() |
|
Gnaho, Christophe |
![]() M. Ahmad, João Araújo, Nicolas Belloir, Jean-Michel Bruel, Christophe Gnaho, Régine Laleau, and Farida Semmak (Université de Toulouse, France; UNL, Portugal; LIUPPA, France; Université Paris-Est Créteil, France) When developing Self Adaptive Systems (SAS), their highly adaptiveness has to be taken into account as early as the requirements elicitation. Because such systems modify their behaviour at run-time in response to changing environmental conditions, Non Functional Requirements (NFR's) play an important role. One has to identify as early as possible the requirements that are adaptable. Because of the inherent uncertainty in these systems, goal based approaches can help in the development of their requirements. In order to cope with this purpose, we have defined a combined approach based on several requirements modelling techniques. In this paper we use a common case study and well defined comparison criteria to illustrate the way those techniques can benefit from each other. This submission is a synthesis and hence make some reference of more specific requirements models submissions. ![]() |
|
Golnam, Arash |
![]() Alain Wegmann, Biljana Bajić-Bizumić, Arash Golnam, George Popescu, Gorica Tapandjieva, Anshuman B. Saxena, Maedeh Yassaee, and Gil Regev (École Polytechnique Fédérale de Lausanne, Switzerland; Université de Lausanne, Switzerland) This paper presents how business and IT requirements are captured with the Systemic Enterprise Architecture Methodology (SEAM). The method is applied to the Car Crash Management System (CMS) - Software Product Line (SPL) case study. The existing business situation is analyzed. We identify the problems and list relevant solutions. We select one of these solutions for which we define the business and the IT requirements. We then present the two components of SEAM used in this paper, goal-belief and behavior modeling. We end the paper by presenting the systemic foundations of SEAM. ![]() |
|
Lahire, Philippe |
![]() Philippe Collet and Philippe Lahire (Université Nice Sophia Antipolis, France) This paper presents a feature-oriented approach to requirement and design modeling using the FAMILIAR Domain Specific Language. This language is aimed at being used within different phases of software development, from early requirement definition to high-level design and in certain cases until runtime. Some experiments also demonstrate its usage when reverse engineering domain or technical variability information from various software artifacts. We illustrate the approach by capturing and composing variability descriptions of several concerns in the bCMS-SPL and by showing how it could be related to some implementation concerns with technical variability. FAMILIAR is available at http://familiar-project.github.io, with associated documentation and references to papers describing innovative operators, the language itself, as well as applications and results from case studies. ![]() |
|
Laleau, Régine |
![]() M. Ahmad, João Araújo, Nicolas Belloir, Jean-Michel Bruel, Christophe Gnaho, Régine Laleau, and Farida Semmak (Université de Toulouse, France; UNL, Portugal; LIUPPA, France; Université Paris-Est Créteil, France) When developing Self Adaptive Systems (SAS), their highly adaptiveness has to be taken into account as early as the requirements elicitation. Because such systems modify their behaviour at run-time in response to changing environmental conditions, Non Functional Requirements (NFR's) play an important role. One has to identify as early as possible the requirements that are adaptable. Because of the inherent uncertainty in these systems, goal based approaches can help in the development of their requirements. In order to cope with this purpose, we have defined a combined approach based on several requirements modelling techniques. In this paper we use a common case study and well defined comparison criteria to illustrate the way those techniques can benefit from each other. This submission is a synthesis and hence make some reference of more specific requirements models submissions. ![]() |
|
Lambeau, Bernard |
![]() Antoine Cailliau, Christophe Damas, Bernard Lambeau, and Axel van Lamsweerde (University of Louvain, Belgium) Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. KAOS is a goal-driven, model-based approach for elaborating a complete, adequate, consistent, and well-structured set of measurable software requirements and environment assumptions. The modeling language and method cover the intentional, structural, functional, and behavioral facets of the target system. Declarative and operational sub-models are integrated. Semi-formal and formal techniques complement each other for model construction, analysis and evolution. They support early and incremental reasoning on partial models for a variety of purposes including goal satisfaction arguments, property checks, animations, the evaluation of alternative options, the analysis of risks, threats and conflicts, and traceability management. The paper illustrates the modeling language and method on a car crash management case study. The overall produced model integrates the goal, object, agent, operation and behavior sub-models of the system. The paper outlines some of the features supported by KAOS for incremental model elaboration, including goal identification and refinement, the structuring of domain concepts, risk analysis for increased requirements completeness, goal operationalization, the derivation of agent interfaces and the derivation of state machine behavior models. ![]() |
|
Lamsweerde, Axel van |
![]() Antoine Cailliau, Christophe Damas, Bernard Lambeau, and Axel van Lamsweerde (University of Louvain, Belgium) Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. KAOS is a goal-driven, model-based approach for elaborating a complete, adequate, consistent, and well-structured set of measurable software requirements and environment assumptions. The modeling language and method cover the intentional, structural, functional, and behavioral facets of the target system. Declarative and operational sub-models are integrated. Semi-formal and formal techniques complement each other for model construction, analysis and evolution. They support early and incremental reasoning on partial models for a variety of purposes including goal satisfaction arguments, property checks, animations, the evaluation of alternative options, the analysis of risks, threats and conflicts, and traceability management. The paper illustrates the modeling language and method on a car crash management case study. The overall produced model integrates the goal, object, agent, operation and behavior sub-models of the system. The paper outlines some of the features supported by KAOS for incremental model elaboration, including goal identification and refinement, the structuring of domain concepts, risk analysis for increased requirements completeness, goal operationalization, the derivation of agent interfaces and the derivation of state machine behavior models. ![]() |
|
Popescu, George |
![]() Alain Wegmann, Biljana Bajić-Bizumić, Arash Golnam, George Popescu, Gorica Tapandjieva, Anshuman B. Saxena, Maedeh Yassaee, and Gil Regev (École Polytechnique Fédérale de Lausanne, Switzerland; Université de Lausanne, Switzerland) This paper presents how business and IT requirements are captured with the Systemic Enterprise Architecture Methodology (SEAM). The method is applied to the Car Crash Management System (CMS) - Software Product Line (SPL) case study. The existing business situation is analyzed. We identify the problems and list relevant solutions. We select one of these solutions for which we define the business and the IT requirements. We then present the two components of SEAM used in this paper, goal-belief and behavior modeling. We end the paper by presenting the systemic foundations of SEAM. ![]() |
|
Regev, Gil |
![]() Alain Wegmann, Biljana Bajić-Bizumić, Arash Golnam, George Popescu, Gorica Tapandjieva, Anshuman B. Saxena, Maedeh Yassaee, and Gil Regev (École Polytechnique Fédérale de Lausanne, Switzerland; Université de Lausanne, Switzerland) This paper presents how business and IT requirements are captured with the Systemic Enterprise Architecture Methodology (SEAM). The method is applied to the Car Crash Management System (CMS) - Software Product Line (SPL) case study. The existing business situation is analyzed. We identify the problems and list relevant solutions. We select one of these solutions for which we define the business and the IT requirements. We then present the two components of SEAM used in this paper, goal-belief and behavior modeling. We end the paper by presenting the systemic foundations of SEAM. ![]() |
|
Saxena, Anshuman B. |
![]() Alain Wegmann, Biljana Bajić-Bizumić, Arash Golnam, George Popescu, Gorica Tapandjieva, Anshuman B. Saxena, Maedeh Yassaee, and Gil Regev (École Polytechnique Fédérale de Lausanne, Switzerland; Université de Lausanne, Switzerland) This paper presents how business and IT requirements are captured with the Systemic Enterprise Architecture Methodology (SEAM). The method is applied to the Car Crash Management System (CMS) - Software Product Line (SPL) case study. The existing business situation is analyzed. We identify the problems and list relevant solutions. We select one of these solutions for which we define the business and the IT requirements. We then present the two components of SEAM used in this paper, goal-belief and behavior modeling. We end the paper by presenting the systemic foundations of SEAM. ![]() |
|
Schneider, Florian |
![]() Florian Schneider, Bernd Bruegge, and Brian Berenbach (Technische Universität München, Germany; Siemens, USA) This paper gives an overview of the Unified Requirements Modeling Language (URML™) and shows how it integrates concepts from the hazard analysis, product line modeling, and goal modeling domains. The meta-model is explained by example diagrams showing the concepts and notation of the language. The notation is explained and its major icons are presented. The presentation of the language is followed by a summary of the model that will be presented at the workshop. ![]() |
|
Semmak, Farida |
![]() M. Ahmad, João Araújo, Nicolas Belloir, Jean-Michel Bruel, Christophe Gnaho, Régine Laleau, and Farida Semmak (Université de Toulouse, France; UNL, Portugal; LIUPPA, France; Université Paris-Est Créteil, France) When developing Self Adaptive Systems (SAS), their highly adaptiveness has to be taken into account as early as the requirements elicitation. Because such systems modify their behaviour at run-time in response to changing environmental conditions, Non Functional Requirements (NFR's) play an important role. One has to identify as early as possible the requirements that are adaptable. Because of the inherent uncertainty in these systems, goal based approaches can help in the development of their requirements. In order to cope with this purpose, we have defined a combined approach based on several requirements modelling techniques. In this paper we use a common case study and well defined comparison criteria to illustrate the way those techniques can benefit from each other. This submission is a synthesis and hence make some reference of more specific requirements models submissions. ![]() |
|
Tapandjieva, Gorica |
![]() Alain Wegmann, Biljana Bajić-Bizumić, Arash Golnam, George Popescu, Gorica Tapandjieva, Anshuman B. Saxena, Maedeh Yassaee, and Gil Regev (École Polytechnique Fédérale de Lausanne, Switzerland; Université de Lausanne, Switzerland) This paper presents how business and IT requirements are captured with the Systemic Enterprise Architecture Methodology (SEAM). The method is applied to the Car Crash Management System (CMS) - Software Product Line (SPL) case study. The existing business situation is analyzed. We identify the problems and list relevant solutions. We select one of these solutions for which we define the business and the IT requirements. We then present the two components of SEAM used in this paper, goal-belief and behavior modeling. We end the paper by presenting the systemic foundations of SEAM. ![]() |
|
Wegmann, Alain |
![]() Alain Wegmann, Biljana Bajić-Bizumić, Arash Golnam, George Popescu, Gorica Tapandjieva, Anshuman B. Saxena, Maedeh Yassaee, and Gil Regev (École Polytechnique Fédérale de Lausanne, Switzerland; Université de Lausanne, Switzerland) This paper presents how business and IT requirements are captured with the Systemic Enterprise Architecture Methodology (SEAM). The method is applied to the Car Crash Management System (CMS) - Software Product Line (SPL) case study. The existing business situation is analyzed. We identify the problems and list relevant solutions. We select one of these solutions for which we define the business and the IT requirements. We then present the two components of SEAM used in this paper, goal-belief and behavior modeling. We end the paper by presenting the systemic foundations of SEAM. ![]() |
|
Wehrmeister, Marco A. |
![]() Marco A. Wehrmeister (Federal University of Technology Parana, Brazil) This paper describes the modeling phase of the Aspect-oriented Model-Driven Engineering for Real-Time systems (AMoDE-RT) design approach for embedded real-time system. A Crisis Management System (bCMS) has been modeled with the Unified Modeling Language (UML) and AMoDE-RT modeling guidelines, including the non-functional requirements specification using aspect-oriented concepts by means of using Distributed Embedded Real-time Aspects Framework (DERAF), Aspects Crosscutting Overview Diagram (ACOD), and Join Point Designation Diagram (JPDD). bCMS static structure is depicted using the class diagram, and its overall behavior is shown using the UML state machine diagram. The individual runtime scenarios are specified using sequence diagrams. This case study demonstrates how AMoDE-RT might be used outside the context of the embedded systems domain, since the bCMS covers an information system and more resourceful computing systems. ![]() |
|
Yassaee, Maedeh |
![]() Alain Wegmann, Biljana Bajić-Bizumić, Arash Golnam, George Popescu, Gorica Tapandjieva, Anshuman B. Saxena, Maedeh Yassaee, and Gil Regev (École Polytechnique Fédérale de Lausanne, Switzerland; Université de Lausanne, Switzerland) This paper presents how business and IT requirements are captured with the Systemic Enterprise Architecture Methodology (SEAM). The method is applied to the Car Crash Management System (CMS) - Software Product Line (SPL) case study. The existing business situation is analyzed. We identify the problems and list relevant solutions. We select one of these solutions for which we define the business and the IT requirements. We then present the two components of SEAM used in this paper, goal-belief and behavior modeling. We end the paper by presenting the systemic foundations of SEAM. ![]() |
27 authors
proc time: 0.03