Search For:

Displaying 1-16 out of 16 total
Automating Inference of OCL Business Rules from User Scenarios
Found in: 2013 20th Asia-Pacific Software Engineering Conference (APSEC)
By Duc-Hanh Dang,Jordi Cabot
Issue Date:December 2013
pp. 156-163
User Scenarios have been advocated as an effective means to capture requirements by describing the system-to-be at the instance or example level. This instance-level information is then used to infer a possible software specification consistent with the pr...
Non-functional Requirements in Architectural Decision Making
Found in: IEEE Software
By David Ameller,Claudia Ayala,Jordi Cabot,Xavier Franch
Issue Date:March 2013
pp. 61-67
Software architects often must work with incomplete or ill-specified non-functional requirements (NFRs) and use them to make decisions. Through this process, existing NFRs are refined or modified and new ones emerge. Although much research has centered on ...
How do software architects consider non-functional requirements: An exploratory study
Found in: 2012 IEEE 20th International Requirements Engineering Conference (RE)
By David Ameller,Claudia Ayala,Jordi Cabot,Xavier Franch
Issue Date:September 2012
pp. 41-50
Dealing with non-functional requirements (NFRs) has posed a challenge onto software engineers for many years. Over the years, many methods and techniques have been proposed to improve their elicitation, documentation, and validation. Knowing more about the...
Architecture Quality Revisited
Found in: IEEE Software
By Frank Buschmann,David Ameller,Claudia P. Ayala,Jordi Cabot,Xavier Franch
Issue Date:July 2012
pp. 22-24
There is a common belief in the software community that nonfunctional quality is fundamentally important for architecture sustainability and project success. A recent study, however, suggests that nonfunctional quality is of little relevance for users and ...
Lightweight Executability Analysis of Graph Transformation Rules
Found in: Visual Languages and Human-Centric Computing, IEEE Symposium on
By Elena Planas, Jordi Cabot, Cristina Gómez, Esther Guerra, Juan de Lara
Issue Date:September 2010
pp. 127-130
Domain Specific Visual Languages (DSVLs) play a cornerstone role in Model-Driven Engineering (MDE), where (domain specific) models are used to automate the production of the final application. Graph Transformation is a formal, visual, rule-based technique,...
Dealing with Non-Functional Requirements in Model-Driven Development
Found in: Requirements Engineering, IEEE International Conference on
By David Ameller, Xavier Franch, Jordi Cabot
Issue Date:October 2010
pp. 189-198
The impact of non-functional requirements (NFRs) over software systems has been widely documented. Consequently, cost-effective software production method shall provide means to integrate this type of requirements into the development process. In this visi...
Relationship-based change propagation: A case study
Found in: Modeling in Software Engineering, International Workshop on
By Marsha Chechik, Winnie Lai, Shiva Nejati, Jordi Cabot, Zinovy Diskin, Steve Easterbrook, Mehrdad Sabetzadeh, Rick Salay
Issue Date:May 2009
pp. 7-12
Software development is an evolutionary process. Requirements of a system are often incomplete or inconsistent, and hence need to be extended or modified over time. Customers may demand new services or goals that often lead to changes in the design and imp...
A Catalogue of Refactorings for Navigation Models
Found in: Web Engineering, International Conference on
By Jordi Cabot, Cristina Gómez
Issue Date:July 2008
pp. 75-85
The evolution of web applications (from read-only applications for browsing the data to full-fledged content-modification applications) has increased the complexity of navigation models describing the set of web pages included in a web application. In this...
From programming to modeling
Found in: Software Engineering, International Conference on
By Jordi Cabot, Francisco Durán, Nathalie Moreno, Antonio Vallecillo, José Romero
Issue Date:May 2008
pp. 749-758
Distributed Software Engineering (DSE) concepts in Computer Science (or Engineering) Degrees are commonly introduced using a hands-on approach mainly consisting of teaching a particular distributed and component-based technology platform (such as Java Ente...
Verification of UML/OCL Class Diagrams using Constraint Programming
Found in: Software Testing Verification and Validation Workshop, IEEE International Conference on
By Jordi Cabot, Robert Claris´o, Daniel Riera
Issue Date:April 2008
pp. 73-80
In the MDD and MDA approaches, models become the primary artifacts of the development process. Therefore, assessment of the correctness of such models is a key issue to ensure the quality of the final application. In that sense, this paper presents an auto...
Extracting business rules from COBOL: A model-based framework
Found in: 2013 20th Working Conference on Reverse Engineering (WCRE)
By Valerio Cosentino,Jordi Cabot,Patrick Albert,Philippe Bauquel,Jacques Perronnet
Issue Date:October 2013
pp. 409-416
Organizations rely on the logic embedded in their Information Systems for their daily operations. This logic implements the business rules in place in the organization, which must be continuously adapted in response to market changes. Unfortunately, this e...
Extracting business rules from COBOL: A model-based tool
Found in: 2013 20th Working Conference on Reverse Engineering (WCRE)
By Valerio Cosentino,Jordi Cabot,Patrick Albert,Philippe Bauquel,Jacques Perronnet
Issue Date:October 2013
pp. 483-484
This paper presents a Business Rule Extraction tool for COBOL systems. Starting from a COBOL program, we derive a model-based representation of the source code and we provide a set of model transformations to identify and visualize the embedded business ru...
A research roadmap towards achieving scalability in model driven engineering
Found in: Proceedings of the Workshop on Scalability in Model Driven Engineering (BigMDE '13)
By Dániel Varró, Dimitrios S. Kolovos, Esther Guerra, István Ráth, Jesús Sánchez Cuadrado, Jordi Cabot, Juan De Lara, Louis M. Rose, Massimo Tisi, Nicholas Matragkas, Richard F. Paige
Issue Date:June 2013
pp. 1-10
As Model-Driven Engineering (MDE) is increasingly applied to larger and more complex systems, the current generation of modelling and model management technologies are being pushed to their limits in terms of capacity and efficiency. Additional research an...
On validation of ATL transformation rules by transformation models
Found in: Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVa)
By Fabian Buttner, Jordi Cabot, Martin Gogolla
Issue Date:October 2011
pp. 1-8
Model-to-model transformations constitute an important ingredient in model-driven engineering. As real world transformations are complex, systematic approaches are required to ensure their correctness. The ATLAS Transformation Language (ATL) is a mature tr...
Constraint tuning and management for web applications
Found in: Proceedings of the 6th international conference on Web engineering (ICWE '06)
By Jordi Cabot, Marco Brambilla
Issue Date:July 2006
pp. 345-352
Since the Web is becoming a platform for implementing complex B2C and B2B applications instead of simple content publishing sites, the need arises of imposing constraints on the navigation and on the managed information. Web conceptual modeling languages a...
Transforming OCL constraints: a context change approach
Found in: Proceedings of the 2006 ACM symposium on Applied computing (SAC '06)
By Ernest Teniente, Jordi Cabot
Issue Date:April 2006
pp. 1196-1201
Integrity constraints (ICs) play a key role in the definition of conceptual schemas. In the UML, ICs are usually specified as invariants written in the OCL. However, due to the high expressiveness of the OCL, the designer has different syntactic alternativ...