@article{RAMOSGUTIERREZ2023103788,

title = {When business processes meet complex events in logistics: A systematic mapping study},

author = {Belén Ramos Gutiérrez and Antonia M. Reina Quintero and Luisa Parody and María Teresa Gómez López},

url = {https://www.sciencedirect.com/science/article/pii/S0166361522001841},

doi = {https://doi.org/10.1016/j.compind.2022.103788},

issn = {0166-3615},

year  = {2023},

date = {2023-01-01},

journal = {Computers in Industry},

volume = {144},

pages = {103788},

abstract = {Logistics processes are attracting growing attention because of the globalisation of the market. Its growing complexity and the need for reducing costs have provoked the seek of new solutions based on the processing of the complex events that the business processes produce. Event-Driven Business Process Management (EDBPM) is a discipline that studies the integration of business processes and complex events. The analysis of the maturity level of the approaches and gaps to point out future lines of research could help not only logistics organisations, but also academia. Logistics organisation could benefit from producing more environmentally friendly and optimal solutions in transport, and academia could benefit from revealing open problems. Thus, this study aims to identify current approaches, frameworks, and tools that integrate business processes and complex events in the logistics domain. To do so, we follow a systematic approach to do a mapping study that captures and synthesises the approaches, frameworks, and tools that integrate these two fields. As a result, 10,978 articles were gathered and 169 of them were selected for extraction. We have classified the selected studies according to several criteria, including the business process life cycle in which they are being applied, the business process modelling language, and the event process modelling language, among others. Our synthesis reveals the open challenges and the most relevant frameworks and tools. However, there is no mature enough framework or tool ready to be used in companies, and a promising research must provide solutions that cover all phases in the process life cycle.},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{VARELAVACA2023111541,

title = {Feature models to boost the vulnerability management process},

author = {Ángel Varela-Vaca and Diana Borrego and María Gómez-López and Rafael M. Gasca and A. German Márquez},

url = {https://www.sciencedirect.com/science/article/pii/S0164121222002175},

doi = {https://doi.org/10.1016/j.jss.2022.111541},

issn = {0164-1212},

year  = {2023},

date = {2023-01-01},

journal = {Journal of Systems and Software},

volume = {195},

pages = {111541},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Estaol2021,

title = {Reasoning on the usage control security policies over data artifact business process models},

author = {Montserrat Estañol and Ángel Varela-Vaca and María Gómez-López and Ernest Teniente and Rafael Gasca},

url = {https://doi.org/10.2298/csis210217061e},

doi = {10.2298/csis210217061e},

year  = {2022},

date = {2022-01-01},

journal = {Computer Science and Information Systems},

number = {00},

pages = {61--61},

publisher = {National Library of Serbia},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{REINAQUINTERO2022103006,

title = {A domain-specific language for the specification of UCON policies},

author = {Antonia M. Reina Quintero and Salvador Martínez Pérez and Ángel Jesús Varela-Vaca and María Teresa Gómez López and Jordi Cabot},

url = {https://www.sciencedirect.com/science/article/pii/S221421262100212X},

doi = {https://doi.org/10.1016/j.jisa.2021.103006},

issn = {2214-2126},

year  = {2022},

date = {2022-01-01},

journal = {Journal of Information Security and Applications},

volume = {64},

pages = {103006},

abstract = {Security policies constrain the behavior of all users of an information system. In any non-trivial system, these security policies go beyond simple access control rules and must cover more complex and dynamic scenarios while providing, at the same time, a fine-grained level decision-making ability. The Usage Control model (UCON) was created for this purpose but so far integration of UCON in mainstream software engineering processes has been very limited, hampering its usefulness and popularity among the software and information systems communities. In this sense, this paper proposes a Domain-Specific Language to facilitate the modeling of UCON policies and their integration in (model-based) development processes. Together with the language, an exploratory approach for policy evaluation and enforcement of the modeled policies via model transformations has been introduced. These contributions have been defined on top of the Eclipse Modeling Framework, the de-facto standard MDE (Model-Driven Engineering) framework making them freely available and ready-to-use for any software designer interested in using UCON for the definition of security policies in their new development projects.},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{10.1145/3423166,

title = {Smart Contract Languages: A Multivocal Mapping Study},

author = {Ángel Jesús Varela-Vaca and Antonia M. Reina Quintero},

url = {https://doi.org/10.1145/3423166},

doi = {10.1145/3423166},

issn = {0360-0300},

year  = {2022},

date = {2022-01-01},

journal = {ACM Comput. Surv.},

volume = {54},

number = {1},

publisher = {Association for Computing Machinery},

address = {New York, NY, USA},

abstract = {Blockchain is a disruptive technology that has attracted the attention of the scientific community and companies, as proven by the exponential growth of publications on this topic in recent years. This growing interest is mainly due to the promise that the use of blockchain enables it to be verified, without including any trusted intermediaries, that the information received from the network is authentic and up-to-date. In this respect, blockchain is a distributed database that can be seen as a ledger that records all transactions that have ever been executed. In this context, smart contracts are pieces of software used to facilitate, verify, and enforce the negotiation of a transaction on a blockchain platform. These pieces of software are implemented by using programming languages, which are sometimes provided by the blockchain platforms themselves. This study aims to (1) identify and categorise the state-of-the-art related to smart contract languages, in terms of the existing languages and their main features, and (2) identify new research opportunities. The review has been conducted as a multivocal mapping study that follows the guidelines proposed by Garousi et al. for conducting multivocal literature reviews, as well as the guidelines proposed by Kitchenham and Charters for conducting mapping studies. As a result of the implementation of the review protocol, 4,119 papers were gathered, and 109 of them were selected for extraction. The contributions of this article are twofold: (1) 101 different smart contract languages have been identified and classified according to a variety of criteria; (2) a discussion on the findings and their implications for future research have been outlined. As a conclusion, it could be stated that a rigorous and replicable overview of the state-of-the-art of smart contract languages has been provided that can benefit not only researchers but also practitioners in the field, thanks to its multivocal nature.},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{ramos2021discovering,

title = {Discovering configuration workflows from existing logs using process mining},

author = {Belén Ramos-Gutiérrez and Ángel Jes'us Varela-Vaca and José A Galindo and María Teresa Gómez-López and David Benavides},

year  = {2021},

date = {2021-01-01},

journal = {Empirical Software Engineering},

volume = {26},

number = {1},

pages = {1--41},

publisher = {Springer US},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{https://doi.org/10.1002/cmm4.1191,

title = {Data Curation in the Internet of Things: a Decision Model approach},

author = {Francisco José Haro-Olmo and Álvaro Valencia-Parra and Ángel Jesús Varela-Vaca and José Antonio Alvárez-Bermejo},

url = {https://onlinelibrary.wiley.com/doi/abs/10.1002/cmm4.1191},

doi = {https://doi.org/10.1002/cmm4.1191},

year  = {2021},

date = {2021-01-01},

journal = {Computational and Mathematical Methods},

volume = {n/a},

number = {e1191},

pages = {-},

abstract = {Abstract Current IoT scenarios have to deal with many challenges especially when a large amount of heterogeneous data sources are integrated, i.e., data curation. In this respect, the use of poor-quality data (i.e., data with problems) can produce terrible consequence from incorrect decision-making to damaging the performance in the operations. Therefore, using data with an acceptable level of usability has become essential to achieve success. In this paper, we propose an IoT-Big Data Pipeline architecture that enables data acquisition and data curation in any IoT context. We have customised the pipeline by including the DMN4DQ approach to enable us the measuring and evaluating data quality in the data produced by IoT sensors. Further, we have chosen a real dataset from sensors in an agricultural IoT context and we have defined a decision model to enable us the automatic measuring and assessing of the data quality with regard to the usability of the data in the context.},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{VARELAVACA2021103524,

title = {CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems},

author = {Ángel Jesús Varela-Vaca and David G. Rosado and Luis E. Sánchez and María Teresa Gómez-López and Rafael M. Gasca and Eduardo Fernández-Medina},

url = {https://www.sciencedirect.com/science/article/pii/S0166361521001317},

doi = {https://doi.org/10.1016/j.compind.2021.103524},

issn = {0166-3615},

year  = {2021},

date = {2021-01-01},

journal = {Computers in Industry},

volume = {132},

pages = {103524},

abstract = {In the last years, cyber-physical systems (CPS) are receiving substantial mainstream attention especially in industrial environments, but this popularity has been accompanied by serious security challenges. A CPS is a complex system that includes hardware and software components, with different suppliers and connection protocols, forcing complex data management and storage. For this reason, the construction, verification and diagnosis of security CPS become a major challenge, which involves a correct specification of security requirements, the verification of the correct system configurations, and if necessary, the diagnosis to detect the features to be modified to obtain a security configuration. In this paper, we propose a framework for the verification and diagnosis of security requirements, according to the possible correct configurations of the CPS. The framework is based on the specification of the security requirements and their analysis supported by Model-Driven Engineering and Software Product Line Engineering (SPLE) approaches. To illustrate the usefulness, the proposal has been applied to the security requirements in an Agriculture 4.0 scenario based on automated hydroponic cultivation.},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{VALENCIAPARRA2021101731,

title = {Empowering conformance checking using Big Data through horizontal decomposition},

author = {Álvaro Valencia-Parra and Ángel Jesús Varela-Vaca and María Teresa Gómez-López and Josep Carmona and Robin Bergenthum},

url = {https://www.sciencedirect.com/science/article/pii/S0306437921000077},

doi = {https://doi.org/10.1016/j.is.2021.101731},

issn = {0306-4379},

year  = {2021},

date = {2021-01-01},

journal = {Information Systems},

volume = {99},

pages = {101731},

abstract = {Conformance checking unleashes the full power of process mining: techniques from this discipline enable the analysis of the quality of a process model through the discovery of event data, the identification of potential deviations, and the projection of real traces onto process models. In this way, the insights gained from the available event data can be transferred to a richer conceptual level, amenable for human interpretation. Unfortunately, most of the aforementioned functionalities are grounded in an extremely difficult fundamental problem: given an observed trace and a process model, find the model trace that most closely resembles to the trace observed. This paper presents an architecture that supports the creation and distribution of alignment subproblems based on an innovative horizontal acyclic model decomposition, disengaged from the conformance checking algorithm applied for their solution. This is supported by a Big Data infrastructure that facilitates the customised distribution of a gross amount of data. Experiments are provided that testify to the enormous potential of the architecture proposed, thereby opening the door to further research in several directions.},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{haro2021blockchain,

title = {Blockchain-based federation of wireless sensor nodes},

author = {Francisco J. Haro-Olmo and José Antonio Alvarez-Bermejo and Ángel Jes'us Varela-Vaca and JA López-Ramos},

year  = {2021},

date = {2021-01-01},

journal = {The Journal of Supercomputing},

pages = {1--13},

publisher = {Springer US},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{DBLP:journals/dss/Valencia-ParraP21,

title = {DMN4DQ: When data quality meets DMN},

author = {Álvaro Valencia-Parra and Luisa Parody and Ángel Jesús Varela-Vaca and Ismael Caballero and María Teresa Gómez-López},

url = {https://doi.org/10.1016/j.dss.2020.113450},

doi = {10.1016/j.dss.2020.113450},

year  = {2021},

date = {2021-01-01},

journal = {Decis. Support Syst.},

volume = {141},

pages = {113450},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{9249431,

title = {Empirical Evidence of the Usage of Programming Languages in the Educational Process},

author = {Mariuxi Vinueza-Morales and Diana Borrego and José A. Galindo and David Benavides},

doi = {10.1109/TE.2020.3030588},

year  = {2020},

date = {2020-01-01},

journal = {IEEE Transactions on Education},

volume = {64},

number = {3},

pages = {213--222},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{DBLP:journals/cii/BorregoLG20,

title = {Prognosis of multiple instances in time-aware declarative business 

 process models},

author = {Diana Borrego and María Teresa Gómez-López and Rafael M. Gasca},

url = {https://doi.org/10.1016/j.compind.2020.103243},

doi = {10.1016/j.compind.2020.103243},

year  = {2020},

date = {2020-01-01},

journal = {Comput. Ind.},

volume = {120},

pages = {103243},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{DBLP:journals/kais/Perez-AlvarezLE20,

title = {Verifying the manipulation of data objects according to business process 

 and data models},

author = {José Miguel Pérez-Álvarez and María Teresa Gómez-López and Rik Eshuis and Marco Montali and Rafael M. Gasca},

url = {https://doi.org/10.1007/s10115-019-01431-5},

doi = {10.1007/s10115-019-01431-5},

year  = {2020},

date = {2020-01-01},

journal = {Knowl. Inf. Syst.},

volume = {62},

number = {7},

pages = {2653--2683},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{DBLP:journals/jocs/Valencia-ParraV20,

title = {Unleashing Constraint Optimisation Problem solving in Big Data environments},

author = {Álvaro Valencia-Parra and Ángel Jesús Varela-Vaca and Luisa Parody and María Teresa Gómez-López},

url = {https://doi.org/10.1016/j.jocs.2020.101180},

doi = {10.1016/j.jocs.2020.101180},

year  = {2020},

date = {2020-01-01},

journal = {J. Comput. Sci.},

volume = {45},

pages = {101180},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{DBLP:journals/sensors/Haro-OlmoVA20,

title = {Blockchain from the Perspective of Privacy and Anonymisation: A 

 Systematic Literature Review},

author = {Francisco José Haro-Olmo and Ángel Jesús Varela-Vaca and José Antonio Álvarez-Bermejo},

url = {https://doi.org/10.3390/s20247171},

doi = {10.3390/s20247171},

year  = {2020},

date = {2020-01-01},

journal = {Sensors},

volume = {20},

number = {24},

pages = {7171},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{DBLP:journals/tjs/Fernandez-Cerero20,

title = {Measuring data-centre workflows complexity through process mining: 

 the Google cluster case},

author = {Damián Fernández-Cerero and Ángel Jesús Varela-Vaca and Alejandro Fernández-Montes and María Teresa Gómez-López and José Antonio Álvarez-Bermejo},

url = {https://doi.org/10.1007/s11227-019-02996-2},

doi = {10.1007/s11227-019-02996-2},

year  = {2020},

date = {2020-01-01},

journal = {J. Supercomput.},

volume = {76},

number = {4},

pages = {2449--2478},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{DBLP:journals/access/Varela-VacaPGL19,

title = {Automatic Verification and Diagnosis of Security Risk Assessments 

 in Business Process Models},

author = {Angel Jesus Varela-Vaca and Luisa Parody and Rafael M. Gasca and María Teresa Gómez-López},

url = {https://doi.org/10.1109/ACCESS.2019.2901408},

doi = {10.1109/ACCESS.2019.2901408},

year  = {2019},

date = {2019-01-01},

journal = {IEEE Access},

volume = {7},

pages = {26448--26465},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{DBLP:journals/entropy/Ramirez-LopezVR19,

title = {A Framework to Secure the Development and Auditing of SSL Pinning 

 in Mobile Applications: The Case of Android Devices},

author = {Francisco José Ramírez-López and Ángel Jesús Varela-Vaca and Jorge Ropero and Joaquín Luque and Alejandro Carrasco},

url = {https://doi.org/10.3390/e21121136},

doi = {10.3390/e21121136},

year  = {2019},

date = {2019-01-01},

journal = {Entropy},

volume = {21},

number = {12},

pages = {1136},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{DBLP:journals/cii/Perez-AlvarezML18,

title = {Tactical Business-Process-Decision Support based on KPIs Monitoring 

 and Validation},

author = {José Miguel Pérez-Álvarez and Alejandro Maté and María Teresa Gómez-López and Juan Trujillo},

url = {https://doi.org/10.1016/j.compind.2018.08.001},

doi = {10.1016/j.compind.2018.08.001},

year  = {2018},

date = {2018-01-01},

journal = {Comput. Ind.},

volume = {102},

pages = {23--39},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{DBLP:journals/infsof/ParodyLG16,

title = {Hybrid business process modeling for the optimization of outcome data},

author = {Luisa Parody and María Teresa Gómez-López and Rafael M. Gasca},

url = {https://doi.org/10.1016/j.infsof.2015.10.007},

doi = {10.1016/j.infsof.2015.10.007},

year  = {2016},

date = {2016-01-01},

journal = {Inf. Softw. Technol.},

volume = {70},

pages = {140--154},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{DBLP:journals/aicom/Varela-Vaca15,

title = {OPBUS: A framework for improving the dependability of risk-aware 

 business processes},

author = {Angel Jesus Varela-Vaca},

url = {https://doi.org/10.3233/AIC-140651},

doi = {10.3233/AIC-140651},

year  = {2016},

date = {2016-01-01},

journal = {AI Commun.},

volume = {29},

number = {1},

pages = {233--235},

keywords = {},

pubstate = {published},

tppubtype = {article}

}