13 search results - page 1 / 3 » Assigning Ontology-Based Semantics to Process Models: The Ca... |
CAISE
2008
Springer
13 years 7 months ago
2008
Springer
Syntactically correct process models are not necessarily meaningful or represent processes that are feasible to execute. Specifically, when executed, the modeled processes might no...
HICSS
2006
IEEE
13 years 11 months ago
2006
IEEE
In terms of the progress of the industry, the velocity and dynamic nature of the global environment, has caused serious damage and diminished our earth’s resources. A lot of eff...
CAISE
2005
Springer
13 years 10 months ago
2005
Springer
Coupling of cross-organizational business processes in electronic markets is a difficult and time-consuming task. In practice business processes are geographically distributed whic...
APN
2001
Springer
13 years 9 months ago
2001
Springer
We propose rewriting logic as a unifying framework for a wide range of Petri nets models. We treat in detail place/transition nets and important extensions of the basic model by in...
APN
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...