Hugo Andres Lopez A.

Hugo Andres Lopez A.
University of Copenhagen · Department of Computer Science

Ph.D. Computer Science

About

28
Publications
1,928
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
168
Citations
Introduction
Hugo Andres Lopez A. currently works at the Software, Data, People and Society section, Department of Computer Science, University of Copenhagen and DCR Solutions, Denmark. Hugo A. works on the intersection between computer science and business process management, with special emphasis on formal methods, verification techniques, compliance and AI (logics & specification, NLP)
Additional affiliations
May 2015 - present
Technical University of Denmark
Position
  • PostDoc Position
March 2014 - May 2015
University of Lisbon
Position
  • PostDoc Position
January 2008 - January 2012
IT University of Copenhagen
Position
  • PhD Student

Publications

Publications (28)
Chapter
Full-text available
Business Process models are conceptual representations of work practices. However, a process is more than its model: key information about the rationale of the process is hidden in accompanying documents. We present a framework for business process discovery from process descriptions in texts. We use declarative process models as our target modelli...
Article
Full-text available
Session-based concurrency is a type-based approach to the analysis of message-passing programs. These programs may be specified in an operational or declarative style: the former defines how interactions are properly structured; the latter defines governing conditions for correct interactions. In this paper, we study rigorous relationships between...
Chapter
In this paper, we take technical and practical steps towards the modularisation of compliant-by-design executable declarative process models. First, we demonstrate by example how the specific language of timed DCR graphs is capable of modelling complex legislation, with examples from laws regulating the functioning of local governments in Denmark....
Chapter
Imperative process models have become immensely popular. However, their use is usually limited to rigid and repetitive processes. Considering the inherent flexibility in most processes in the real-world and the increased need for managing knowledge-intensive processes, the adoption of declarative languages becomes more pertinent than ever. While th...
Chapter
Full-text available
Legal compliance is an important part of certifying the correct behaviour of a business process. To be compliant, organizations might hard-wire regulations into processes, limiting the discretion that workers have when choosing what activities should be executed in a case. Worse, hard-wired compliant processes are difficult to change when laws chan...
Chapter
Full-text available
Process modeling aims at providing an external representation of a business process in the shape of a process model. The complexity of the modeling language, the usability of the modeling tool, and the expertise of the modeler are among the key factors defining the difficulty of a modeling task. Following a qualitative analysis approach, this work...
Chapter
We provide the first formal model for declarative choreographies, which is able to express general omega-regular liveness properties. We use the Dynamic Condition Response (DCR) graphs notation for both choreographies and end-points. We define end-point projection as a restriction of DCR graphs and derive the condition for end-point projectability...
Conference Paper
Full-text available
This paper reports preliminary experiences using the Dynamic Condition Response (DCR) graphs declarative process notation to specify dynamic evaluation forms, and using an execution engine for that notation to subsequently "run" the form. The DCR notation was able to express all the patterns of behaviour necessary for a real case: a post-hoc evalua...
Conference Paper
Energy Systems are facing a significant change in the way their management and control is conceived. With the introduction of distributed and renewable energy based resources, a shift to a more distributed operation paradigm is emerging, overturning the conventional top-down design and operation principles. This shift creates a demand for distribut...
Article
Full-text available
Choreographic programming is a programming-language design approach that drives error-safe protocol development in distributed systems. Starting from a global specification (choreography) one can generate distributed implementations. The advantages of this top-down approach lie in the correctness-by-design principle, where implementations (endpoint...
Conference Paper
Choreographic programming is a programming-language design approach that drives error-safe protocol development in distributed systems. Motivated by challenging scenarios in Cyber-Physical Systems (CPS), we study how choreographic programming can cater for dynamic infrastructures where the availability of components may change at runtime. We introd...
Conference Paper
Full-text available
We present ParTypes, a type-based methodology for the verification of Message Passing Interface (MPI) programs written in the C programming language. The aim is to statically verify programs against protocol specifications, enforcing properties such as fidelity and absence of deadlocks. We develop a protocol language based on a dependent type syste...
Conference Paper
Full-text available
Session-based concurrency is a type-based approach to the analysis of communication-intensive systems. Correct behavior in these systems may be specified in an operational or declarative style: the former defines how interactions are structured; the latter defines governing conditions. In this paper, we investigate the relationship between operatio...
Article
Full-text available
We explore logical reasoning for the global calculus, a coordination model based on the notion of choreography, with the aim to provide a methodology for specification and verification of structured communications. Starting with an extension of Hennessy-Milner logic, we present the global logic (GL), a modal logic describing possible interactions a...
Conference Paper
Full-text available
The Conversation Calculus (CC) is a model of multiparty interactions which extends the π -calculus with the notion of conversation --a possibly distributed medium in which participants may communicate. Here we study the interplay of time and exceptional behavior for models of structured communications based on conversations. We propose C3, a timed...
Article
Full-text available
We present a unified framework for the declarative analysis of structured communications. By relying on a (timed) concurrent constraint programming language, we show that in addition to the usual operational techniques from process calculi, the analysis of structured communications can elegantly exploit logic-based reasoning techniques. We introduc...
Conference Paper
Full-text available
Service and process-oriented systems promise to provide more effective business and work processes and more flexible and adaptable enterprise IT systems. However, the technologies and standards are still young and unstable, making research in their theoretical foundations increasingly important. Our studies focus on two dichotomies: the global/loca...
Conference Paper
Full-text available
The fundamental primitives of Concurrent Constraint Programming (CCP), \({\mathit{tell}}\) and \({\mathit {ask}}\), respectively adds knowledge to and infers knowledge from a shared constraint store. These features, and the elegant use of the constraint system to represent the abilities of attackers, make concurrent constraint programming and timed...
Conference Paper
Full-text available
We present a unified framework for the declarative analysis of structured communications. By relying on a (timed) concurrent constraint programming language, we show that in addition to the usual operational techniques from process calculi, the analysis of structured communications can elegantly exploit logic-based reasoning techniques. We introduc...
Conference Paper
Full-text available
The introduction of information technologies in health care systems often requires to re-engineer the business processes used to deliver care. Obvi- ously, the new and re-engineered processes are observationally different and thus we cannot use existing model-based techniques to argue that they are somehow "equivalent". In this paper we propose a m...
Conference Paper
Full-text available
Due to technological advances such as the Internet and mobile computing, Security has become a serious challenge involving several disciplines of Computer Science. In recent years, there has been a growing interest in the analysis of security protocols and one promising approach is the development of formalisms that model communicating processes, i...
Article
Full-text available
Recent advances in communication have made the use of dynamic and reconfigurable network topologies a mandatory requirement in scenarios where the participants must actively collaborate to each other to achieve a common, specific goal. A particular case of those scenarios are the Peer-to-Peer (P2P) systems. The wide applicability of P2P-based appli...
Article
Full-text available
Peer-to-Peer (P2P) systems can be seen as highly dynamic distributed systems designed for very specific purposes, such as resources sharing in collaborative settings. Be-cause of their ubiquity, it is fundamental to provide techniques for formally proving prop-erties of the communication protocols underlying those systems. In this paper we present...
Article
Full-text available
Peer-to-Peer (P2P) systems can be seen as highly dy-namic distributed systems designed for very specific pur-poses, such as resources sharing in collaborative settings. Because of their ubiquity, it is fundamental to provide tech-niques for formally proving properties of the communica-tion protocols underlying those systems. In this paper we presen...
Article
Full-text available
The notion of computation has significantly evolved in the last ten years or so. Modern computing systems (e.g., Internet) now exhibit infinite behavior, usually in the context of decentralized networks where interactions are inherently concurrent. The ubiqui-tous presence of this new kind of systems has led to the urgent need of counting with tech...

Network

Cited By