J. Ezpeleta | University of Zaragoza (original) (raw)
Papers by J. Ezpeleta
Software: Practice and Experience, 2016
DOI to the publisher's website. • The final author version and the galley proof are versions of t... more DOI to the publisher's website. • The final author version and the galley proof are versions of the publication after peer review. • The final published version features the final layout of the paper including the volume, issue and page numbers. Link to publication General rights Copyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights. • Users may download and print one copy of any publication from the public portal for the purpose of private study or research. • You may not further distribute the material or use it for any profit-making activity or commercial gain • You may freely distribute the URL identifying the publication in the public portal. If the publication is distributed under the terms of Article 25fa of the Dutch Copyright Act, indicated by the "Taverne" license above, please follow below link for the End User Agreement:
EFTA 2003. 2003 IEEE Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.03TH8696)
Abstract Siphons are related to liveness properties of Petri net models. This relation is strong ... more Abstract Siphons are related to liveness properties of Petri net models. This relation is strong in the case of resource allocation systems (RAS). Siphons can be used in these systems in order to both, characterize and prevent/avoid deadlock situations. However, the computation of these structural components can be very time consuming or, even, impossible. Moreover, if, in general, the complete enumeration of the set of minimal siphons must be avoided (there can exist an exponential number of such components), some deadlock prevention ...
Lecture Notes in Computer Science, 1998
This paper is devoted to the synthesis of "well behaved" (live) nets. The work focuses on the syn... more This paper is devoted to the synthesis of "well behaved" (live) nets. The work focuses on the synthesis of a subclass of nets that appear in the modeling of a wide set of flexible manufacturing systems (FMS). Basically, these nets are composed of a set of sequential processes that share a set of common resources (with some constraints in their use). Among the set of problems related to FMS, we are going to concentrate on deadlocks. In this paper, we show that for the systems under consideration it is possible to know, from a structural point of view, if a deadlock is reachable. We also show that this knowledge can be obtained in linear time (with respect to the size of the PN model). The result can be used in order to have a quick answer to whether a given configuration is correct or not, to study if such a configuration exists or not and to conclude if some deadlock control policy is needed. Topics: System design and verification using nets, Analysis and synthesis, Structure and behaviour of nets, Application to flexible manufacturing.
1999 7th IEEE International Conference on Emerging Technologies and Factory Automation. Proceedings ETFA '99 (Cat. No.99TH8467)
Abstract In this paper we introduce a new control policy for a class of nets that appear in the m... more Abstract In this paper we introduce a new control policy for a class of nets that appear in the modeling of flexible manufacturing systems. Both the model of the system and its control are established by using Petri nets. The aim of the imposed control as to ensure that no deadlock problem can occur in the controlled system: a deadlock implies that the processing of some parts, once started, cannot be finished. This is a bad property for automated production systems. In the paper we use the structure of the Petri net model in order to ...
This paper provides an algorithm for parallel program synthesi s. We study the particular but fre... more This paper provides an algorithm for parallel program synthesi s. We study the particular but frequent case of sequential processes cooperation via shared resources. Given such a set of these processes (which may be non deterministic ones) , the algorithm outputs a parallel progra m which ensures safeness, liveness and fairness.
Advances in Petri Nets 1993, 1993
In this paper we propose a new solution to the problem of finding generating families of siphons ... more In this paper we propose a new solution to the problem of finding generating families of siphons (structural dead-locks in classical terminology), traps and st-components in Petri Nets. These families are obtained as solutions of some systems of linear inequalities. Their transformation into a system of linear equations allows to interpret the technique as follows: traps (siphons, st-components) of a
Lecture Notes in Computer Science
Recently, coordination middleware systems have evolved in order to describe coordination protocol... more Recently, coordination middleware systems have evolved in order to describe coordination protocols in business process scenarios. This evolution proposes the use of three main components, being one of them a message broker to handle collaborative interactions among business processes. In a previous work, we proposed a framework for coordination in open BPM systems which used a centralised Linda-based implementation of a message broker. The use of a centralised implementation leads to some common problems which a distributed model tries to solve in an efficient manner. In this paper, we present DRLinda, a distributed and dynamic implementation of the message broker based on the RLinda model, which improves and extends the RLinda's features and can be configured at runtime, being suitable for more complex and highly-dynamic business process scenarios. The performance of the proposed implementation is empirically evaluated on a cluster computing environment.
2014 IEEE 23rd International WETICE Conference, 2014
Cyber Physical Society (CPS) feature a tight integration between computation, communication, and ... more Cyber Physical Society (CPS) feature a tight integration between computation, communication, and control in their operation and interactions with the environment in which they are deployed. The concept of capability, which is the semantics of an action or specific functionality, is therefore a cornerstone in modern Cyber Physical Society, especially those service or process aware. In this track, we present dedicated techniques for capability management and engineering, which can be applied and reused in a large number of areas such as SOA, BPM, Cloud Computing and Internet of Things. These techniques will certainly boost several related research efforts in Cyber Physical Society. This track aims at shedding the light on the importance of capability engineering as well as at bringing together researchers and practitioners working in capability engineering to achieve the vision of cyber physical society by means of current techniques.
Discrete Event Systems, 2000
Abstract In [Tricas et al., 1999] we presented a new method for deadlock prevention in flexible m... more Abstract In [Tricas et al., 1999] we presented a new method for deadlock prevention in flexible manufacturing systems using Petri nets as the modelling tool. It was based on an iterative method, using the structure of the Petri net model. Here we present two things; first, we improve the algorithm which establishes the control; second, we present some experimental results which try to compare a few control methods from the perspective of their" permissivity".
Proceedings of IEEE Systems Man and Cybernetics Conference - SMC
In this paper we propose a modeling methodology allowing the synthesis of live colored Petri net ... more In this paper we propose a modeling methodology allowing the synthesis of live colored Petri net (CPN) models for a class of flexible manufacturing systems (FMS). The inputs of the method are the model of the system architecture and the models of the working plans corresponding to the different types of parts to be processed in the architecture. In a
[1993] Proceedings IEEE International Conference on Robotics and Automation
The synthesis of live models for flexible manufacturing systems (FMSs) is discussed. A class of F... more The synthesis of live models for flexible manufacturing systems (FMSs) is discussed. A class of FMSs composed by a set of sequential processes competing for a set of common resources is considered. For modeling and analysis purposes, a special class of Petri net is considered, i.e., the class of systems of simple sequential processes with resources, that has a practical
Proceedings of the Third International Conference on Computer Integrated Manufacturing,
In this paper we are proposing the use of High Level (Petri) Nets as a tool as much for the model... more In this paper we are proposing the use of High Level (Petri) Nets as a tool as much for the modeling of Production Systems as for the specification and validation of their properties. The interpretation of the diflerent elements of a production system (transport devices, machines, buffers ...) as a set of resources that have to be shared by a
E-Commerce and Web Technologies, 2006
The core functionality of Web-service middlewares tries to wrap existing business logics and make... more The core functionality of Web-service middlewares tries to wrap existing business logics and make them accessible as Web services. Recently, well-known standardization initiatives have proposed some high-level declarative languages for the description of coordination protocols and the implementation of coordination middlewares. In parallel to these initiatives, an increasing interest on the use of classical coordination models on distributed environments has been shown. In this work we present a Linda-like coordination framework using Petri nets, which is executed by the Renew tool, a high-level Petri net interpreter developed in Java, and subsequently exposed as a Web service able to be used by other services for coordination purposes. The implementation is based on an extension of the original Linda model that improves the tuple representation capabilities and extends the matching functions used for the recovery of tuples from the coordination space. The efficiency of the proposed implementation has been empirically evaluated on a cluster computing environment, and its performances compared with the previously reported ones related to JavaSpaces.
Business Process Management, 2006
Page 1. A Framework for the Development and Execution of Horizontal Protocols in Open BPM Systems... more Page 1. A Framework for the Development and Execution of Horizontal Protocols in Open BPM Systems* J. Fabra, P. Álvarez, JA Banares, and J. Ezpeleta Instituto de Investigación en Ingenierıa de Aragón (I3A) Department ...
On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS, 2007
Because of the nature of the Grid, Grid application systems built on traditional software develop... more Because of the nature of the Grid, Grid application systems built on traditional software development techniques can only interoperate with Grid services in an ad hoc manner that requires substantial human intervention. In this paper, we introduce Vega, a pure service-oriented Grid workflow system which consists of a set of loosely coupled services co-operating each other to solve problems. In
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2008
Abstract. Time understanding and its measurement could be a challenge for people with some cognit... more Abstract. Time understanding and its measurement could be a challenge for people with some cognitive impairment. In this paper, a second iteration of a Temporal Orientation Device (TOD) designed for helping that people in under-standing the sense of time is showed. ...
There is growing interest in promoting interoperability among the many different existent Grid in... more There is growing interest in promoting interoperability among the many different existent Grid initiatives. The requirements for interlinking of Grids have already been studied from a general point of view. In this paper, we analyse current practice in Grid interactions and show evidence of how, at certain circumstances, Grid interactions may represent a barrier for interlinking of Grids. Our proposal consists of three combined aspects: a) explicitly modelling the interactions (what we call interaction protocols), b) decoupling the execution flow of services from their interactions with other services and c) services have to be able to dynamically select the interaction protocol at the time they have decided to interact with another party. Next, for a clarifying purpose, we show how DVega, an application built on the proposed principles, can use these features as the foundations for interacting with disparate services from different Grids in a flexible and dynamic way.
Interaction protocols are essential elements for the integration of business processes. Usually, ... more Interaction protocols are essential elements for the integration of business processes. Usually, protocols have been agreed in advance by the participating organizations, playing each participant a predefined role. However, it is also possible that processes need to use/to impose a concrete interaction pattern. The question for another process is to decide whether the interaction between them is possible, which can
Software: Practice and Experience, 2016
DOI to the publisher's website. • The final author version and the galley proof are versions of t... more DOI to the publisher's website. • The final author version and the galley proof are versions of the publication after peer review. • The final published version features the final layout of the paper including the volume, issue and page numbers. Link to publication General rights Copyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights. • Users may download and print one copy of any publication from the public portal for the purpose of private study or research. • You may not further distribute the material or use it for any profit-making activity or commercial gain • You may freely distribute the URL identifying the publication in the public portal. If the publication is distributed under the terms of Article 25fa of the Dutch Copyright Act, indicated by the "Taverne" license above, please follow below link for the End User Agreement:
EFTA 2003. 2003 IEEE Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.03TH8696)
Abstract Siphons are related to liveness properties of Petri net models. This relation is strong ... more Abstract Siphons are related to liveness properties of Petri net models. This relation is strong in the case of resource allocation systems (RAS). Siphons can be used in these systems in order to both, characterize and prevent/avoid deadlock situations. However, the computation of these structural components can be very time consuming or, even, impossible. Moreover, if, in general, the complete enumeration of the set of minimal siphons must be avoided (there can exist an exponential number of such components), some deadlock prevention ...
Lecture Notes in Computer Science, 1998
This paper is devoted to the synthesis of "well behaved" (live) nets. The work focuses on the syn... more This paper is devoted to the synthesis of "well behaved" (live) nets. The work focuses on the synthesis of a subclass of nets that appear in the modeling of a wide set of flexible manufacturing systems (FMS). Basically, these nets are composed of a set of sequential processes that share a set of common resources (with some constraints in their use). Among the set of problems related to FMS, we are going to concentrate on deadlocks. In this paper, we show that for the systems under consideration it is possible to know, from a structural point of view, if a deadlock is reachable. We also show that this knowledge can be obtained in linear time (with respect to the size of the PN model). The result can be used in order to have a quick answer to whether a given configuration is correct or not, to study if such a configuration exists or not and to conclude if some deadlock control policy is needed. Topics: System design and verification using nets, Analysis and synthesis, Structure and behaviour of nets, Application to flexible manufacturing.
1999 7th IEEE International Conference on Emerging Technologies and Factory Automation. Proceedings ETFA '99 (Cat. No.99TH8467)
Abstract In this paper we introduce a new control policy for a class of nets that appear in the m... more Abstract In this paper we introduce a new control policy for a class of nets that appear in the modeling of flexible manufacturing systems. Both the model of the system and its control are established by using Petri nets. The aim of the imposed control as to ensure that no deadlock problem can occur in the controlled system: a deadlock implies that the processing of some parts, once started, cannot be finished. This is a bad property for automated production systems. In the paper we use the structure of the Petri net model in order to ...
This paper provides an algorithm for parallel program synthesi s. We study the particular but fre... more This paper provides an algorithm for parallel program synthesi s. We study the particular but frequent case of sequential processes cooperation via shared resources. Given such a set of these processes (which may be non deterministic ones) , the algorithm outputs a parallel progra m which ensures safeness, liveness and fairness.
Advances in Petri Nets 1993, 1993
In this paper we propose a new solution to the problem of finding generating families of siphons ... more In this paper we propose a new solution to the problem of finding generating families of siphons (structural dead-locks in classical terminology), traps and st-components in Petri Nets. These families are obtained as solutions of some systems of linear inequalities. Their transformation into a system of linear equations allows to interpret the technique as follows: traps (siphons, st-components) of a
Lecture Notes in Computer Science
Recently, coordination middleware systems have evolved in order to describe coordination protocol... more Recently, coordination middleware systems have evolved in order to describe coordination protocols in business process scenarios. This evolution proposes the use of three main components, being one of them a message broker to handle collaborative interactions among business processes. In a previous work, we proposed a framework for coordination in open BPM systems which used a centralised Linda-based implementation of a message broker. The use of a centralised implementation leads to some common problems which a distributed model tries to solve in an efficient manner. In this paper, we present DRLinda, a distributed and dynamic implementation of the message broker based on the RLinda model, which improves and extends the RLinda's features and can be configured at runtime, being suitable for more complex and highly-dynamic business process scenarios. The performance of the proposed implementation is empirically evaluated on a cluster computing environment.
2014 IEEE 23rd International WETICE Conference, 2014
Cyber Physical Society (CPS) feature a tight integration between computation, communication, and ... more Cyber Physical Society (CPS) feature a tight integration between computation, communication, and control in their operation and interactions with the environment in which they are deployed. The concept of capability, which is the semantics of an action or specific functionality, is therefore a cornerstone in modern Cyber Physical Society, especially those service or process aware. In this track, we present dedicated techniques for capability management and engineering, which can be applied and reused in a large number of areas such as SOA, BPM, Cloud Computing and Internet of Things. These techniques will certainly boost several related research efforts in Cyber Physical Society. This track aims at shedding the light on the importance of capability engineering as well as at bringing together researchers and practitioners working in capability engineering to achieve the vision of cyber physical society by means of current techniques.
Discrete Event Systems, 2000
Abstract In [Tricas et al., 1999] we presented a new method for deadlock prevention in flexible m... more Abstract In [Tricas et al., 1999] we presented a new method for deadlock prevention in flexible manufacturing systems using Petri nets as the modelling tool. It was based on an iterative method, using the structure of the Petri net model. Here we present two things; first, we improve the algorithm which establishes the control; second, we present some experimental results which try to compare a few control methods from the perspective of their" permissivity".
Proceedings of IEEE Systems Man and Cybernetics Conference - SMC
In this paper we propose a modeling methodology allowing the synthesis of live colored Petri net ... more In this paper we propose a modeling methodology allowing the synthesis of live colored Petri net (CPN) models for a class of flexible manufacturing systems (FMS). The inputs of the method are the model of the system architecture and the models of the working plans corresponding to the different types of parts to be processed in the architecture. In a
[1993] Proceedings IEEE International Conference on Robotics and Automation
The synthesis of live models for flexible manufacturing systems (FMSs) is discussed. A class of F... more The synthesis of live models for flexible manufacturing systems (FMSs) is discussed. A class of FMSs composed by a set of sequential processes competing for a set of common resources is considered. For modeling and analysis purposes, a special class of Petri net is considered, i.e., the class of systems of simple sequential processes with resources, that has a practical
Proceedings of the Third International Conference on Computer Integrated Manufacturing,
In this paper we are proposing the use of High Level (Petri) Nets as a tool as much for the model... more In this paper we are proposing the use of High Level (Petri) Nets as a tool as much for the modeling of Production Systems as for the specification and validation of their properties. The interpretation of the diflerent elements of a production system (transport devices, machines, buffers ...) as a set of resources that have to be shared by a
E-Commerce and Web Technologies, 2006
The core functionality of Web-service middlewares tries to wrap existing business logics and make... more The core functionality of Web-service middlewares tries to wrap existing business logics and make them accessible as Web services. Recently, well-known standardization initiatives have proposed some high-level declarative languages for the description of coordination protocols and the implementation of coordination middlewares. In parallel to these initiatives, an increasing interest on the use of classical coordination models on distributed environments has been shown. In this work we present a Linda-like coordination framework using Petri nets, which is executed by the Renew tool, a high-level Petri net interpreter developed in Java, and subsequently exposed as a Web service able to be used by other services for coordination purposes. The implementation is based on an extension of the original Linda model that improves the tuple representation capabilities and extends the matching functions used for the recovery of tuples from the coordination space. The efficiency of the proposed implementation has been empirically evaluated on a cluster computing environment, and its performances compared with the previously reported ones related to JavaSpaces.
Business Process Management, 2006
Page 1. A Framework for the Development and Execution of Horizontal Protocols in Open BPM Systems... more Page 1. A Framework for the Development and Execution of Horizontal Protocols in Open BPM Systems* J. Fabra, P. Álvarez, JA Banares, and J. Ezpeleta Instituto de Investigación en Ingenierıa de Aragón (I3A) Department ...
On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS, 2007
Because of the nature of the Grid, Grid application systems built on traditional software develop... more Because of the nature of the Grid, Grid application systems built on traditional software development techniques can only interoperate with Grid services in an ad hoc manner that requires substantial human intervention. In this paper, we introduce Vega, a pure service-oriented Grid workflow system which consists of a set of loosely coupled services co-operating each other to solve problems. In
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2008
Abstract. Time understanding and its measurement could be a challenge for people with some cognit... more Abstract. Time understanding and its measurement could be a challenge for people with some cognitive impairment. In this paper, a second iteration of a Temporal Orientation Device (TOD) designed for helping that people in under-standing the sense of time is showed. ...
There is growing interest in promoting interoperability among the many different existent Grid in... more There is growing interest in promoting interoperability among the many different existent Grid initiatives. The requirements for interlinking of Grids have already been studied from a general point of view. In this paper, we analyse current practice in Grid interactions and show evidence of how, at certain circumstances, Grid interactions may represent a barrier for interlinking of Grids. Our proposal consists of three combined aspects: a) explicitly modelling the interactions (what we call interaction protocols), b) decoupling the execution flow of services from their interactions with other services and c) services have to be able to dynamically select the interaction protocol at the time they have decided to interact with another party. Next, for a clarifying purpose, we show how DVega, an application built on the proposed principles, can use these features as the foundations for interacting with disparate services from different Grids in a flexible and dynamic way.
Interaction protocols are essential elements for the integration of business processes. Usually, ... more Interaction protocols are essential elements for the integration of business processes. Usually, protocols have been agreed in advance by the participating organizations, playing each participant a predefined role. However, it is also possible that processes need to use/to impose a concrete interaction pattern. The question for another process is to decide whether the interaction between them is possible, which can