BEATRIZ PÉREZ VALLE - RESEARCH

Refereed research papers

• E. Domínguez, A. D. Miguel, B. Pérez, A. Rodríguez, and M. A. Zapata (2005). Ubiquitous E-management of indicators. Upgrade 6(5), 58–60.
• E. Domínguez, B. Pérez, A. Rodríguez, and M. A. Zapata (2005). Protocolos médicos para la toma de decisiones en un contexto de computación ubicua. Novática 177, 38–41.
• E. Domínguez, B. Pérez, and M. A. Zapata (2010). Towards a Traceable Clinical Guidelines Application: A Model Driven Approach. Methods of Information in Medicine 46(6), 571–580.
• B. Pérez and I. Porres (2010). Authoring and Verification of Clinical Guidelines: a Model Driven Approach. Journal of Biomedical Informatics 43(4), 520–536.
• E. Domínguez, J. Lloret, B. Pérez, A. Rodríguez, A. L. Rubio, and M. A. Zapata (2011). Evolution of XML schemas and documents from stereotyped UML class models: A traceable approach. Information and Software Technology 53(1), 34–50.
• E. Domínguez, B. Pérez, A. L. Rubio, and M. A. Zapata (2012). A systematic review of code generation proposals from state machine specifications. Information and Software Technology 54(10), 1045 –1066.
• E. Domínguez, B. Pérez, A. L. Rubio, M. A. Zapata, J. Lavilla, and A. Allué (2014). Occurrence-Oriented Design Strategy for Developing Business Process Monitoring Systems. IEEE Trans. Knowl. Data Eng. 26(7): 1749-1762.
• B. Pérez and I. Porres (2014). An Overall Framework for Reasoning About UML/OCL Models Based on Constraint Logic Programming and MDA. International Journal on Advances in Software vol 7 no 1 & 2, 370–380.
• E. Domínguez, B. Pérez, A. L. Rubio, M. A. Zapata, A. Allué and A. López (2017). Developing provenance-aware query systems: an occurrence-centric approach. Knowledge and Information Systems (), 1-28 [Available Online First]
• B. Pérez, J. Rubio, C. Sáenz-Adán (2018). A systematic review of provenance systems. Knowl Inf Syst 57, 495–543 (2018). https://doi.org/10.1007/s10115-018-1164-3. Published version (Submitted version).
• B. Pérez and I. Porres (2019). Reasoning about UML/OCL class diagrams using constraint logic programming and formula. Information Systems, In Press, Corrected Proof, Available online 8 September 2018.
• E. Domínguez, B. Pérez, A. L. Rubio, and M. A. Zapata (2019). A Taxonomy for Key Performance Indicators Management. Computer Standards & Interfaces, Available online December 2018, DOI: 10.1016/j.csi.2018.12.001.
• B. Pérez (2019). Reasoning about clinical guidelines based on algebraic data types and constraint logic programming. J. Biomed. Informatics, 92.
• C. Sáenz-Adán, B. Pérez, F. J. García Izquierdo,L. Moreau (2020). Integrating Provenance Capture and UML with UML2PROV: Principles and Experience. IEEE Transactions on Software Engineering, doi: 10.1109/TSE.2020.2977016. Early Access (Submitted version).

Book chapters

• E. Domínguez, J. Lloret, B. Pérez, A. Rodríguez, A. L. Rubio , and M. A. Zapata (2010). Metamodelizando para Evolucionar: Dos Décadas de Grupo Nóesis In: Universidad de La Rioja, pp.263–272.

Papers in conference proceedings

• E. Domínguez, B. Pérez, A. Rodríguez, and M. A. Zapata (2005). Medical protocols for taking decisions, in an ubiquitous computation context. In: Proc. of 1st Iberoamerican Congress on Ubiquitous Computing CICU’2005, Alcalá de Henares, Spain, May 4-6, 2005, CEUR Workshop Proceedings, ISSN 1613-0073. online CEUR-WS.org/Vol-132/paper05.pdf.
• E. Domínguez, A. D. Miguel, B. Pérez, A. Rodríguez, and M. A. Zapata (2006). Sistemas de información hospitalaria en el contexto de la computación ubicua. In: Actas del II Congreso Iberoamericano sobre Computación Ubicua (CICU 06). Alcalá de Henares, Madrid, pp.147–156.
• E. Domínguez, J. Lloret, B. Pérez, A. Rodríguez, A. L. Rubio, and M. A. Zapata (2007). A Survey of UML Models to XML Schemas Transformations. In: In proceedings of the 8th International Conference on Web Information Systems Engineering (WISE 2007). Vol. 4831. Lecture Notes in Computer Science. Springer, pp.184–195.
• E. Domínguez, J. Lloret, B. Pérez, A. Rodríguez, A. L. Rubio, and M. A. Zapata (2007). Model-Driven Development based Transformation of Stereotyped Class Diagrams to XML Schemas in a Healthcare Context. In: In First International Workshop on Conceptual Modelling for Life Sciences Applications (CMLSA 2007), in conjunction with the Twenty-Sixth International Conference on Conceptual Modeling (ER 2007). Vol. 4802. Lecture Notes in Computer Science. Auckland, New Zealand: Springer, pp.44–53.
• E. Domínguez, B. Pérez, and M. A. Zapata (2008). Tracing the Application of Clinical Guidelines. In: International Workshop On Health Data Management (IWHDM’08), APWEB2008 Workshops. Vol. 4977. Lecture Notes in Computer Science. Springer, pp.122–133.
• B. Pérez and I. Porres (2008). Verification of Clinical Guidelines by Model Checking. In: Proceedings of the 21th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2008), pp.114–119.
• I. Porres, E. Domínguez, B. Pérez, A. Rodríguez, and M. A. Zapata (2008). A Model Driven Approach to Automate the Implementation of Clinical Guidelines in Decision Support Systems. In: 15th Annual IEEE International Conference and Workshops on the Engineering of Computer Based Systems (ECBS). IEEE, pp.210–218.
• E. Domínguez, B. Pérez, and M. A. Zapata (2013). A UML Profile for Dynamic Execution Persistence with Monitoring Purposes. In: Proceedings of the 5th International Workshop on Modeling in Software Engineering (MiSE). IEEE, pp.55–61.
• B. Pérez and I. Porres (2013). Reasoning About UML/OCL Models Using Constraint Logic Programming and MDA. In: Proceedings of the Eighth International Conference on Software Engineering Advances (ICSEA’13), pp. 228-233.
• B. Pérez (2014). An MDA Approach for Reasoning About UML State Machines Based on Constraint Logic Programming. In: Proceedings of the Ninth International Conference on Software Engineering Advances (ICSEA’14), pp. 34-39.
• C. Sáenz-Adán, B. Pérez, T. Dong Huynh, L. Moreau (2018). UML2PROV: Automating Provenance Capture in Software Engineering. In: Proceedings of the International Conference on Current Trends in Theory and Practice of Informatics (SOFSEM'18): 667-681.
• C. Sáenz-Adán, L. Moreau, B. Pérez, S. Miles, F. J. García Izquierdo (2018). Automating Provenance Capture in Software Engineering with UML2PROV. In: Proceedings of the International Provenance and Annotation Workshop (IPAW'18): 58-70.
• E. Domínguez, B. Pérez, A. L. Rubio, M. A. Zapata, A. Allué, A. López (2018). Generating Persistence Structures for the Integration of Data and Control Aspects in Business Process Monitoring. In: Proceedings of the International Conference on Enterprise Information Systems (ICEIS'18): 320-327.
• B. Pérez, A. L. Rubio (2020). A Project-Based Learning Approach for Enhancing Learning Skills and Motivation in Software Engineering. In: Proceedings of the ACM Technical Symposium on Computer Science Education (SIGCSE'20): 309-315.
• E. Domínguez, B. Pérez, A. L. Rubio, M. A. Zapata (2020). Towards a Framework for KPI Evolution. In: Proceedings of the International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE'20): 463-469.
• B. Pérez (2021). Enhancing the Learning of Database Access Programming using Continuous Integration and Aspect Oriented Programming. Accepted for publication in the 43rd International Conference on Software Engineering (ICSE'21): Joint Track on Software Engineering Education and Training (JSEET). Preprint.

Conference posters

• I. Porres, E. Domínguez, B. Pérez, A. Rodríguez, and M. A. Zapata (2007). Development of an Ubiquitous Decision Support System for Clinical Guidelines using MDA. In: Proceedings of the CAiSE’07 Forum. Trondheim, Norway, pp.9–12.