Powered by
2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS),
September 30 - October 2, 2015,
Ottawa, ON, Canada
SoSyM Abstracts
Identifying Duplicate Functionality in Textual Use Cases by Aligning Semantic Actions (SoSyM Abstract)
Alejandro Rago, Claudia Marcos, and J. Andrés Diaz-Pace
(UNICEN University, Argentina)
Developing high-quality requirements specifications often demands a thoughtful analysis and an adequate level of expertise from analysts. Although requirements modeling techniques provide mechanisms for abstraction and clarity, fostering the reuse of shared functionality (e.g., via UML relationships for use cases), they are seldom employed in practice. A particular quality problem of textual requirements, such as use cases, is that of having duplicate pieces of functionality scattered across the specifications. Duplicate functionality can sometimes improve readability for end users, but hinders development-related tasks such as effort estimation, feature prioritization and maintenance, among others. Unfortunately, inspecting textual requirements by hand in order to deal with redundant functionality can be an arduous, time-consuming and error-prone activity for analysts. In this context, we introduce a novel approach called ReqAligner that aids analysts to spot signs of duplication in use cases in an automated fashion. To do so, ReqAligner combines several text processing techniques, such as a use-case-aware classifier and a customized algorithm for sequence alignment. Essentially, the classifier converts the use cases into an abstract representation that consists of sequences of semantic actions, and then these sequences are compared pairwise in order to identify action matches, which become possible duplications. We have applied our technique to five real-world specifications, achieving promising results and identifying many sources of duplication in the use cases.
@InProceedings{MODELS15p446,
author = {Alejandro Rago and Claudia Marcos and J. Andrés Diaz-Pace},
title = {Identifying Duplicate Functionality in Textual Use Cases by Aligning Semantic Actions (SoSyM Abstract)},
booktitle = {Proc.\ MODELS},
publisher = {IEEE},
pages = {446--446},
doi = {},
year = {2015},
}
Info
Enhanced Graph Rewriting Systems for Complex Software Domains (SoSyM Abstract)
Cédric Eichler, Thierry Monteil, Patricia Stolf, Alfredo Grieco, and Khalil Drira
(CNRS, France; IRIT, France; University of Toulouse, France; Politecnico di Bari, Italy)
Methodologies for correct by construction reconfigurations can efficiently solve consistency issues in dynamic software architecture. Graph-based models are appropriate for designing such architectures and methods. At the same time, they may be unfit to characterize a system from a non functional perspective. This stems from efficiency and applicability limitations in handling time-varying characteristics and their related dependencies. In order to lift these restrictions, an extension to graph rewriting systems is proposed herein. The suitability of this approach, as well as the restraints of currently available ones, are illustrated, analysed and experimentally evaluated with reference to a concrete example. This investigation demonstrates that the conceived solution can: (i) express any kind of algebraic dependencies between evolving requirements and properties; (ii) significantly ameliorate the efficiency and scalability of system modifications with respect to classic methodologies; (iii) provide an efficient access to attribute values; (iv) be fruitfully exploited in software management systems; (v) guarantee theoretical properties of a grammar, like its termination.
@InProceedings{MODELS15p447,
author = {Cédric Eichler and Thierry Monteil and Patricia Stolf and Alfredo Grieco and Khalil Drira},
title = {Enhanced Graph Rewriting Systems for Complex Software Domains (SoSyM Abstract)},
booktitle = {Proc.\ MODELS},
publisher = {IEEE},
pages = {447--447},
doi = {},
year = {2015},
}
A Situational Method for Semi-automated Enterprise Architecture Documentation (SoSyM Abstract)
Matthias Farwick, Christian M. Schweda, Ruth Breu, and Inge Hanschke
(University of Innsbruck, Austria; Reutlingen University, Germany; Lean 42, Germany)
Large organizations critically rely on their IT infrastructure.
So called Enterprise Architecture (EA) models are often created to understand
how the IT supports the business and used to optimize the IT and align it with
the business.
However, the models grow very large and are hard to keep up-to-date. Current
approaches focus on automated data collection to tackle this problem, which is
not feasible in many situations.
In this paper we present a semi-automated EA documentation method and tool
support that tackles this problem and takes the organizational contexts into
account.
@InProceedings{MODELS15p448,
author = {Matthias Farwick and Christian M. Schweda and Ruth Breu and Inge Hanschke},
title = {A Situational Method for Semi-automated Enterprise Architecture Documentation (SoSyM Abstract)},
booktitle = {Proc.\ MODELS},
publisher = {IEEE},
pages = {448--448},
doi = {},
year = {2015},
}
Formalizing and Verifying Stochastic System Architectures Using Monterey Phoenix (SoSyM Abstract)
Yang Liu
, Mikhail Auguston, Jun Sun, Jin Song Dong, and Tieming Chen
(Nanyang Technological University, Singapore; Naval Postgraduate School, USA; Singapore University of Technology and Design, Singapore; National University of Singapore, Singapore; Zhejiang University of Technology, China)
The analysis of software architecture plays an important role in understanding the system structures and facilitate proper implementation of user requirements. Despite its importance in the software engineering practice, the lack of formal description and verification support in this domain hinders the development of quality architectural models. To tackle this problem, in this work, we develop an approach for modeling and verifying software architectures specified using Monterey Phoenix (MP) architecture description language. MP is capable of modeling system and environment behaviors based on event traces, as well as supporting different architecture composition operations and views. First, we formalize the syntax and operational semantics for MP; therefore, formal verification of MP models is feasible. Second, we extend MP to support shared variables and stochastic characteristics, which not only increases the expressiveness of MP, but also widens the properties MP can check, such as quantitative requirements. Third, a dedicated model checker for MP has been implemented, so that automatic verification of MP models is supported. Finally, several experiments are conducted to evaluate the applicability and efficiency of our approach.
@InProceedings{MODELS15p449,
author = {Yang Liu and Mikhail Auguston and Jun Sun and Jin Song Dong and Tieming Chen},
title = {Formalizing and Verifying Stochastic System Architectures Using Monterey Phoenix (SoSyM Abstract)},
booktitle = {Proc.\ MODELS},
publisher = {IEEE},
pages = {449--449},
doi = {},
year = {2015},
}
proc time: 0.32