Data

NameRuiz Cortés, Antonio
DepartmentLenguajes y Sistemas Informáticos
Knowledge areaLenguajes y Sistemas Informáticos
Professional categoryCatedrático de Universidad
E-mailRequest
           

  Statistics

  • Items

    305

  • Visits

    24799

  • Downloads

    40093

  Publications

 

Article
Icon

Effects of Mindfulness on Conceptual Modeling Performance: a Series of Experiments

Bernárdez Jiménez, Beatriz; Durán Toro, Amador; Parejo Maestre, José Antonio; Juristo, Natalia; Ruiz Cortés, Antonio (IEEE Computer Society, 2022-01-01)
Context. Mindfulness is a meditation technique whose main goal is keeping the mind calm and educating attention by focusing ...
Article
Icon

SLA-aware operational efficiency in AI-enabled service chains: challenges ahead

Engel, Robert; Fernández Montes, Pablo; Ruiz Cortés, Antonio; Megahed, Aly; Ojeda Pérez, Juan (Springer, 2022-01-01)
Service providers compose services in service chains that require deep integra tion of core operational information systems ...
Article
Icon

ARTE: Automated Generation of Realistic Test Inputs for Web APIs

Alonso Valenzuela, Juan Carlos; Martín López, Alberto; Segura Rueda, Sergio; García Rodríguez, José María; Ruiz Cortés, Antonio (IEEE Computer Society, 2022-01-01)
Automated test case generation for web APIs is a thriving research topic, where test cases are frequently derived from the ...
PhD Thesis
Icon

SLA-Driven Governance of RESTful Systems

Fernández Montes, Pablo; Ruiz Cortés, Antonio; Gámez Díaz, Antonio (2021-12-20)
The Software as a Service (SaaS) paradigm has become entrenched in the industry as a deployment model, bringing flexibility ...
Article
Icon

Specification and Automated Analysis of Inter-Parameter Dependencies in Web APIs

Martín López, Alberto; Segura Rueda, Sergio; Müller Cejás, Carlos; Ruiz Cortés, Antonio (IEEE Computer Society, 2021-01-01)
Web services often impose inter-parameter dependencies that restrict the way in which two or more input parameters can be ...
Presentation
Icon

Deep Learning-Based Prediction of Test Input Validity for RESTful APIs

Mirabella Galvin, Agatino Giuliano; Martín López, Alberto; Segura Rueda, Sergio; Valencia Cabrera, Luis; Ruiz Cortés, Antonio (2021-01-01)
Automated test case generation for RESTful web APIs is a thriving research topic due to their key role in software integration. ...
Presentation
Icon

Design Patterns for Board-Based Collaborative Work Management Tools

Peña Siles, Joaquín; Bravo Llanos, Alfonso; Río Ortega, Adela del; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (Springer, 2021-01-01)
Board-based software tools for managing collaborative work (e.g. Trello or Microsoft Planner) are highly configurable ...
Presentation
Icon

Empirical strategies in software engineering research: a literature survey

Guevara Vega, Cathy; Bernárdez Jiménez, Beatriz; Durán Toro, Amador; Quiña Mera, Antonio; Cruz Risco, Margarita; Ruiz Cortés, Antonio (IEEE Computer Society, 2021-01-01)
Context: The Software Engineering (SE) research continues to gain strength and interest for researchers considering the ...
Presentation
Icon

Productivity Challenges in Digital Transformation and its Implications for Workstream Collaboration Tools.

Río Ortega, Adela del; Peña Siles, Joaquín; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (University of Hawai'i, 2021-01-01)
Digital transformation has brought an unprecedented pace of change and a huge amount of information available for businesses. ...
Chapter of Book
Icon

Evaluating Testing Techniques in Highly-Configurable Systems: The Drupal Dataset

Gupta, Varun; Gupta, Chetna; Sánchez Jerez, Ana Belén; Segura Rueda, Sergio; Ruiz Cortés, Antonio (Auerbach Publications, 2021-01-01)
Context: Software applications exposing a high ability to be extended, changed or configured are usually referred to as ...
Article
Icon

A Flexible Billing Life Cycle for Cloud Services Using Augmented Customer Agreements

García Rodríguez, José María; Martín Díaz, Octavio; Fernández Montes, Pablo; Müller Cejás, Carlos; Ruiz Cortés, Antonio (IEEE Computer Society, 2021-01-01)
Cloud computing constant evolution requires dynamic adjustments to service pricing and billing terms, considering provider ...
Chapter of Book
Icon

A Family of Experiments to Evaluate the Effects of Mindfulness on Software Engineering Students: The MetaMind Dataset

Gupta, Varun; Gupta, Chetna; Bernárdez Jiménez, Beatriz; Cruz Risco, Margarita; Durán Toro, Amador; Parejo Maestre, José Antonio; Ruiz Cortés, Antonio (Auerbach Publications, 2021-01-01)
Context: Software Engineering students are often excellent developers although they may occasionally encounter difficulties ...
Chapter of Book
Icon

Inter-Parameter Dependencies in Real-World Web APIs: The IDEA Dataset

Gupta, Varun; Gupta, Chetna; Martín López, Alberto; Segura Rueda, Sergio; Ruiz Cortés, Antonio (Auerbach Publications, 2021-01-01)
Context: Web services often impose constraints that restrict the way in which two or more input parameters can be combined ...
Presentation
Icon

Identificación Automática de Relaciones Metamórficas en Sistemas de Búsqueda

Alonso Valenzuela, Juan Carlos; Martín López, Alberto; Segura Rueda, Sergio; Ruiz Cortés, Antonio (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2021-01-01)
Proveer al usuario con opciones de búsqueda avanzada que faciliten el acceso a los datos que busca es una característica ...
Article
Icon

Elastic Smart Contracts in Blockchains

Dustdar, Schahram; Fernández Montes, Pablo; García Rodríguez, José María; Ruiz Cortés, Antonio (IEEE Computer Society, 2021-01-01)
In this paper, we deal with questions related to blockchains in complex Internet of Things (IoT)-based ecosystems. Such ...
Presentation
Icon

An Elasticity Framework for Smart Contracts

Dustdar, Schahram; García Rodríguez, José María; Fernández Montes, Pablo; Ruiz Cortés, Antonio (IEEE Computer Society, 2021-01-01)
Smart contracts provide computation facilities to blockchains, enabling many application scenarios where au tomatic analysis ...
Presentation
Icon

Bluejay: A Cross-Tooling Audit Framework For Agile Software Teams

García Pascual, César; Guerrero Díaz, Alejandro; Zeitsoff, Joshua; Korlakunta, Srujay; Fernández Montes, Pablo; Fox, Armando; Ruiz Cortés, Antonio (IEEE Computer Society, 2021-01-01)
Agile software teams are expected to follow a number of specific Team Practices (TPs) during each iteration, such as ...
Presentation
Icon

Artifact: virtual environment for evaluating the QoS of distributed mobile applications

Laso, Sergio; Berrocal, Javier; Fernández Montes, Pablo; Ruiz Cortés, Antonio; Murillo, Juan M. (IEEE Computer Society, 2021-01-01)
Presentation
Icon

Quality in use evaluation of a GraphQL implementation

Quiña Mera, Antonio; Fernández Montes, Pablo; García Rodríguez, José María; Bastidas, Edwin; Ruiz Cortés, Antonio (Springer, 2021-01-01)
The Software development trend uses service-oriented soft ware architecture (SOA), which provides efficiency, agility, and ...
Presentation
Icon

Virtual environment for evaluating the QoS of distributed mobile applications

Laso, Sergio; Berrocal, Javier; Fernández Montes, Pablo; Ruiz Cortés, Antonio; Murillo, Juan M. (IEEE Computer Society, 2021-01-01)
The increasing capabilities of end devices has led to a wider distribution of the computation and the massive deployment ...
Article
Icon

Automated Validation of Compensable SLAs

Müller Cejás, Carlos; Gutiérrez Fernández Antonio Manuel; Fernández Montes, Pablo; Martín Díaz, Octavio; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (IEEE Computer Society, 2021-01-01)
A Service Level Agreement (SLA) regulates the provisioning of a service by defining a set of guarantees. Each guarantee sets ...
Presentation
Icon

Black-Box and White-Box Test Case Generation for RESTful APIs: Enemies or Allies?

Martín López, Alberto; Arcuri, Andrea; Segura Rueda, Sergio; Ruiz Cortés, Antonio (IEEE Computer Society, 2021-01-01)
Automated test case generation for RESTful APIs is a thriving research topic due to their critical role in software integration. ...
Presentation
Icon

Inferencia Automática de Dependencias Inter-Parámetro en APIs REST

Mirabella, A. Giuliano; Martín López, Alberto; Segura Rueda, Sergio; Valencia Cabrera, Luis; Ruiz Cortés, Antonio (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2021-01-01)
La generación automática de casos de prueba para APIs REST es un tema de investigación muy activo. La mayoría de técnicas ...
Presentation
Icon

RESTest: automated black-box testing of RESTful web APIs

Martín López, Alberto; Segura Rueda, Sergio; Ruiz Cortés, Antonio (Association for Computing Machinery (ACM), 2021-01-01)
Testing RESTful APIs thoroughly is critical due to their key role in software integration. Existing tools for the automated ...
Article
Icon

Modeling Variability in the Performance Perspective of Business Processes

Estrada Torres, Bedilia; Río Ortega, Adela del; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (IEEE Computer Society, 2021-01-01)
The modeling and management of business processes often leads to the definition of several variants of the same process. ...
Article
Icon

A Mashup-based Framework for Business Process Compliance Checking

Cabanillas Macías, Cristina; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (IEEE Computer Society, 2020-01-01)
Business process compliance ensures that the business processes of an organisation are designed and executed according to ...
Article
Icon

Context-Aware Process Performance Indicator Prediction

Márquez Chamorro, Alfonso Eduardo; Revoredo, Kate; Resinas Arias de Reyna, Manuel; Río Ortega, Adela del; Santoro, Flavia María; Ruiz Cortés, Antonio (IEEE Computer Society, 2020-01-01)
It is well-known that context impacts running instances of a process. Thus, defining and using contextual information may ...
Article
Icon

Early Evaluation of Mobile Applications’ Resource Consumption and Operating Costs

Berrocal, Javier; García Alonso, José; Fernández Montes, Pablo; Pérez Vereda, Alejandro; Hernández, Juan; Canal, Carlos; Murillo, Juan M.; Ruiz Cortés, Antonio (IEEE Computer Society, 2020-01-01)
The explosive growth of the mobile application market in recent years has led to a large concomitant mobile software ...
Presentation
Icon

RESTest: Black-Box Constraint-Based Testing of RESTful Web APIs

Martín López, Alberto; Segura Rueda, Sergio; Ruiz Cortés, Antonio (Springer, 2020-01-01)
Automated testing approaches for RESTful web APIs typi cally follow a black-box strategy, where test cases are derived ...
Presentation
Icon

Automating SLA-Driven API Development with SLA4OAI

Gámez Díaz, Antonio; Fernández Montes, Pablo; Ruiz Cortés, Antonio (Springer, 2019-10-22)
The OpenAPI Specification (OAS) is the de facto standard to describe RESTful APIs from a functional perspective. OAS has ...
Presentation
Icon

Governify for APIs: SLA-Driven Ecosystem for API Governance

Gámez Díaz, Antonio; Fernández Montes, Pablo; Ruiz Cortés, Antonio (ACM Digital Library, 2019-08-01)
As software architecture design is evolving to a microservice paradigm, RESTful APIs are being established as the preferred ...
Presentation
Icon

The role of limitations and SLAs in the API industry

Gámez Díaz, Antonio; Fernández Montes, Pablo; Ruiz Cortés, Antonio; Molina, Pedro J.; Kolekar, Nikhil; Bhogill, Prithpal; Mohaan, Madhurranjan; Méndez, Francisco (ACM Digital Library, 2019-08-01)
As software architecture design is evolving to a microservice paradigm, RESTful APIs are being established as the preferred ...
Article
Icon

Replication of Studies in Empirical Software Engineering: A Systematic Mapping Study, From 2013 to 2018

Cruz Risco, Margarita; Bernárdez Jiménez, Beatriz; Durán Toro, Amador; Galindo Duarte, José Ángel; Ruiz Cortés, Antonio (IEEE Computer Society, 2019-01-01)
Context: In any discipline, replications of empirical studies are necessary to consolidate the acquired knowledge. In ...
Presentation
Icon

Metamorphic Relation Patterns for Query-Based Systems

Segura Rueda, Sergio; Durán Toro, Amador; Troya Castilla, Javier; Ruiz Cortés, Antonio (IEEE Computer Society, 2019-01-01)
Searching and displaying data based on user queries is a key feature of most software applications such as information ...
Article
Icon

Measuring Performance in Knowledge Intensive Processes

Estrada Torres, Bedilia; Piccoli Richetti, Pedro Henrique; Río Ortega, Adela del; Araujo Baiao, Fernanda; Resinas Arias de Reyna, Manuel; Santoro, Flavia María; Ruiz Cortés, Antonio (ACM Digital Library, 2019-01-01)
Knowledge-Intensive Processes (KIPs) are processes whose execution is heavily dependent on knowledge workers performing ...
Presentation
Icon

Eagle: A Team Practices Audit Framework for Agile Software Development

Guerrero, Alejandro; Fresno Aranda, Rafael; Ju, An; Fox, Armando; Fernández Montes, Pablo; Müller Cejás, Carlos; Ruiz Cortés, Antonio (ACM Digital Library, 2019-01-01)
Agile/XP (Extreme Programming) software teams are expected to follow a number of specific practices in each iteration, ...
Presentation
Icon

Towards an Automated Management of Well-Being Goals in Nursing Homes

Müller Cejás, Carlos; Fernández Montes, Pablo; Ruiz Cortés, Antonio; Casati, Fabio (Springer, 2019-01-01)
Nursing home culture change movement advocates for care that is less hospital-like, and more patient-centered. Despite ...
Presentation
Icon

Elastic Smart Contracts across Multiple Blockchains

Dustdar, Schahram; Fernández Montes, Pablo; García Rodríguez, José María; Ruiz Cortés, Antonio (University of Southern California, 2019-01-01)
In this paper, we deal with questions related to blockchains in complex Internet of Things (IoT)-based ecosystems. Such ...
Presentation
Icon

A Service Level Agreement Driven Framework to Customise Cloud Service Billing

García Rodríguez, José María; Martín Díaz, Octavio; Fernández Montes, Pablo; Müller Cejás, Carlos; Ruiz Cortés, Antonio (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2019-01-01)
Cloud service providers offer to their customers a variety of pricing policies, which range from the simple, yet widely ...
Presentation
Icon

Test coverage criteria for RESTful web APIs

Martín López, Alberto; Segura Rueda, Sergio; Ruiz Cortés, Antonio (Association for Computing Machinery (ACM), 2019-01-01)
Web APIs following the REST architectural style (so-called RESTful web APIs) have become the de-facto standard for software ...
Presentation
Icon

Towards the Definition of Test Coverage Criteria for RESTful Web APIs

Martín López, Alberto; Segura Rueda, Sergio; Ruiz Cortés, Antonio (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2019-01-01)
Web APIs following the REST architectural style (so-called RESTful Web APIs) have become the de-facto standard for ...
Presentation
Icon

A Catalogue of Inter-Parameter Dependencies in RESTful Web APIs

Martín López, Alberto; Segura Rueda, Sergio; Ruiz Cortés, Antonio (Springer, 2019-01-01)
Web services often impose dependency constraints that re strict the way in which two or more input parameters can be ...
Presentation
Icon

ELeCTRA: Induced Usage Limitations Calculation in RESTful APIs

Gámez Díaz, Antonio; Fernández Montes, Pablo; Pautasso, Cesare; Ivanchikj, Ana; Ruiz Cortés, Antonio (Springer, 2018-11-01)
As software architecture design is evolving to microservice paradigms, RESTful APIs become the building blocks of applications. ...
Presentation
Icon

Fostering SLA-Driven API Specifications

Gámez Díaz, Antonio; Fernández Montes, Pablo; Ruiz Cortés, Antonio (Biblioteca Digital Sistedes, 2018-09-18)
Software architecture tendencies are shifting to a microservice paradigm. In this context, RESTful APIs are being established ...
PhD Thesis
Icon

SLA management of non-computational services.

Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio; Gutiérrez Fernández, Antonio Manuel (2018-07-13)
El incremento en el uso de arquitecturas orientadas a servicios en los últimos 15 años ha propiciado la propuesta de ...
Article
Icon

Performance Metamorphic Testing: A Proof of Concept

Segura Rueda, Sergio; Troya Castilla, Javier; Durán Toro, Amador; Ruiz Cortés, Antonio (Elsevier, 2018-01-01)
Context. Performance testing is a challenging task mainly due to the lack of test oracles, i.e. mechanisms to decide whether ...
Article
Icon

Automated inference of likely metamorphic relations for model transformations

Troya Castilla, Javier; Segura Rueda, Sergio; Ruiz Cortés, Antonio (Elsevier, 2018-01-01)
Model transformations play a cornerstone role in Model-Driven Engineering (MDE) as they provide the essential mechanisms ...
Article
Icon

Automated analysis of feature models: Quo vadis?

Galindo Duarte, José Ángel; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe; Trinidad Martín Arroyo, Pablo; Gutiérrez Fernández, Antonio Manuel; Ruiz Cortés, Antonio (Springer, 2018-01-01)
Feature models have been used since the 90's to describe software product lines as a way of reusing common parts in a ...
Article
Icon

Spectrum-Based Fault Localization in Model Transformations

Troya Castilla, Javier; Segura Rueda, Sergio; Parejo Maestre, José Antonio; Ruiz Cortés, Antonio (ACM, 2018-01-01)
Model transformations play a cornerstone role in Model-Driven Engineering (MDE), as they provide the essential mechanisms ...
Article
Icon

A template-based approach for responsibility management in executable business processes

Cabanillas Macías, Cristina; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (Taylor and Francis, 2018-01-01)
Process-oriented organisations need to manage the different types of responsibilities their employees may have w.r.t. the ...
Article
Icon

An Experimental Replication on the Effect of the Practice of Mindfulness in Conceptual Modeling Performance

Bernárdez Jiménez, Beatriz; Durán Toro, Amador; Parejo Maestre, José Antonio; Ruiz Cortés, Antonio (Elsevier, 2018-01-01)
Context: Mindfulness is a meditation technique aimed to increase clearness of mind and awareness. In the 2013–2014 ...
Article
Icon

Predictive Monitoring of Business Processes: A Survey

Márquez Chamorro, Alfonso Eduardo; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (IEEE Computer Society, 2018-01-01)
Nowadays, process mining is becoming a growing area of interest in business process management (BPM). Process mining ...
Presentation
Icon

On the Relationships between Decision Management and Performance Measurement

Estrada Torres, Bedilia; Río Ortega, Adela del; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (Springer, 2018-01-01)
Decision management is of utmost importance for the achievement of strategic and operational goals in any organisational ...
Presentation
Icon

An Analysis of RESTful APIs Offerings in the Industry

Gámez Díaz, Antonio; Fernández Montes, Pablo; Ruiz Cortés, Antonio (Springer, 2017-11-01)
As distribution models of information systems are moving to XaaS paradigms, microservices architectures are rapidly emerging, ...
Presentation
Icon

Towards SLA modeling for RESTful APIs

Gámez Díaz, Antonio; Fernández Montes, Pablo; Ruiz Cortés, Antonio (SISTEDES : Sociedad de Ingeniería del Software y Tecnologías de Desarrollo de Software,, 2017-07-19)
The term of API Economy is becoming increasingly used to describe the change of vision in how APIs can add value to the ...
Presentation
Icon

On the feasibility of measuring performance using PPINOT in CMMN

Estrada Torres, Bedilia; Río Ortega, Adela del; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (SISTEDES : Sociedad de Ingeniería del Software y Tecnologías de Desarrollo de Software,, 2017-01-01)
Monitoring and measuring the performance of business pro- cesses are valuable tasks that facilitate the identi cation of ...
Presentation
Icon

Extendiendo ABP con feedback ágil en la enseñanza de Ingeniería del Software

Fernández Montes, Pablo; García Rodríguez, José María; Parejo Maestre, José Antonio; Ruiz Cortés, Antonio (AENUI: Asociación de Enseñantes Universitarios de Informática, 2017-01-01)
El Aprendizaje Basado en Proyectos (ABP) ha sido aplicado con éxito en diversas áreas de la docencia de la informática en ...
Article
Icon

Variability testing in the wild: the Drupal case study

Sánchez Jerez, Ana Belén; Segura Rueda, Sergio; Parejo Maestre, José Antonio; Ruiz Cortés, Antonio (Springer, 2017-01-01)
Variability testing techniques search for effective and manageable test suites that lead to the rapid detection of faults ...
Article
Icon

Evolutionary composition of QoS-aware web services: a many-objective perspective

Ramírez, Aurora; Parejo Maestre, José Antonio; Romero, José Raúl; Segura Rueda, Sergio; Ruiz Cortés, Antonio (Elsevier, 2017-01-01)
Web service based applications often invoke services provided by third-parties in their workflow. The Quality of Service ...
Article
Icon

Edge and Cloud Pricing for the Sharing Economy

García Rodríguez, José María; Fernández Montes, Pablo; Ruiz Cortés, Antonio; Dustdar, Schahram; Toro Bonilla, Miguel (IEEE Computer Society, 2017-01-01)
As technology resonates in all layers of society, the impulse of shifting toward new spaces for a cooperative economy can ...
Presentation
Icon

Automated Analysis of Cloud Offerings for Optimal Service Provisioning

García Rodríguez, José María; Martín Díaz, Octavio; Fernández Montes, Pablo; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (Springer, 2017-01-01)
Cloud computing paradigm has brought an overwhelming variety of cloud services from different providers, each one offering ...
Presentation
Icon

A Template–Based Approach to Describing Metamorphic Relations

Segura Rueda, Sergio; Durán Toro, Amador; Troya Castilla, Javier; Ruiz Cortés, Antonio (IEEE Computer Society, 2017-01-01)
Metamorphic testing enables the generation of test cases in the absence of an oracle by exploiting relations among different ...
Presentation
Icon

An Approach for Debugging Model Transformations Applying Spectrum-Based Fault Localization

Troya Castilla, Javier; Segura Rueda, Sergio; Parejo Maestre, José Antonio; Ruiz Cortés, Antonio (Universidad de la Laguna, 2017-01-01)
Model transformations play a cornerstone role in Model-Driven Engineering as they provide the essential mechanisms for ...
Article
Icon

Metamorphic Testing of RESTful Web APIs

Segura Rueda, Sergio; Parejo Maestre, José Antonio; Troya Castilla, Javier; Ruiz Cortés, Antonio (IEEE Computer Society, 2017-01-01)
Web Application Programming Interfaces (APIs) allow systems to interact with each other over the network. Modern Web APIs ...
Presentation
Icon

Performance Metamorphic Testing: Motivation and Challenges

Segura Rueda, Sergio; Troya Castilla, Javier; Durán Toro, Amador; Ruiz Cortés, Antonio (ACM Digital Library, 2017-01-01)
Performance testing is a challenging task mainly due to the lack of test oracles, that is, mechanisms to decide whether the ...
Article
Icon

VISUAL PPINOT: A Graphical Notation for Process Performance Indicators

Río Ortega, Adela del; Resinas Arias de Reyna, Manuel; Durán Toro, Amador; Bernárdez Jiménez, Beatriz; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (Springer, 2017-01-01)
Process performance indicators (PPIs) allow the quantitative evaluation of business processes, providing essential information ...
Article
Icon

Run-time prediction of business process indicators using evolutionary decision rules

Márquez Chamorro, Alfonso Eduardo; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (Elsevier, 2017-01-01)
Predictive monitoring of business processes is a challenging topic of process mining which is concerned with the prediction ...
Presentation
Icon

Enriching Decision Making with Data-Based Thresholds of Process-Related KPIs

Río Ortega, Adela del; García, Félix; Resinas Arias de Reyna, Manuel; Weber, Elmar; Ruiz, Francisco; Ruiz Cortés, Antonio (Springer, 2017-01-01)
The continuous performance improvement of business processes usually involves the definition of a set of process performance ...
Presentation
Icon

A New Framework for Defining Realistic SLAs: An Evidence-Based Approach

Cho, Minsu; Song, Minseok; Müller Cejás, Carlos; Fernández Montes, Pablo; Río Ortega, Adela del; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (Springer, 2017-01-01)
In a changing and competitive business world, business processes are at the heart of modern organizations. In some cases, ...
Article
Icon

Specifying Compensations with WS-Agreement

Müller Cejás, Carlos; Fernández Montes, Pablo; Martín Díaz, Octavio; Gutiérrez, Antonio M.; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (IEEE Computer Society, 2017-01-01)
During the last years the use of service level agreements (SLA) is rising uncontrollably to describe the rights and ...
Report
Icon

Metamorphic Relation Template v1.0 : Technical Report ISA-17-TR-01

Segura Rueda, Sergio; Durán Toro, Amador; Troya, Javier; Ruiz Cortés, Antonio (2017-01-01)
Metamorphic testing enables the generation of test cases in the absence of an oracle by exploiting relations among ...
Presentation
Icon

SLA-driven governance for RESTful systems

Gámez Díaz, Antonio; Fernández Montes, Pablo; Ruiz Cortés, Antonio (Springer, 2017-01-01)
Sofware distribution models are moving to SaaS paradigms where customers no longer need to buy a perpetual license. In ...
Presentation
Icon

Devising an SLA-Aware Methodology to Improve Process Performance

Müller Cejás, Carlos; Cho, Minsu; Fernández Montes, Pablo; Song, Minseok; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2017-01-01)
Aiming to be as competitive as possible, organisations are always pursuing to improve their business processes applying ...
PhD Thesis
Icon

Test case prioritization in highly-configurable systems

Ruiz Cortés, Antonio; Segura Rueda, Sergio; Sánchez Jerez, Ana Belén (2016-05-23)
Highly-configurable software systems (HCSs) provide a common core functionality and a set of optional features, where a ...
Article
Icon

A Survey on Metamorphic Testing

Segura Rueda, Sergio; Fraser, Gordon; Sánchez, Ana B.; Ruiz Cortés, Antonio (2016-02-29)
A test oracle determines whether a test execution reveals a fault, often by comparing the observed program output to the ...
Presentation
Icon

Identifying Variability in Process Performance Indicators

Estrada Torres, Bedilia; Río Ortega, Adela del; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (Springer, 2016-01-01)
The performance perspective of business processes is concerned with the definition of performance requirements usually ...
Presentation
Icon

Defining PPIs for Process Variants based on Change Patterns

Estrada Torres, Bedilia; Torres, Victoria; Río Ortega, Adela del; Resinas Arias de Reyna, Manuel; Pelechano, Vicent; Ruiz Cortés, Antonio (SISTEDES : Sociedad de Ingeniería del Software y Tecnologías de Desarrollo de Software,, 2016-01-01)
Business Process (BP) families are made up of BP variants that share commonalities but also show differences to accommodate ...
Article
Icon

Modeling Service Level Agreements with Linked USDL Agreement

García Rodríguez, José María; Fernández Montes, Pablo; Pedrinaci, Carlos; Resinas Arias de Reyna, Manuel; Cardoso, Jorge; Ruiz Cortés, Antonio (IEEE Computer Society, 2016-01-01)
Nowadays, service trading over the Web is gaining momentum. In this highly dynamic scenario, both providers and consumers ...
Article
Icon

Multi-objective test case prioritization in highly configurable systems: A case study

Parejo Maestre, José Antonio; Sánchez Jerez, Ana Belén; Segura Rueda, Sergio; Ruiz Cortés, Antonio; López Herrejón, Roberto E.; Egyed, Alexander (Elsevier, 2016-01-01)
Test case prioritization schedules test cases for execution in an order that attempts to accelerate the detection of faults. ...
Presentation
Icon

Defeasible Argumentation of Software Architectures

Cañete Valdeón, José Miguel; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (IEEE Computer Society, 2016-01-01)
Defeasible argumentation is typical of legal and scientific reasoning. A defeasible argument is one in which the conclusion ...
Presentation
Icon

Towards the Automation of Metamorphic Testing in Model Transformations

Troya Castilla, Javier; Segura Rueda, Sergio; Ruiz Cortés, Antonio (Universidad de Salamanca, 2016-01-01)
Model transformations are the cornerstone of Model-Driven Engineering, and provide the essential mechanisms for manipulating ...
Presentation
Icon

Probando sistemas altamente configurables mediante análisis automático de modelos de características: el caso de Android

Durán Toro, Amador; Benavides Cuevas, David Felipe; Segura Rueda, Sergio; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2016-01-01)
Presentation
Icon

Narrowing the Business-IT Gap in Process Performance Measurement

Aa, Han van der; Río Ortega, Adela del; Resinas Arias de Reyna, Manuel; Leopold, Henrik; Ruiz Cortés, Antonio; Mendling, Jan; Reijers, Hajo A. (Springer, 2016-01-01)
To determine whether strategic goals are met, organizations must monitor how their business processes perform. Process ...
Article
Icon

User-centric Adaptation Analysis of Multi-tenant Services

García Galán, Jesús; Pasquale, Liliana; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (Association for Computing Machinery (ACM), 2016-01-01)
Multi-tenancy is a key pillar of cloud services. It allows different users to share computing and virtual resources ...
Presentation
Icon

An Elasticity-aware Governance Platform for Cloud Service Delivery

Müller Cejás, Carlos; Truong, Hong-Linh; Fernández Montes, Pablo; Copil, Georgiana; Ruiz Cortés, Antonio; Dustdar, Schahram (IEEE Computer Society, 2016-01-01)
In cloud service provisioning scenarios with a changing demand from consumers, it is appealing for cloud providers to ...
Article
Icon

Automated configuration support for infrastructure migration to the cloud

García Galán, Jesús; Trinidad Martín Arroyo, Pablo; Rana, Omer F.; Ruiz Cortés, Antonio (Elsevier, 2016-01-01)
With an increasing number of cloud computing offerings in the market, migrating an existing computational infrastructure ...
Presentation
Icon

Supporting Compensations with WS-greement

Müller Cejás, Carlos; Fernández Montes, Pablo; Martín Díaz, Octavio; Gutiérrez, Antonio M.; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (Universidad de Salamanca, 2016-01-01)
During the last years the use of service level agreements (SLA) is rising uncontrollably to describe the rights and ...
Presentation
Icon

Automatic Generation of Purchasing Plans for Cloud Services

Martín Díaz, Octavio; García Rodríguez, José María; Fernández Montes, Pablo; Ruiz Cortés, Antonio (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2016-01-01)
The myriad of cloud service providers, as well as their overwhelming variety of configuration and purchasing options, ...
Presentation
Icon

Towards a general architecture for predictive monitoring of business processes

Márquez Chamorro, Alfonso Eduardo; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2016-01-01)
Process mining allows the extraction of useful information from event logs and historical data of business processes. This ...
Presentation
Icon

Configuración guiada por búsqueda de aplicaciones basadas en micro-servicios

Parejo Maestre, José Antonio; Ramírez, Aurora; Romero, José Raúl; Segura Rueda, Sergio; Ruiz Cortés, Antonio (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2016-01-01)
Organizaciones como Netflix, Google o Amazon hacen uso de arquitecturas basadas en micro-servicios, lo que ha disparado ...
Presentation
Icon

Towards SLA-Driven API Gateways

Gámez Díaz, Antonio; Fernández Montes, Pablo; Ruiz Cortés, Antonio (2015-09-01)
As APIs are becoming popular to build Service-Based Ap- plications (SBA), API Gateways are being increasingly used to ...
PhD Thesis
Icon

Automating the support of highly-configurable services

Ruiz Cortés, Antonio; Trinidad Martín Arroyo, Pablo; García-Galán, Jesús (2015-06-10)
Las crecientes capacidades de configuración de los servicios, especialmente en el cloud, han dado lugar a los así llamados ...
Article
Icon

FLAME: a Formal Framework for the Automated Analysis of Software Product Lines Validated by Automated Specification Testing

Durán Toro, Amador; Benavides Cuevas, David Felipe; Segura Rueda, Sergio; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (2015-01-01)
In a literature review on the last 20 years of automated analysis of feature models, the formalization of analysis operations ...
Presentation
Icon

RALph: A Graphical Notation for Resource Assignments in Business Processes

Cabanillas Macías, Cristina; Knuplesch, David; Resinas Arias de Reyna, Manuel; Reichert, Manfred; Mendling, Jan; Ruiz Cortés, Antonio (2015-01-01)
The business process (BP) resource perspective deals with the management of human as well as non-human resources throughout ...
Presentation
Icon

Modelling Service Level Agreements for Business Process Outsourcing Services

Río Ortega, Adela del; Gutiérrez, Antonio Manuel; Durán Toro, Amador; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (2015-01-01)
Many proposals to model service level agreements (SLAs) have been elaborated in order to automate different stages of the ...
Presentation
Icon

Linked USDL Agreement: Effectively Sharing Semantic Service Level Agreements on the Web

García Rodríguez, José María; Pedrinaci, Carlos; Resinas Arias de Reyna, Manuel; Cardoso, Jorge; Fernández Montes, Pablo; Ruiz Cortés, Antonio (IEEE Computer Society, 2015-01-01)
As the use of services available on the Web is becoming mainstream, contracts and legal aspects of the relationship between ...
Article
Icon

Automated metamorphic testing of variability analysis tools

Segura Rueda, Sergio; Durán Toro, Amador; Sánchez Jerez, Ana Belén; Le Berre, Daniel; Lonca, Emmanuel; Ruiz Cortés, Antonio (Wiley, 2015-01-01)
Variability determines the capability of software applications to be configured and customized. A common need during the ...
Presentation
Icon

Automated team selection and compliance checking in business processes

Cabanillas Macías, Cristina; Resinas Arias de Reyna, Manuel; Mendling, Jan; Ruiz Cortés, Antonio (ACM Digital Library, 2015-01-01)
Plenty of activities in many business contexts must be performed collaboratively, e.g., in a hospital or when organising a ...
Article
Icon

Specification and Automated Design-Time Analysis of the Business Process Human Resource Perspective

Cabanillas Macías, Cristina; Resinas Arias de Reyna, Manuel; Río Ortega, Adela del; Ruiz Cortés, Antonio (Elsevier, 2015-01-01)
The human resource perspective of a business process is concerned with the relation between the activities of a process ...
Presentation
Icon

On the Calculation of Process Performance Indicators

Gutiérrez Fernández Antonio Manuel; Resinas Arias de Reyna, Manuel; Río Ortega, Adela del; Ruiz Cortés, Antonio (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2015-01-01)
Performance calculation is a key factor to match corporate goals between different partners in process execution. However, ...
Presentation
Icon

Towards Assessing Open Source Communities' Health using SOC Concepts

Franco Bedoya, Óscar; Oriol, Marc; Müller Cejás, Carlos; Marco, Jordi; Fernández Montes, Pablo; Resinas Arias de Reyna, Manuel; Franch, Xavier; Ruiz Cortés, Antonio (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2015-01-01)
Quality of an open source software ecosystem (OSS ecosystem) is key for different ecosystem actors such as contributors ...
Article
Icon

Programming Elasticity and Commitment in Dynamic Processes

Fernández Montes, Pablo; Truong, Hong-Linh; Dustdar, Schahram; Ruiz Cortés, Antonio (IEEE Computer Society, 2015-01-01)
In the past, elasticity and commitment in business processes were underexplored. But as businesses increasingly exploit ...
Presentation
Icon

Reduciendo la complejidad gráfica de indicadores de procesos de negocio usando abstracción

Estrada Torres, Bedilia; Río Ortega, Adela del; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (SISTEDES : Sociedad de Ingeniería del Software y Tecnologías de Desarrollo de Software,, 2015-01-01)
La representación de indicadores de rendimiento sobre los procesos de negocio facilita la comprensión y de finición en el ...
Presentation
Icon

Towards a Comprehensive Purchasing Model for Cloud Services

Martín Díaz, Octavio; Fernández Montes, Pablo; García Rodríguez, José María; Ruiz Cortés, Antonio (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2015-01-01)
The Cloud Service Market has evolved into a complex landscape that challenges the decision making of users as they develop ...
Presentation
Icon

The Drupal Framework: a Case Study to Evaluate Variability Testing Techniques

Sánchez Jerez, Ana Belén; Segura Rueda, Sergio; Ruiz Cortés, Antonio (2014-01-01)
Variability testing techniques search for effective but manageable test suites that lead to the rapid detection of faults ...
Presentation
Icon

Towards Process-Aware Cross-Organizational Human Resource Management

Cabanillas Macías, Cristina; Norta, Alex; Resinas Arias de Reyna, Manuel; Mendling, Jan; Ruiz Cortés, Antonio (2014-01-01)
Finding human resources with the required set of skills, experience, and availability to execute an activity at a specific ...
Presentation
Icon

Towards a Formal Specification of SLAs with Compensations

Müller Cejás, Carlos; Gutiérrez, Antonio M.; Martín Díaz, Octavio; Resinas Arias de Reyna, Manuel; Fernández Montes, Pablo; Ruiz Cortés, Antonio (2014-01-01)
In Cooperative Information Systems, service level agreements (SLA) can be used to describe the rights and obligations of ...
Presentation
Icon

A Comparison of Test Case Prioritization Criteria for Software Product Lines

Sánchez Jerez, Ana Belén; Segura Rueda, Sergio; Ruiz Cortés, Antonio (2014-01-01)
Software Product Line (SPL) testing is challenging due to the potentially huge number of derivable products. To alleviate ...
Presentation
Icon

Towards Compensable SLAs

Müller Cejás, Carlos; Gutiérrez, Antonio M.; Resinas Arias de Reyna, Manuel; Fernández Montes, Pablo; Ruiz Cortés, Antonio (2014-01-01)
In Cooperative Information Systems, service level agreements (SLA) can be used to describe the rights and obligations of ...
Article
Icon

Automated Generation of Computationally Hard Feature Models Using Evolutionary Algorithms

Segura Rueda, Sergio; Parejo Maestre, José Antonio; Hierons, Robert M.; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (Elsevier, 2014-01-01)
A feature model is a compact representation of the products of a software product line. The automated extraction of ...
Presentation
Icon

Configurable Feature Models

Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio; García-Galán, Jesús (2014-01-01)
Feature models represent all the products that can be built under a variability-intensive system such as a software product ...
Article
Icon

Qos-Aware Web Services Composition Using Grasp with Path Relinking

Parejo Maestre, José Antonio; Segura Rueda, Sergio; Fernández Montes, Pablo; Ruiz Cortés, Antonio (Elsevier, 2014-01-01)
In service oriented scenarios, applications are created by composing atomic services and exposing the resulting added value ...
Presentation
Icon

EXEMPLAR: An Experimental Information Repository for Software Engineering Research

Parejo Maestre, José Antonio; Segura Rueda, Sergio; Fernández Montes, Pablo; Ruiz Cortés, Antonio (2014-01-01)
The number and variety of experiments carried in software engineering research is growing, leading to a increasing need ...
Presentation
Icon

User-Centric Adaptation of Multi-Tenant Services: Preference-Based Analysis for Service Reconfiguration

García-Galán, Jesús; Pasquale, Liliana; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (2014-01-01)
Multi-tenancy is a key pillar of cloud services. It allows different tenants to share computing resources transparently ...
Presentation
Icon

Methodology to Extend RAL

Cabanillas Macías, Cristina; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio; Mendling, Jan (2014-01-01)
Resource Assignment Language (RAL) is a language for the selection of organisational resources that can be used, for ...
Presentation
Icon

Automated Variability Analysis and Testing of an E-Commerce Site. An Experience Report

Segura Rueda, Sergio; Sánchez Jerez, Ana Belén; Ruiz Cortés, Antonio (ACM, 2014-01-01)
In this paper, we report on our experience on the development of La Hilandera, an e-commerce site selling haberdashery products ...
Presentation
Icon

A Controlled Experiment to Evaluate the Effects of Mindfulness in Software Engineering

Bernárdez Jiménez, Beatriz; Durán Toro, Amador; Parejo Maestre, José Antonio; Ruiz Cortés, Antonio (ACM, 2014-01-01)
Context. Many reports support the fact that some psycho--social aspects of software engineers are key factors for the ...
Presentation
Icon

KPIshare: A collaborative space for BPM practitioners for full definitions and discussions on process KPIs

Resinas Arias de Reyna, Manuel; Río Ortega, Adela del; Ruiz Cortés, Antonio; Blattner, Dominik; Tasheva, Kristina; Chipev, Bozhan (2014-01-01)
The definition of process-related key performance indicators (KPIs) is a key part of performance measurement and one of ...
Presentation
Icon

Summary of "Priority-Based Human Resource Allocation in Business Processes"

Cabanillas Macías, Cristina; Rodríguez, José María; Resinas Arias de Reyna, Manuel; Ruiz Cortés, David; Mendling, Jan; Ruiz Cortés, Antonio (2014-01-01)
Article
Icon

Using Templates and Linguistic Patterns to Define Process Performance Indicators

Río Ortega, Adela del; Resinas Arias de Reyna, Manuel; Durán Toro, Amador; Ruiz Cortés, Antonio (Taylor & Francis, 2014-01-01)
Process performance management (PPM) aims at measuring, monitoring and analysing the performance of business processes ...
Article
Icon

An Overview of Dynamic Software Product Line Architectures and Techniques: Observations from Research and Industry

Capilla Sevilla, Rafael; Bosch, Jan; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio; Hinchey, Michael G. (Elsevier, 2014-01-01)
Over the last two decades, software product lines have been used successfully in industry for buildingfamilies of systems ...
Presentation
Icon

Automated Analysis of Diverse Variability Models with Tool Support

Roos Frantz, Fabricia; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2014-01-01)
Over the past twenty years, there have been many contributions in the area of automated analysis of variability models. ...
Presentation
Icon

Apoyo a la Toma de Decisiones en la Compra de IaaS

Martín Díaz, Octavio; Fernández Montes, Pablo; Ruiz Cortés, Antonio (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2014-01-01)
La dificultad para decidir la compra de un IaaS (Infrastructure as a Service) depende de la complejidad de las opciones ...
PhD Thesis
IconIcon

Moses: a metaheuristic optimization software ecosystem. Applications to the automated analysis of software product lines and service-based applications

Ruiz Cortés, Antonio; Segura Rueda, Sergio; Parejo Maestre, José Antonio (2013-10-01)
Muchas de las situaciones a las que nos enfrentamos cada día pueden expresarse como problemas de optimización. Un problema ...
Presentation
Icon

!Agree Studio: a Platform to Edit and Validate Ws-Agreement Documents

Müller Cejás, Carlos; Gutiérrez, Antonio M.; Resinas Arias de Reyna, Manuel; Fernández Montes, Pablo; Ruiz Cortés, Antonio (2013-01-01)
The widespread use of SLA-regulated Cloud services, in which the violation of SLA terms may imply a penalty for the parties, ...
Presentation
Icon

Priority-Based Human Resource Allocation in Business Processes

Cabanillas Macías, Cristina; García Rodríguez, José María; Resinas Arias de Reyna, Manuel; Ruiz Cortés, David; Mendling, Jan; Ruiz Cortés, Antonio (2013-01-01)
In Business Process Management Systems, human resource management typically covers two steps: resource assignment at design ...
Presentation
Icon

PPINOT Tool Suite: a Performance Management Solution for Process-Oriented Organisations

Río Ortega, Adela del; Cabanillas Macías, Cristina; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (2013-01-01)
A key aspect in any process-oriented organisation is the measurement of process performance for the achievement of its ...
Presentation
Icon

Extending WS-Agreement to Support Automated Conformity Check on Transport and Logistics Service Agreements

Gutiérrez, Antonio M.; Cassales Marquezan, Clarissa; Resinas Arias de Reyna, Manuel; Metzger, Andreas; Ruiz Cortés, Antonio; Pohl, Klaus (2013-01-01)
Checking whether the agreed service quality attributes are fulfilled or maintained during the service life-cycle is a very ...
Presentation
Icon

Defining and Analysing Resource-Aware Process Performance Indicators

Río Ortega, Adela del; Resinas Arias de Reyna, Manuel; Cabanillas Macías, Cristina; Ruiz Cortés, Antonio (2013-01-01)
A key aspect to identify improvement points of the business processes (BP) of an organisation is to conduct performance ...
Article
Icon

On the Definition and Design-Time Analysis of Process Performance Indicators

Río Ortega, Adela del; Resinas Arias de Reyna, Manuel; Cabanillas Macías, Cristina; Ruiz Cortés, Antonio (Elsevier, 2013-01-01)
A key aspect in any process-oriented organisation is the evaluation of process performance for the achievement of its ...
Article
Icon

Integrating Semantic Web Services Ranking Mechanisms Using a Common Preference Model

García Rodríguez, José María; Junghans, Martin; Ruiz Cortés, David; Agarwal, Sudhir; Ruiz Cortés, Antonio (Elsevier, 2013-01-01)
Service ranking has been long-acknowledged to play a fundamental role in helping users to select the best o erings among ...
Article
Icon

Automated Analysis of Conflicts in WS-Agreement Documents

Müller Cejás, Carlos; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (IEEE, 2013-01-01)
WS–Agreement is one of the most widely used SLA specifications. An advantage of WS–Agreement over other agreement metamodels ...
Presentation
Icon

Achieving Replicability: Is There Life for Our Experiments After Publication?

Parejo Maestre, José Antonio; Segura Rueda, Sergio; Ruiz Cortés, Antonio (2013-01-01)
Metaheuristics are algorithmic schemes that ease the derivation of novel algorithms to solve optimization problems. These ...
Presentation
Icon

Summary of "On the definition and design-time analysis of Process Performance Indicators"

Río Ortega, Adela del; Resinas Arias de Reyna, Manuel; Cabanillas Macías, Cristina; Ruiz Cortés, Antonio (2013-01-01)
Article
Icon

Priorización de casos de prueba. Avances y retos

Sánchez Jerez, Ana Belén; Segura Rueda, Sergio; Ruiz Cortés, Antonio (Asociación de Técnicos de Informática, 2013-01-01)
Presentation
Icon

Summary of “Automated Resource Assignment in BPMN Models Using RACI Matrices”.

Cabanillas Macías, Cristina; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (2013-01-01)
PhD Thesis
Icon

On the Automated Analysis of WS-Agreement Documents Applications to the Processes of Creating and Monitoring Agreements

Ruiz Cortés, Antonio; Müller Cejás, Carlos (2013-01-01)
A medida que los SLAs empiezan a ser necesarios en servicios y aplicaciones usadas por el gran público y en ambientes XaaS ...
Chapter of Book
Icon

Automated Analysis of Stateful Feature Models

Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio; Benavides Cuevas, David Felipe (Springer, 2013-01-01)
In CAiSE 2005, we interpreted the extraction of relevant information from extended feature models as an automated reasoning ...
Presentation
Icon

Migrating to the Cloud: a Software Product Line Based Analysis

García Galán, Jesús; Rana, Omer F.; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (2013-01-01)
Identifying which part of a local system should be migrated to a public Cloud environment is often a difficult and error ...
Presentation
Icon

iAgree Studio: A Platform to Edit and Validate WS-Agreement Documents (Poster)

Müller Cejás, Carlos; Gutiérrez, A. M.; Resinas Arias de Reyna, Manuel; Fernández Montes, Pablo; Ruiz Cortés, Antonio (2013-01-01)
Article
Icon

Comprehensive Explanation of SLA Violations at Runtime

Müller Cejás, Carlos; Oriol, Marc; Franch, Xavier; Marco, Jordi; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio; Rodríguez, Marc (IEEE, 2013-01-01)
Service Level Agreements (SLAs) establish the Quality of Service (QoS) agreed between service-based systems consumers and ...
Report
Icon

Automated Metamorphic Testing on the Analysis of Software Variability: Technical Report ISA-2013-TR-03

Segura Rueda, Sergio; Durán Toro, Amador; Sánchez Jerez, Ana Belén; Le Berre, Daniel; Lonca, Emmanuel; Ruiz Cortés, Antonio (2013-01-01)
Variability determines the ability of software applications to be configured and customized. A common need during the ...
Report
Icon

ETHOM: An Evolutionary Algorithm for Optimized Feature Models Generation (v. 1.3) TECHNICAL REPORT ISA-2013-TR-01

Segura Rueda, Sergio; Parejo Maestre, José Antonio; Hierons, Robert M.; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (2013-01-01)
PhD Thesis
Icon

Automating the analysis of stateful feature models

Ruiz Cortés, Antonio; Trinidad Martín Arroyo, Pablo (2012-12-10)
El modelado de la variabilidad es una de las principales tareas en el desarrollo de l´ıneas de productos software (LPS). ...
PhD Thesis
Icon

On the definition and analysis of process performance indicators

Ruiz Cortés, Antonio; Resinas Arias de Reyna, Manuel; Río Ortega, Adela del (2012-09-12)
A key aspect in any process-oriented organisation is the evaluation of process performance for the achievement of its ...
PhD Thesis
Icon

Automated analysis of software product lines with orthogonal variability models: Extending the fama ecosystem

Ruiz Cortés, Antonio; Benavides Cuevas, David Felipe; Roos Frantz, Fabricia (2012-02-20)
La ingeniería de líneas de producto software es un paradigma de desarrollo de software que permite la creación de una ...
Presentation
Icon

Defining Process Performance Indicators By Using Templates and Patterns

Río Ortega, Adela del; Resinas Arias de Reyna, Manuel; Durán Toro, Amador; Ruiz Cortés, Antonio (2012-01-01)
Process Performance Indicators (PPIs) are a key asset for the mea- 2 surement of the achievement of strategic and operational ...
Presentation
Icon

RAL Solver: a Tool to Facilitate Resource Management in Business Process Models

Cabanillas Macías, Cristina; Río Ortega, Adela del; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (2012-01-01)
Business process (BP) modelling notations tend to stray their attention from resource management, unlike other aspects ...
Presentation
Icon

SALMonADA: a Platform for Monitoring and Explaining Violations of Ws-Agreement-Compliant Documents

Müller Cejás, Carlos; Oriol, Marc; Rodríguez, Marc; Franch, Xavier; Marco, Jordi; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (2012-01-01)
Quality assurance techniques have been developed to supervise the service quality (QoS) agreed between servicebased systems ...
Presentation
Icon

PPINOT: a Tool for the Definition and Analysis of Process Performance Indicators

Río Ortega, Adela del; Cabanillas Macías, Cristina; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (2012-01-01)
A key aspect in any process-oriented organisation is the evaluation of process performance for the achievement of its ...
Presentation
Icon

SOA4 All Integrated Ranking: a Preference-Based, Holistic Implementation

García Rodríguez, José María; Ruiz Cortés, David; Ruiz Cortés, Antonio (2012-01-01)
There exist many available service ranking implementations, each one providing ad hoc preference models that offer different ...
Presentation
Icon

STATService: Herramienta de análisis estadístico como soporte para la investigación con Metaheurísticas

Parejo Maestre, José Antonio; García, Jorge; Ruiz Cortés, Antonio; Riquelme Santos, José Cristóbal (2012-01-01)
Actualmente, la aplicación de técnicas estadísticas es una necesidad cuando se trabaja con metaheurísticas. A pesar de que ...
Presentation
Icon

Evaluación y seguimiento de trabajos en equipo de desarrollo de software a través de la calidad del código fuente

Trinidad Martín Arroyo, Pablo; Resinas Arias de Reyna, Manuel; Segura Rueda, Sergio; Ruiz Cortés, Antonio (2012-01-01)
Presentation
Icon

CRISTAL: Collection of Resource-Centric Supporting Tools and Languages

Cabanillas Macías, Cristina; Río Ortega, Adela del; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (2012-01-01)
In this demo, we introduce CRISTAL (Collection of ResourcecentrIc Supporting Tools and Languages), a tool suite aimed at ...
Presentation
Icon

Summary of "Defining and Analysing Resource Assignments in Business Processes with RAL"

Cabanillas Macías, Cristina; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (2012-01-01)
Business process (BP) modelling notations tend to stray their attention from (human) resource management, unlike other ...
Article
Icon

Improving Semantic Web Services Discovery Using SPARQL-Based Repository Filtering

García Rodríguez, José María; Ruiz Cortés, David; Ruiz Cortés, Antonio (Elsevier, 2012-01-01)
Semantic Web Services discovery is commonly a heavyweight task, which has scalability issues when the number of services ...
Article
Icon

Metaheuristic Optimization Frameworks: a Survey and Benchmarking

Parejo Maestre, José Antonio; Ruiz Cortés, Antonio; Lozano Segura, Sebastián; Fernández Montes, Pablo (Springer Verlag, 2012-01-01)
This paper performs an unprecedented comparative study of Metaheuristic optimization frameworks. As criteria for comparison ...
Article
Icon

SOA4 All Integrated Ranking: una herramienta holística basada en preferencias

García Rodríguez, José María; Ruiz Cortés, David; Ruiz Cortés, Antonio (Asociación de Técnicos de Informática, 2012-01-01)
Presentation
Icon

FaMa-OVM: A Tool for the Automated Analysis of OVMs

Roos Frantz, Fabricia; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (ACM, 2012-01-01)
Orthogonal Variability Model (OVM) is a modelling language for representing variability in Software Product Line Engineering. ...
Presentation
Icon

BeTTy: Benchmarking and Testing on the Automated Analysis of Feature Models

Segura Rueda, Sergio; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe; Parejo Maestre, José Antonio; Ruiz Cortés, Antonio (ACM, 2012-01-01)
The automated analysis of feature models is a ourishing research topic that has called the attention of both researchers and ...
Presentation
Icon

SALMonADA: a Platform for Monitoring and Explaining Violations of Ws-Agreement-Compliant Documents

Müller Cejás, Carlos; Oriol, Marc; Rodríguez, Marc; Franch, Xavier; Marco, Jordi; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (2012-01-01)
Quality assurance techniques have been developed to supervise the service quality (QoS) agreed between service-based systems ...
PhD Thesis
Icon

Enhancing the Management of Resource-Aware Business Processes

Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio; Cabanillas Macías, Cristina (2012-01-01)
Article
Icon

Quality-Aware Analysis in Product Line Engineering with the Orthogonal Variability Model

Roos Frantz, Fabricia; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Heuer, André; Lauenroth, Kim (Springer Verlag, 2012-01-01)
Software product line engineering (SPLE) is about producing a set of similar products in a certain domain. A variability ...
PhD Thesis
Icon

Improving Semantic Web Services Discovery and Ranking: a Liggtweight, integrated approach

Ruiz Cortés, David; Ruiz Cortés, Antonio; García Rodríguez, José María (2012-01-01)
Los Servicios Web Semánticos (SWSs) se han convertido en un área de investigación muy activa, en la que diversos frameworks, ...
Presentation
Icon

Automated Resource Assignment in BPMN Models Using RACI Matrices

Cabanillas Macías, Cristina; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (2012-01-01)
Organizations need to manage the responsibility of their employees with respect to all the activities that are daily carried ...
Report
Icon

ETHOM: An Evolutionary Algorithm for Optimized Feature Models Generation (v. 1.2): Technical Report ISA-2012-TR-05

Segura Rueda, Sergio; Parejo Maestre, José Antonio; Hierons, Robert M.; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (2012-01-01)
A feature model defines the valid combinations of features in a domain. The automated extraction of information from feature ...
Report
Icon

FLAME: FAMA Formal Framework (v 1.0): Technical Report ISA–12–TR–02

Durán Toro, Amador; Benavides Cuevas, David Felipe; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (2012-01-01)
Software product lines are rapidly gaining importance across different application domains. This software production ...
Report
Icon

PPI Definition and Automated Design-Time Analysis (v 1.0) : Technical Report ISA–12–TR–02

Río Ortega, Adela del; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (2012-01-01)
The measurement of process performance and its analysis is crucial for the consecution of strategic and operational goals ...
Report
Icon

A test suite for an Agreement Document Analyser (v 1.0) : Technical Report ISA–12–TR–03

Müller Cejás, Carlos; Segura Rueda, Sergio; Ruiz Cortés, Antonio (2012-01-01)
The automated analysis operations of WS–Agreement documents proposed in recent works [1, 2, 3, 4] uses complex techniques ...
Chapter of Book
Icon

Dealing with Complexity in Agent-Oriented Software Engineering: The Importance of Interactions

Hinchey, Michael G.; Coyle, Lorcan; Peña Siles, Joaquín; Levy, Renato; Hinchey, Michael G.; Ruiz Cortés, Antonio (Springer, 2012-01-01)
Report
Icon

ETHOM: An Evolutionary Algorithm for Optimized Feature Models Generation - TECHNICAL REPORT ISA-2012-TR-01 (v. 1.1)

Segura Rueda, Sergio; Parejo Maestre, José Antonio; Hierons, Robert M.; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (2012-01-01)
A feature model defines the valid combinations of features in a domain. The automated extraction of information from feature ...
Report
Icon

An Intuitive and Formal Description of Preferences for Semantic Web Service Discovery and Ranking (Technical Report ISA-12-TR-07)

García Rodríguez, José María; Ruiz Cortés, David; Ruiz Cortés, Antonio (2012-01-01)
Preference modeling constitutes an essential component for the execution of Semantic Web Service (SWS) discovery and, ...
Article
Icon

Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods

Rouff, Christopher A.; Peña Siles, Joaquín; Hinchey, Michael G.; Ruiz Cortés, Antonio (Springer Verlag, 2011-02-01)
The need to collect new data and perform new science is causing the complexity of NASA missions to continually increase. ...
Presentation
Icon

Tool Supported Error Detection and Explanations on Feature Models

García-Galán, Jesús; Trinidad Martín Arroyo, Pablo; Galindo, José A.; Ruiz Cortés, Antonio (2011-01-01)
Automated analysis of feature models (FM) is a field of interest in recent years. Many operations over FMs have been ...
Presentation
Icon

Summary of Defining Process Performance Indicators: an Ontological Approach

Río Ortega, Adela del; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (2011-01-01)
Article
Icon

Automated Metamorphic Testing on the Analyses of Feature Models

Segura Rueda, Sergio; Hierons, Robert M.; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (Elsevier, 2011-01-01)
Context. A Feature Model (FM) represents the valid combinations of features in a domain. The automated extraction of ...
Article
Icon

Mutation Testing on An Object-Oriented Framework: An Experience Report

Segura Rueda, Sergio; Hierons, Robert M.; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (Elsevier, 2011-01-01)
Context: The increasing presence of Object–Oriented (OO) programs in industrial systems is progressively drawing the ...
Article
Icon

Functional Testing of Feature Model Analysis Tools: a Test Suite

Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Segura Rueda, Sergio (Institution of Engineering and Technology, 2011-01-01)
A Feature Model (FM) is a compact representation of all the products of a software product line. Automated analysis of FMs ...
Presentation
Icon

Mixing Rasci Matrices and BPMN Together for Responsibility Management

Cabanillas Macías, Cristina; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (2011-01-01)
Organizations need to manage the responsibility of the employees with respect to all the activities that are carried out ...
Presentation
Icon

Extracting Orthogonal Variability Models From Debian Repositories

Galindo, José A.; Roos Frantz, Fabricia; García-Galán, Jesús; Ruiz Cortés, Antonio (2011-01-01)
Presentation
Icon

Aprendiendo a diseñar software usando juegos de mesa de licencia libre como enunciado de prácticas

Corchuelo Gil, Rafael; Jiménez Rodríguez, María José; Romero Ternero, María del Carmen; Trinidad Martín Arroyo, Pablo; Resinas Arias de Reyna, Manuel; Müller Cejás, Carlos; Parejo Maestre, José Antonio; Ruiz Cortés, Antonio (AENUI: Asociación de Enseñantes Universitarios de Informática, 2011-01-01)
PhD Thesis
Icon

Automated Analysis of Software Product Lines with Orthogonal Variability Models : Extending the FaMa Ecosystem

Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Carneiro Roos, Fabricia (2011-01-01)
Presentation
Icon

Automatic Generation of a Data-Centered View of Business Processes

Cabanillas Macías, Cristina; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio; Awad, Ahmed (Springer, 2011-01-01)
Most commonly used business process (BP) notations, such as BPMN, focus on defining the control flow of the activities of ...
Presentation
Icon

Defining and Analysing Resource Assignments in Business Processes with RAL

Cabanillas Macías, Cristina; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (2011-01-01)
Business process (BP) modelling notations tend to stray their attention from (human) resource management, unlike other ...
Presentation
Icon

FaMa Abductive: una herramienta para explicaciones de errores en modelos de características

García-Galán, Jesús; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (2011-01-01)
La diagnosis de errores es una asignatura pendiente de gran parte de las herramientas de an´alisis de modelos de ...
Presentation
Icon

Automated Diagnosis of Feature Model Configurations

White, Jules; Schmidt, Douglas C.; Benavides Cuevas, David Felipe; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (2011-01-01)
Feature models are widely used to model software product-line (SPL) variability. SPL variants are configured by selecting ...
Presentation
Icon

WS-Governance Tooling: SOA Governance Policies analysis and authoring

Gutiérrez, Antonio Manuel; Parejo Maestre, José Antonio; Fernández Montes, Pablo; Ruiz Cortés, Antonio (IEEE Computer Society, 2011-01-01)
Governance is a capital issue in current Service Oriented Arcuitectures, and governance policies are at its base. The ...
Report
Icon

WS-Governance A language for SOA Governance Policies definition - Technical Report

Parejo Maestre, José Antonio; Fernández Montes, Pablo; Ruiz Cortés, Antonio (2011-01-01)
Article
Icon

Interorganizational Business Modeling: an Approach for Traceability of Goals, Organizational Models and Business Processes

Bocanegra, José; Peña Siles, Joaquín; Ruiz Cortés, Antonio (IEEE Computer Society, 2011-01-01)
The main goal of business modeling is to understand organizations to provide software solutions with high added value. ...
Report
Icon

A Lightweight Prototype Implementation of SPARQL Filters for WSMO-based Discovery (Technical Report ISA-11-TR-01)

García Rodríguez, José María; Ruiz Cortés, David; Ruiz Cortés, Antonio (2011-01-01)
Semantic Web Services discovery is commonly a heavyweight task, which has scal ability issues when the number of services ...
Presentation
Icon

Una Aproximación MDD paraa Agilizar el Modelado de Negocio y su Especificación en Entornos Interorganizacionales

Bocanegra, José; Peña Siles, Joaquín; Ruiz Cortés, Antonio (2010-01-01)
Article
Icon

Automated Diagnosis of Feature Model Configurations

White, Jules; Benavides Cuevas, David Felipe; Schmidt, Douglas C.; Trinidad Martín Arroyo, Pablo; Dougherty, Brian; Ruiz Cortés, Antonio (Elsevier, 2010-01-01)
Software product-lines (SPLs) are software platforms that can be readily reconfigured for different project requirements. ...
Presentation
Icon

Challenges to Support a Ppi Management Lifecycle

Río Ortega, Adela del; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (2010-01-01)
An important aspect in the business process lifecycle is the evaluation of business processes performance, since it helps ...
Presentation
Icon

On the Identification of Data-Related Compliance Problems in Business Processes

Cabanillas Macías, Cristina; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (2010-01-01)
Ensuring the compliance of business processes with regulations is becoming increasingly important to organizations. ...
Presentation
Icon

Building Industry-Ready Tools: FAMA Framework & ADA

Trinidad Martín Arroyo, Pablo; Müller Cejás, Carlos; García-Galán, Jesús; Ruiz Cortés, Antonio (2010-01-01)
Developing good academic tools has become an art that forces researchers to achieve tasks they are not supposed to do. ...
Presentation
Icon

De Frameworks a Ecosistemas: Evolución del Software para Optimización Metaheurística

Parejo Maestre, José Antonio; Fernández Montes, Pablo; Ruiz Cortés, Antonio (2010-01-01)
Article
Icon

Automated analysis of feature models 20 years later: a literature review

Benavides Cuevas, David Felipe; Segura Rueda, Sergio; Ruiz Cortés, Antonio (2010-01-01)
Software product line engineering is about producing a set of related products that share more commonalities than variabilities. ...
Presentation
Icon

A Model of User Preferences for Semantic Services Discovery and Ranking

García Rodríguez, José María; Ruiz Cortés, David; Ruiz Cortés, Antonio (Springer, 2010-01-01)
Current proposals on Semantic Web Services discovery and ranking are based on user preferences descriptions that often ...
Presentation
Icon

Hints on How to Face Business Process Compliance

Cabanillas Macías, Cristina; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (2010-01-01)
Presentation
Icon

Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach

Segura Rueda, Sergio; Hierons, Robert M.; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (IEEE Computer Society, 2010-01-01)
A Feature Model (FM) is a compact representation of all the products of a software product line. The automated extraction ...
Presentation
Icon

A Framework to Analyse WS-Agreement Documents

Müller Cejás, Carlos; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (2010-01-01)
PhD Thesis
IconIcon

Functional and performance testing of feature model analysis tools Extending the fama ecosystem

Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Segura Rueda, Sergio (2010-01-01)
La ingeniería de líneas de productos es un paradigma de desarrollo orientado a construir familias de sistemas software que ...
Presentation
Icon

Automated Analysis of Orthogonal Variability Models Using Constraint Programming.

Roos Frantz, Fabricia; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (2010-01-01)
Software Product Line (SPL) Engineering is about producing a family of products that share commonalities and variabilities. ...
Report
Icon

FaMa Test Suite v1.2: ISA Technical Report ISA-10-TR-01

Segura Rueda, Sergio; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (2010-01-01)
A Feature Model (FM) is a compact representation of all the products of a software product line. Automated analysis of FMs ...
Report
Icon

Experiences from building a WS–Agreement document analyzer tool (Including use cases in WS–Agreement and WSAg4People) v1.0 : Technical Report ISA-10-TR-03

Müller Cejás, Carlos; Durán Toro, Amador; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio; Martín Díaz, Octavio (2010-01-01)
The WS–Agreement specification has gained a wide acceptance in the web services community as a means for establishing ...
Presentation
Icon

Modelado de Negocio Interorganizacional: una Aproximación para la Trazabilidad Entre Objetivos, Modelos Organizacionales y Procesos de Negocio

Bocanegra, José; Peña Siles, Joaquín; Ruiz Cortés, Antonio (2009-01-01)
El principal objetivo del modelado de negocio es comprender el funcionamiento de las empresas para poder aportar soluciones ...
Presentation
Icon

On Using Semantic Web Query Languages for Semantic Web Services Provisioning

García Rodríguez, José María; Rivero, Carlos R.; Ruiz Cortés, David; Ruiz Cortés, Antonio (2009-01-01)
Presentation
Icon

Benchmarking on the Automated Analyses of Feature Models: a Preliminary Roadmap

Segura Rueda, Sergio; Ruiz Cortés, Antonio (2009-01-01)
The automated analysis of Feature Models (FMs) is becoming a well-established discipline. New analysis operations, tools ...
Presentation
Presentation
Icon

Explaining the Non-Compliance between Templates and Agreement Offers in WS-Agreement

Müller Cejás, Carlos; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (2009-01-01)
A common approach to the process of reaching agreements is the publication of templates that guide parties to create ...
Presentation
Icon

SOA Governance: Challenges and Benefits From An Autonomic Perspective

Parejo Maestre, José Antonio; Fernández Montes, Pablo; Ruiz Cortés, Antonio (2009-01-01)
Both Academy and Industry agree in the importance of having an adequate management of the Service Oriented Architecture ...
Presentation
Icon

Feature Model to Orthogonal Variability Model Transformations. A First Step

Roos Frantz, Fabricia; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (2009-01-01)
Feature Model (FM) and Orthogonal Variability Model (OVM) are both modelling approaches employed to represent variability ...
Presentation
Icon

Feature Model to Orthogonal Variability Model Transformation Towards Interoperability Between Tools

Roos Frantz, Fabricia; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (2009-01-01)
Feature Model (FM) and Orthogonal Variability Model (OVM) are both modelling approaches employed to represent variability ...
Presentation
Icon

An Initial Approach to Explaining SLA Inconsistencies

Müller Cejás, Carlos; Ruiz Cortés, Antonio; Resinas Arias de Reyna, Manuel (2009-01-01)
An SLA signed by all interested parties must be created carefully, avoiding contradictions between terms, because their ...
Article
Icon

Hacia el enlace entre la estrategia empresarial mediante modelos de valor y el software de negocio: un enfoque MDD

Bocanegra, José; Peña Siles, Joaquín; Ruiz Cortés, Antonio (Universidad Nacional de Colombia, 2009-01-01)
Presentation
Icon

Using Automated Analysis of Temporal-Aware SLAS in Logistics

Müller Cejás, Carlos; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (2009-01-01)
Service level agreements (SLAs) establish the terms in which a logistics service may be provided or consumed. During the ...
Presentation
Icon

Mass Customisation Along Lifecycle of Autonomic Homes

Cetina, Carlos; Trinidad Martín Arroyo, Pablo; Pelechano, Vicent; Ruiz Cortés, Antonio (2009-01-01)
Autonomic homes adapt themselves to give the user the best possible experience of the services they provide. They dynamically ...
Presentation
Icon

Dealing with Fixable and Non-fixable Properties in Service Matchmaking

Martín Díaz, Octavio; Ruiz Cortés, Antonio; García Rodríguez, José María; Toro Bonilla, Miguel (Springer, 2009-01-01)
In the context of service discovery, matchmakers check the compliance of service-level objectives from providers and ...
Presentation
Icon

FAST-SE: An Esb Based Framework for SLA Trading

Parejo Maestre, José Antonio; Gutiérrez, Antonio Manuel; Fernández Montes, Pablo; Ruiz Cortés, Antonio (2009-01-01)
SLA driven service transaction has been identified as a key challenge to take advantage of a SOA. FAST System provides a ...
Presentation
Icon

Moskitt FM and FAMA FW: Taking feature models to the next level

Cetina, Carlos; Trinidad Martín Arroyo, Pablo; Pelechano, Vicent; Ruiz Cortés, Antonio; Benavides Cuevas, David Felipe (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2009-01-01)
Feature modeling is a key technique to model commonalities and variabilities within a Software Product Line (SPL). Tools ...
Presentation
Icon

Abductive Reasoning and Automated Analysis of Feature Models: How are they connected?

Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (2009-01-01)
In the automated analysis feature models (AAFM), many operations have been defined to extract relevant information to be ...
Presentation
Icon

Three-Dimensional Feature Diagrams Visualization

Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio; Benavides Cuevas, David Felipe; Segura Rueda, Sergio (2008-01-01)
Visualizing and manipulating large feature diagrams is still an open issue for the SPL community. Few effort has been made ...
Presentation
Icon

An Initial Approach to Explaining SLA Inconsistencies

Müller Cejás, Carlos; Ruiz Cortés, Antonio; Resinas Arias de Reyna, Manuel (2008-01-01)
An SLA signed by all interested parties must be created carefully, avoiding contradictions between terms, because their ...
Presentation
Icon

Ranking Semantic Web Services Using Rules Evaluation and Constraint Programming

García Rodríguez, José María; Toma, Ioan; Ruiz Cortés, David; Ruiz Cortés, Antonio; Ding, Ying; Gómez, Juan Miguel (2008-01-01)
Current Semantic Web Services discovery and ranking proposals are based on user preferences descriptions whose expressiveness ...
Presentation
Icon

A Service Ranker Based on Logic Rules Evaluation and Constraint Programming

García Rodríguez, José María; Toma, Ioan; Ruiz Cortés, David; Ruiz Cortés, Antonio (2008-01-01)
Ranking of Semantic Web Services is usually performed based on user preferences descriptions. These descriptions are ...
Presentation
Icon

An Architectural Discussion on DSPL

Carlos Cetina, Carlos; Pelechano, Vicent; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (2008-01-01)
Dynamic Software Product Line (DSPL) engineering has proved itself as an efficient way to deal with run-time product ...
Presentation
Icon

A First Approach to Model SLAS for Composite Services, Using WS-Agreement

Müller Cejás, Carlos; Parejo Maestre, José Antonio; Ruiz Cortés, Antonio (2008-01-01)
Presentation
Icon

Functional Testing of Feature Model Analysis Tools. A First Step

Segura Rueda, Sergio; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (2008-01-01)
The automated analysis of Feature Models (FMs) focuses on the usage of different logic paradigms and solvers to implement ...
Article
Icon

Automated Error Analysis for the Agilization of Feature Modeling

Trinidad Martín Arroyo, Pablo; Benavides Cuevas, David Felipe; Durán Toro, Amador; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (Elsevier, 2008-01-01)
Presentation
Icon

Fama Framework

Trinidad Martín Arroyo, Pablo; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Segura Rueda, Sergio; Jiménez, Alberto (2008-01-01)
FAMA Framework (FAMA FW) is a tool for the automated analysis of variability models (VM). Its main objective is providing ...
Presentation
Icon

QoS-Aware Semantic Service Selection: An Optimization Problem

García Rodríguez, José María; Ruiz Cortés, David; Ruiz Cortés, Antonio; Parejo Maestre, José Antonio (IEEE Computer Society, 2008-01-01)
In order to select the best suited service among a set of discovered services, with respect to QOS parameters, a user have ...
Presentation
Icon

Automated Diagnosis of Product-line Configuration Errors in Feature Models

White, Jules; Schmidt, Douglas C.; Benavides Cuevas, David Felipe; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (IEEE Computer Society, 2008-01-01)
Feature models are widely used to model software product-line (SPL) variability. SPL variants are configured by selecting ...
Presentation
Icon

Semantic Discovery and Selection: A QoS-Aware, Hybrid Model

García Rodríguez, José María; Ruiz Cortés, David; Ruiz Cortés, Antonio; Resinas Arias de Reyna, Manuel (CSREA Press, 2008-01-01)
Most Semantic Web Services discovery ap- proaches are based on Description Logics, allowing a limited expressiveness when ...
Presentation
Icon

From Feature Models to Business Processes

Montero Pérez, Ildefonso; Peña Siles, Joaquín; Ruiz Cortés, Antonio (IEEE Computer Society, 2008-01-01)
The variability level of average-size Business Informa tion Systems (BIS) is highly enough for making the design of this ...
Presentation
Icon

Enabling the Evolution of Service-Oriented Solutions Using an UML2 Profile and a Reference Petri Nets Execution Platform

Fabra, Javier; Peña Siles, Joaquín; Ruiz Cortés, Antonio; Ezpeleta, Joaquín (IEEE Computer Society, 2008-01-01)
The activities developed by a company (business pro cesses) have to change frequently to adapt to the environ ment. The ...
Presentation
Icon

Representing Runtime Variability in Business-Driven Development Systems

Montero Pérez, Ildefonso; Peña Siles, Joaquín; Ruiz Cortés, Antonio (IEEE Computer Society, 2008-01-01)
Business-Driven Development(BDD) is a research field that provides techniques and mechanisms for designing software systems ...
Presentation
Icon

Towards Visualisation and Analysis of Runtime Variability in Execution Time of Business Information Systems based on Product Lines

Montero Pérez, Ildefonso; Peña Siles, Joaquín; Ruiz Cortés, Antonio (DBLP, 2008-01-01)
There is a set of techniques that build Business Information Systems (BIS) deploying business processes of the company ...
Article
Icon

A top down approach for describing the acquaintance organisation of multiagent systems

Peña Siles, Joaquín; Ruiz Cortés, Antonio; Corchuelo Gil, Rafael (2007-01-01)
Presentation
Icon

From Requirements to Web System Design. An Automated Approach Using Graph Transformations

Segura Rueda, Sergio; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Escalona Cuaresma, María José (2007-01-01)
Building Web design models from requirements specification is recognised as a timeconsuming and error-prone task. in this ...
Presentation
Icon

A WS-Agreement Extension for Specifying Temporal Properties in SLAS

Müller Cejás, Carlos; Martín Díaz, Octavio; Resinas Arias de Reyna, Manuel; Fernández Montes, Pablo; Ruiz Cortés, Antonio (2007-01-01)
Service level agreements (SLA) in service oriented architectures allow to regulate the service trading from providers to ...
Presentation
Icon

Mapping Feature Models Onto Component Models to Build Dynamic Software Product Lines

Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio; Peña Siles, Joaquín; Benavides Cuevas, David Felipe (2007-01-01)
Systems such as adaptative and context–aware ones must adapt themselves to changing requirements at runtime. Modeling and ...
Presentation
Icon

Business Family Engineering. Does It Make Sense ?

Montero, Ildefonso; Peña Siles, Joaquín; Ruiz Cortés, Antonio (2007-01-01)
Nowadays most companies in whichever field have a software system that helps managing all the aspects of the company, from ...
Presentation
Icon

Business Family Engineering. Managing the Evolution of Business Driven Systems

Montero, Ildefonso; Peña Siles, Joaquín; Ruiz Cortés, Antonio (2007-01-01)
Nowadays most companies in whichever field have a software system that helps managing all the aspects of the company, from ...
Presentation
Icon

Automated Merging of Feature Models using Graph Transformations

Segura Rueda, Sergio; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Trinidad Martín Arroyo, Pablo (2007-01-01)
Feature Models (FMs) are a key artifact for variability and commonality management in Software Product Lines (SPLs). In ...
Presentation
Icon

Towards Automated Refactoring of Feature Models Using Graph Transformations

Segura Rueda, Sergio; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Trinidad Martín Arroyo, Pablo (2007-01-01)
Software Produ t Line (SPL) development is an approa h to develop families of software systems in a systemati way. A Feature ...
Presentation
Icon

Open Source Tools for Software Product Line Development

Segura Rueda, Sergio; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Trinidad Martín Arroyo, Pablo (2007-01-01)
Open-Source (OS) software development differs widely from close-source development practices because of a number of reasons: ...
Article
Icon

Building the Core Architecture of a NASA Multiagent System Product Line

Peña Siles, Joaquín; Hinchey, Michael G.; Ruiz Cortés, Antonio; Trinidad Martín Arroyo, Pablo (Springer Verlag, 2007-01-01)
The field of Software Product Lines (SPL) emphasizes build- ing a family of software products from which concrete products ...
Presentation
Icon

Improving Temporal-Awareness of WS-Agreement

Müller Cejás, Carlos; Martín Díaz, Octavio; Ruiz Cortés, Antonio; Resinas Arias de Reyna, Manuel; Fernández Montes, Pablo (2007-01-01)
WS-Agreement (WS-Ag) is a proposed recommendation of the Open Grid Forum that provides a schema to describe SLAs and a ...
Article
Icon

An Hybrid, Qos-Aware Discovery of Semantic Web Services Using Constraint Programming

García Rodríguez, José María; Ruiz Cortés, David; Ruiz Cortés, Antonio; Martín Díaz, Octavio; Resinas Arias de Reyna, Manuel (Springer Verlag, 2007-01-01)
Most Semantic Web Services discovery approaches are not well suited when using complex relational, arithmetic and logical ...
Presentation
Icon

Fama: Tooling a Framework for the Automated Analysis of Feature Models

Benavides Cuevas, David Felipe; Segura Rueda, Sergio; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (2007-01-01)
The automated analysis of feature models is recognized as one of the key challenges for automated software development in ...
Presentation
Icon

A Taxonomy of Variability in Web Service Flows

Segura Rueda, Sergio; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Trinidad Martín Arroyo, Pablo (2007-01-01)
The combination of Software Product Lines (SPL) and Service-Oriented Architectures (SOA) development practices is expected ...
Presentation
Icon

On User Preferences and Utility Functions in Selection: A Semantic Approach

García Rodríguez, José María; Ruiz Cortés, David; Ruiz Cortés, Antonio (Springer, 2007-01-01)
Discovery tasks in the context of Semantic Web Services are generally performed using Description Logics. However, this ...
PhD Thesis
Icon

Emparejamiento automático de servicios web usando programación con restricciones

Ruiz Cortés, Antonio; Martín Díaz, Octavio (2007-01-01)
PhD Thesis
IconIcon

On the automated analysis of software product lines using feature models: a framework for developing automated tool support

Ruiz Cortés, Antonio; Durán Toro, Amador; Benavides Cuevas, David Felipe (2007-01-01)
En los últimos años, ha habido un gran empuje por parte de la comunidad investigadora en torno a una nueva línea de ...
Presentation
Icon

¿Por qué OMG ha elegido BPMN para modelar de Procesos de Negocio si ya existe UML?

Pérez Jiménez, Juan Diego; Durán Toro, Amador; Ruiz Cortés, Antonio (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2007-01-01)
Desde junio del 2005 la BPMI (Business Process Management Initiative) es miembro de la OMG (Object Management Group). En ...
Presentation
Icon

FAMA: hacia el análisis automático de modelos de características

Trinidad Martín Arroyo, Pablo; Benavides Cuevas, David Felipe; Segura Rueda, Sergio; Ruiz Cortés, Antonio (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2007-01-01)
Chapter of Book
Icon

Telvent

Linden, Frank van der; Schmid, Klaus; Rommes, Eelco; Bermejo, Jesús; Trinidad Martín Arroyo, Pablo; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (Springer, 2007-01-01)
Article
Icon

Building and Implementing Policies in Autonomous and Autonomic Systems Using Macmas. A Case Study Based on a NASA Concept Mission

Peña Siles, Joaquín; Hinchey, Michael G.; Sterritt, Roy; Ruiz Cortés, Antonio (Springer, 2007-01-01)
Autonomic Computing, self-management based on high level guidance from humans, is increasingly being accepted as a means ...
Presentation
Icon

Isolated Features Detection in Feature Models

Trinidad Martín Arroyo, Pablo; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (2006-01-01)
Feature models are commonly used to describe software product lines in terms of features. Features are linked by relations, ...
Presentation
Icon

Comprobacion de Consistencia y Conformidad en Documentos con Consciencia Temporal

Müller Cejás, Carlos; Martín Díaz, Octavio; Ruiz Cortés, Antonio; García Rodríguez, José María (2006-01-01)
Article
Icon

Multiagent System Product Lines: Challenges and Benefits

Peña Siles, Joaquín; Hinchey, Michael G.; Ruiz Cortés, Antonio (ACM, 2006-01-01)
Presentation
Icon

A Survey on the Automated Analyses of Feture Models

Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Trinidad Martín Arroyo, Pablo; Segura Rueda, Sergio (2006-01-01)
Feature models are one of the most important assets in software product line engineering when capturing variability. ...
Presentation
Icon

Explanations for Agile Feature Models

Trinidad Martín Arroyo, Pablo; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Segura Rueda, Sergio; Toro Bonilla, Miguel (2006-01-01)
Feature models are widely used to represent product lines and they are key parts of the development process in agile ...
Presentation
Icon

A First Step Towards a Framework for the Automated Analysis of Feature Models

Benavides Cuevas, David Felipe; Segura Rueda, Sergio; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (2006-01-01)
Feature modelling is a common mechanism for variability management in the context of software product lines. After years ...
Article
Icon

Automated analysis of feature models: challenges ahead

Batory, Don; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (ACM, 2006-01-01)
Presentation
Icon

A Model-Driven Architecture Approach for Modeling, Specifying and Deploying Policies in Autonomous and Autonomic Systems

Peña Siles, Joaquín; Hinchey, Michael G.; Sterritt, Roy; Ruiz Cortés, Antonio; Resinas Arias de Reyna, Manuel (IEEE Computer Society, 2006-01-01)
Autonomic Computing (AC), self-management based on high level guidance from humans, is increasingly gain ing momentum as ...
Article
Icon

An Approach to Temporal-Aware Procurement of Web Services

Martín Díaz, Octavio; Ruiz Cortés, Antonio; Durán Toro, Amador; Müller Cejás, Carlos (Springer Verlag, 2005-01-01)
In the context of web service procurement (WSP), temporal–awareness refers to managing service demands and offers which ...
Presentation
Icon

Using Java Csp Solvers in the Automated Analyses of Feature Models

Benavides Cuevas, David Felipe; Segura Rueda, Sergio; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (2005-01-01)
Feature Models are used in different stages of software development and are recognized to be an important asset in model ...
Article
Icon

Improving the Automatic Procurement of Web Services Using Constraint Programming

Ruiz Cortés, Antonio; Martín Díaz, Octavio; Durán Toro, Amador; Toro Bonilla, Miguel (World Scientific Publishing, 2005-01-01)
Presentation
Icon

Using Constraint Programming to Reason on Feature Models

Benavides Cuevas, David Felipe; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (2005-01-01)
Feature models have been cited as one of the main contributions to model software product families. However, there is still ...
Presentation
Icon

The Triple Schizophrenia of the Software Engineering Researcher

Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Müller Cejás, Carlos (2005-01-01)
In this paper we question the problem of a software engineering researcher, who in his daily work, has to deal with ...
Presentation
Icon

Automated reasoning on feature models

Benavides Cuevas, David Felipe; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (2005-01-01)
Software Product Line (SPL) Engineering has proved to be an effective method for software production. However, in the SPL ...
Presentation
Icon

Improving Decision Making in Software Product Lines Product Plan Management

Trinidad Martín Arroyo, Pablo; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (2004-01-01)
The increasing demand on developing Software Product Lines (SPL) has given a lot of interest to software engineering ...
Presentation
Icon

A First Approach to Build Product Lines of Multi-organizationalWeb Based Systems (MOWS)

Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Serrano, Miguel A.; Montes de Oca Vázquez, Carlos (Springer, 2004-01-01)
From the recent past and current state of the Internet, it is possible to forecast a wide growing of Multi Organizational ...
Presentation
Icon

Spl needs an automatic holistic model for software reasoning with feature models

Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Corchuelo Gil, Rafael; Martín Díaz, Octavio (Universidad Carlos III, 2004-01-01)
The number of features and their relations in a Software Product Line (SPL) may lead to have SPLs with a big number of ...
Article
Icon

Automating the Procurement of Web Services

Martín Díaz, Octavio; Ruiz Cortés, Antonio; Durán Toro, Amador; Benavides Cuevas, David Felipe; Toro Bonilla, Miguel (Springer Verlag, 2003-01-01)
As government agencies and business become more dependent on web services, software solutions to automate their procurement ...
Article
Icon

A Quality-Aware Approach to Web Services Procurement

Martín Díaz, Octavio; Ruiz Cortés, Antonio; Benavides Cuevas, David Felipe; Durán Toro, Amador; Toro Bonilla, Miguel (Springer Verlag, 2003-01-01)
Web services bring programmers a new way to develop advanced applications able to integrate any group of services on the ...
Presentation
Icon

A Framework For Classifying and Comparing Web Services Procurement Platforms

Martín Díaz, Octavio; Ruiz Cortés, Antonio; Corchuelo Gil, Rafael; Toro Bonilla, Miguel (IEEE Computer Society, 2003-01-01)
The procurement of web services (WSP) shifts the focus of architects and integrators from functional to quality-ofservice (QoS) ...
Article
Icon

Aspect-oriented interaction in multi-organisational web-based systems

Corchuelo Gil, Rafael; Pérez Castellanos, José Antonio; Ruiz Cortés, Antonio (Elsevier, 2003-01-01)
Separation of concerns has been presented as a promising tool to tackle the design of complex systems in which cross-cutting ...
PhD Thesis
IconIcon

Una Aproximación Semicualitativa al Tratamiento Automático de Requisitos de Calidad. Aplicación a la obtención automática de acuerdos de nivel de servicio en MOWS

Corchuelo Gil, Rafael; Toro Bonilla, Miguel; Ruiz Cortés, Antonio (2002-09-23)
De acuerdo con el tipo de técnicas empleadas, las propuestas que abordan el tratamiento sistemático de los requisitos de ...
Article
Icon

Repairing Syntax Errors in LR Parsers

Corchuelo Gil, Rafael; Pérez Castellanos, José Antonio; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (ACM, 2002-01-01)
This article reports on an error-repair algorithm for LR parsers. It locally inserts, deletes or shifts symbols at the ...
Presentation
Icon

Using Constraint Programming for the Automatic Detection of Conflicts in Quality Requirements

Ruiz Cortés, Antonio; Durán Toro, Amador; Corchuelo Gil, Rafael; Toro Bonilla, Miguel (2002-01-01)
Requirements negotiation is quite an interesting, ongoing research area. Current requirements engineering models usually ...
Presentation
Icon

Tabbed Hierarchy : a Design Pattern for the Implementation of Object-Oriented User Interfaces

Durán Toro, Amador; Ruiz Cortés, Antonio; Corchuelo Gil, Rafael; Martín Díaz, Octavio (2002-01-01)
Article
Icon

Vivacidad y justicia en entornos no deterministas

Ruiz Cortés, David; Corchuelo Gil, Rafael; Ruiz Cortés, Antonio (Universidad Autónoma de Bucaramanga, 2002-01-01)
El problema de la vivacidad y la seleccion justa surge en el contexto de los sistemas con ejecuciones no deterministas. ...
Presentation
Icon

Aplicando la Filosofía de las Ciencias de la Complejidad a la Ingeniería del Software

Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (2002-01-01)
Article
Icon

Tabbed Hierarchy: a Design Pattern for the Implementation of Object-Oriented User Interfaces

Durán Toro, Amador; Ruiz Cortés, Antonio; Corchuelo Gil, Rafael; Martín Díaz, Octavio (Centro de Investigación en Computación, 2002-01-01)
Presentation
Icon

Applying XML technologies in Requirements Verification

Durán Toro, Amador; Ruiz Cortés, Antonio; Corchuelo Gil, Rafael; Toro Bonilla, Miguel (2002-01-01)
In this paper, we present an approach for the automatic verification of software requirements specifications. This approach ...
Article
Icon

Verifying Software Requirements with XSLT

Durán Toro, Amador; Ruiz Cortés, Antonio; Bernárdez Jiménez, Beatriz; Toro Bonilla, Miguel (ACM, 2002-01-01)
In this article, we present an approach for the automatic verification of software requirements documents. This approach ...
Presentation
Icon

Supporting Requirements Verification Using XSLT

Durán Toro, Amador; Ruiz Cortés, Antonio; Corchuelo Gil, Rafael; Toro Bonilla, Miguel (IEEE Computer Society, 2002-01-01)
In this paper we present a light-weight approach for the automatic verification of requirements. This approach is not based ...
Presentation
Icon

A Practical Agent-Based Method to Extract Semantic Information from the Web

Arjona Fernández, José Luis; Corchuelo Gil, Rafael; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (Springer, 2002-01-01)
The semantic Web will bring meaning to the Internet,mak - ing it possible for web agents to understand the information it ...
Presentation
Icon

Automatic Extraction of Semantically-Meaningful Information from the Web.

Arjona Fernández, José Luis; Corchuelo Gil, Rafael; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (Springer, 2002-01-01)
The semantic Web will bring meaning to the Internet,making it possible for web agents to understand the information it ...
Article
Icon

Interacción orientada a aspectos en entornos multiorganizacionales

Corchuelo Gil, Rafael; Pérez Castellanos, José Antonio; Ruiz Cortés, Antonio (Universidad Autónoma de Bucaramanga, 2002-01-01)
Por desgracia, las propuestas actuales de separación de aspectos asumen que los objetos interactúan mediante invocación ...
Article
Icon

Multi-Party Coordination in the Context of MOWS

Corchuelo Gil, Rafael; Pérez Castellanos, José Antonio; Ruiz Cortés, Antonio (Springer, 2002-01-01)
Separation of concerns has been presented as a promising tool to tackle the design of complex systems in which cross-cutting ...
Presentation
Icon

Una Aproximación a la Gestión Automática de Alternativas de Diseño

Martín Díaz, Octavio; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (CEUR-WS, 2001-01-01)
La obtención, evaluación y selección de alternativas durante la fase de diseño de cualquier sistema informático son problemas ...
Presentation
Icon

Comprobación Automática de Requisitos de Calidad en Sistemas Multiorganizacionales

Ruiz Cortés, Antonio; Durán Toro, Amador; Corchuelo Gil, Rafael; Bernárdez Jiménez, Beatriz; Toro Bonilla, Miguel (2001-01-01)
El uso de servicios WEB y de servidores de aplicaciones durante el desarrollo y explotación de sistemas multiorganizacionales ...
Presentation
Icon

An XML-Based Approach for the Automatic Verification of Software Requirements Specifications

Durán Toro, Amador; Bernárdez Jiménez, Beatriz; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (2001-01-01)
In this paper, we present an approach for the automatic verification of software requirements specifications. This approach ...
Presentation
Icon

Automated Support for Quality Requirements in Web–Service–Based Systems

Ruiz Cortés, Antonio; Corchuelo Gil, Rafael; Durán Toro, Amador; Toro Bonilla, Miguel (IEEE Computer Society, 2001-01-01)
The automatic checking of quality requirements will play a fundamental role in the future market of web services. The reason ...
Presentation
Icon

An Automated Approach for Verification of Software Requirements

Durán Toro, Amador; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (2001-01-01)
In this paper, we present an automated approach for the verification of software requirements. This approach is based on ...
Presentation
Icon

Identificación de Patrones de Reutilización de Requisitos de Sistemas De Información

Durán Toro, Amador; Ruiz Cortés, Antonio; Corchuelo Gil, Rafael; Toro Bonilla, Miguel (2000-01-01)
Report
Report
Icon

Seguridad en el contexto del comercio electrónico e internet: los protocolos SSL y SET (LSI-2000-06)

Peña Siles, Joaquín; Ruiz Cortés, Antonio; Ferrer Troyano, Francisco Javier (2000-01-01)
Presentation
Icon

An Aspect–Oriented Approach based on Multiparty Interactions to Specifying the Behaviour of a System

Ruiz Cortés, Antonio; Corchuelo Gil, Rafael; Pérez Castellanos, José Antonio; Durán Toro, Amador; Toro Bonilla, Miguel (Institut national de recherche en sciences et technologies du numérique (INRIA), 2000-01-01)
Isolating computation and coordination concerns into separate pure computation and pure coordination enhances modularity, ...
Presentation
Icon

A Requirements Elicitation Approach Based in Templates and Patterns

Durán Toro, Amador; Bernárdez Jiménez, Beatriz; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (1999-01-01)
One of the main problems of requirements elicitation is expressing customer requirements in a form that can be understood ...
Presentation
Icon

Implementing Multiparty Interactions on a Network Computer

Corchuelo Gil, Rafael; Ruiz Cortés, David; Toro Bonilla, Miguel; Ruiz Cortés, Antonio (IEEE Computer Society, 1999-01-01)
Classical client/server interaction primitives such as remote procedure call or rendez–vous are not adequate when we need ...
Presentation
Icon

Expressing Customer Requirements Using Natural Language Requirements Templates and Patterns

Durán Toro, Amador; Bernárdez Jiménez, Beatriz; Toro Bonilla, Miguel; Corchuelo Gil, Rafael; Ruiz Cortés, Antonio; Pérez Castellanos, José Antonio (WSEAS, 1999-01-01)
Expressing customer requirements so they can be understood not only by requirements engineers but also by noncomputer ...