Sciweavers

DKE
2011
260views Education» more  DKE 2011»
13 years 3 months ago
Analysis on demand: Instantaneous soundness checking of industrial business process models
We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications, and...
Dirk Fahland, Cédric Favre, Jana Koehler, N...
DKE
2011
213views Education» more  DKE 2011»
13 years 6 months ago
Indexing and querying XML using extended Dewey labeling scheme
Jiaheng Lu, Xiaofeng Meng, Tok Wang Ling
DKE
2011
251views Education» more  DKE 2011»
13 years 6 months ago
Generating operation specifications from UML class diagrams: A model transformation approach
One of the more tedious and complex tasks during the specification of conceptual schemas (CSs) is modeling the operations that define the system behavior. This paper aims to simpl...
Manoli Albert, Jordi Cabot, Cristina Gómez,...
DKE
2011
230views Education» more  DKE 2011»
13 years 6 months ago
Supporting concurrent ontology development: Framework, algorithms and tool
We propose a novel approach to facilitate the concurrent development of ontologies by different groups of experts. Our approach adapts Concurrent Versioning, a successful paradigm...
Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau,...