Este artigo tem como objetivo analisar a teoria sobre Gestão por Processos de Negócio
(BPM-Business Process Management). Para isso foi realizada uma revisão bibliográfica …

The discipline of enterprise application integration (EAI) enables the decoupled
communication between (business) applications, and thus became a cornerstone of today's …

Abstract In Process-Aware Information Systems, business processes are often modeled in
an explicit way. Roughly speaking, the available business process modeling languages can …

We present an extension of a Petri net semantics for the Web Service Business Execution
Language (WS-BPEL). This extension covers the novel activities and constructs introduced …

To implement an interorganizational process between different enterprizes, one needs to
agree on the 'rules of engagement'. These can be specified in terms of a contract that …

We detail the design, implementation, and an initial evaluation of a virtual reality education
and entertainment (edutainment) application called Virtual Environment Interactions (VEnvI) …

As systems become more service oriented and processes increasingly cross organizational
boundaries, interaction becomes more important. New technologies support the …

Recently, the temporal constraint satisfiability is regarded as an important criterion in Web
service composition to guarantee its timely completion. This leads to a new challenge in …

LoLA 2 offers a suite of algorithms for verifying place/transition Petri nets. It combines
structural with state space methods and general purpose with Petri net-specific techniques …

For more efficient organizing, browsing, and retrieving digital video content, it is important to
extract video structure information at both scene and shot levels. The paper presents an …