Sciweavers

117 search results - page 10 / 24
» caise 2006
Sort
View
CAISE
2006
Springer
13 years 11 months ago
Workflow Exception Patterns
This paper presents a classification framework for workflow exception handling in the form of patterns. This framework is independent of specific modelling approaches or technologi...
Nick Russell, Wil M. P. van der Aalst, Arthur H. M...
CAISE
2006
Springer
13 years 11 months ago
Separation and Modularization of Crosscutting Social Patterns in Detailed Architectural Design
This paper outlines an aspect-oriented approach to support separation and modularization of crosscutting concerns in multi-agent systems. Aspects as abstractions to capture social ...
Carla T. L. L. Silva, Jaelson Brelaz de Castro, Jo...
CAISE
2006
Springer
13 years 11 months ago
Benchmarking Criteria to Evaluate Ontology Building Methodologies
Abstract. Several ontology building methodologies have been developed endowed with different characteristics, however there is not yet a clear method to select the most appropriate...
Michela Chimienti, Michele Dassisti, Antonio De Ni...
CAISE
2006
Springer
13 years 11 months ago
A Matchmaking-based Ontology Evolution Methodology
In this paper, we present the H-Change methodology we have specifically conceived for evolving independent ontologies in open networked systems. Furthermore, we describe the change...
Silvana Castano, Alfio Ferrara, Stefano Montanelli
CAISE
2006
Springer
13 years 11 months ago
Validation of Regulation Documents by Automated Analysis of Formal Models
Abstract. The security of civil aviation is regulated by a series of international standards and recommended practices. The EDEMOI project aims at investigating different technique...
Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie V...