Sciweavers

1802 search results - page 37 / 361
» Using Declarative Specifications in Business Process Design
Sort
View
180
Voted
SIGMOD
2009
ACM
218views Database» more  SIGMOD 2009»
16 years 1 months ago
DejaVu: declarative pattern matching over live and archived streams of events
DejaVu is an event processing system that integrates declarative pattern matching over live and archived streams of events on top of a novel system architecture. We propose to dem...
Nihal Dindar, Baris Güç, Patrick Lau, ...
96
Voted
WECWIS
2006
IEEE
129views ECommerce» more  WECWIS 2006»
15 years 6 months ago
Probing and Monitoring of WSBPEL Processes with Web Services
Today’s business climate requires organizations to constantly evolve IT strategies to respond to new opportunities or threats. Tracking the achievement of business goals, object...
Heinz Roth, Josef Schiefer, Alexander Schatten
109
Voted
SAC
2010
ACM
15 years 1 months ago
Data-aware design and verification of service compositions with Reo and mCRL2
Service-based systems can be modeled as stand-alone services coordinated by external connectors. Reo is a channelbased coordination language with well-defined semantics that enabl...
Natallia Kokash, Christian Krause, Erik P. de Vink
125
Voted
PEPM
2004
ACM
15 years 6 months ago
Declarative specialization for object-oriented-program specialization
The use of partial evaluation for specializing programs written in imperative languages such as C and Java is hampered by the difficulty of controlling the specialization process....
Helle Markmann Andersen, Ulrik Pagh Schultz
AOSE
2008
Springer
15 years 2 months ago
Using and Extending the SPEM Specifications to Represent Agent Oriented Methodologies
Situational Method Engineering for constructing ad-hoc agent oriented design process is grounded on a well defined set of phases that are principally based on reuse of components c...
Valeria Seidita, Massimo Cossentino, Salvatore Gag...