2050 search results - page 103 / 410 » A formal foundation for process modeling |
191
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
This paper describes a novel approach for obtaining semantic interoperability among data sources in a bottom-up, semiautomatic manner without relying on pre-existing, global seman...
192
click to vote
ER
2007
Springer
15 years 10 months ago
2007
Springer
We propose a small set of parameterized abstract models for workflow patterns, starting from first principles for sequential and distributed control. Appropriate instantiations yie...
138
click to vote
ACL
2006
15 years 7 months ago
2006
In this paper we discuss the current methods in the representation of corpora annotated at multiple levels of linguistic organization (so-called multi-level or multi-layer corpora...
179
click to vote
EPK
2007
15 years 7 months ago
2007
Abstract: Quality aspects become increasingly important while business process modeling is used in a large-scale enterprise setting. In order to facilitate a storage without redund...
168
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...