A domain-specific language to design enterprise application integration solutions
RZ Frantz, AM Reina Quintero… - International Journal of …, 2011 - World Scientific
Enterprise Application Integration (EAI) solutions cope with two kinds of problems within
software ecosystems, namely: keeping a number of application's data in synchrony or …
software ecosystems, namely: keeping a number of application's data in synchrony or …
A proposal to detect errors in Enterprise Application Integration solutions
Enterprise Application Integration (EAI) solutions comprise a set of specific-purpose
processes that implement exogenous message workflows. The goal is to keep a number of …
processes that implement exogenous message workflows. The goal is to keep a number of …
Fault diagnosis for discrete events systems described by partially observed Petri nets
Fault diagnosis problem is discussed for discrete events systems described by partially
observed Petri nets. Our goal is to detect and identify faults that may have occurred in both …
observed Petri nets. Our goal is to detect and identify faults that may have occurred in both …
Fault diagnosis in partially observed Petri nets using redundancies
This paper is devoted to the development of an approach to the diagnosability of a system
described in the framework of partially observed Petri nets (POPNs) such that the developed …
described in the framework of partially observed Petri nets (POPNs) such that the developed …
Optimal fault-detection filtering for non-Gaussian systems via output PDFs
In this paper, a new optimal fault-detection (FD) problem is addressed for a class of non-
Gaussian stochastic systems called stochastic distribution systems (SDSs). For an SDS, the …
Gaussian stochastic systems called stochastic distribution systems (SDSs). For an SDS, the …
Modeling and analysis of connected traffic intersections based on modified binary petri nets
O Yaqub, L Li - International Journal of Vehicular Technology, 2013 - Wiley Online Library
We propose an approach for the modeling and analysis of two connected traffic intersections
based on Petri nets (PNs). We first use a PN to model an isolated four‐way signalized …
based on Petri nets (PNs). We first use a PN to model an isolated four‐way signalized …
On a sufficient information structure for supervisory policies that enforce liveness in a class of general petri nets
V Deverakonda, RS Sreenivas - IEEE Transactions on …, 2014 - ieeexplore.ieee.org
A Petri net (PN) is said to be live if it is possible to fire any transition, although not
immediately, from every reachable marking. A liveness enforcing supervisory policy (LESP) …
immediately, from every reachable marking. A liveness enforcing supervisory policy (LESP) …
Design and fault diagnosis of Petri net controllers for Petri nets with uncontrollable and unobservable transitions
X Yang, L Chen - Journal of Manufacturing Systems, 2009 - Elsevier
This paper presents a methodology for diagnosing faults of controllers which are modeled
by Petri nets with uncontrollable and unobservable transitions. The inadmissible constraints …
by Petri nets with uncontrollable and unobservable transitions. The inadmissible constraints …
Observer-based fault diagnosis for a class of non-linear multiple input multiple output uncertain stochastic systems using B-spline expansions
In this study, a high-gain non-linear observer-based fault diagnosis (FD) approach is
proposed for a class of non-linear uncertain systems with measurable output probability …
proposed for a class of non-linear uncertain systems with measurable output probability …
Error-detection in enterprise application integration solutions
RZ Frantz, R Corchuelo, C Molina-Jim - … 5-7, 2011, Proceedings, Part II, 2011 - Springer
Abstract Enterprise Application Integration (EAI) is a field of Software Engineering. Its focus
is on helping software engineers integrate existing applications at a sensible costs, so that …
is on helping software engineers integrate existing applications at a sensible costs, so that …