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 …

A proposal to detect errors in Enterprise Application Integration solutions

RZ Frantz, R Corchuelo, C Molina-Jiménez - Journal of Systems and …, 2012 - Elsevier
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 …

Fault diagnosis for discrete events systems described by partially observed Petri nets

F Arichi, B Cherki, M Djemai, SM Djouadi - ISA transactions, 2022 - Elsevier
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 …

Fault diagnosis in partially observed Petri nets using redundancies

L Yin, Z Li, N Wu, S Wang, T Qu - IEEE access, 2018 - ieeexplore.ieee.org
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 …

Optimal fault-detection filtering for non-Gaussian systems via output PDFs

T Li, L Guo - IEEE Transactions on Systems, Man, and …, 2009 - ieeexplore.ieee.org
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 …

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 …

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) …

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 …

Observer-based fault diagnosis for a class of non-linear multiple input multiple output uncertain stochastic systems using B-spline expansions

HJ Ma, GH Yang - IET control theory & applications, 2011 - IET
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 …

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 …