Sciweavers

6775 search results - page 241 / 1355
» Diagnosis of Active Systems
Sort
View
UML
2001
Springer
15 years 11 months ago
An Execution Algorithm for UML Activity Graphs
We present a real-time execution semantics for UML activity graphs that is intended for workflow modelling. The semantics is defined in terms of execution algorithms that define...
Rik Eshuis, Roel Wieringa
ESAW
2006
Springer
15 years 10 months ago
An Algorithm for Conflict Resolution in Regulated Compound Activities
The use of norms is a well-known technique of co-ordination in multi-agent systems (MAS) adopted from human societies. A normative position is the "social burden" associa...
Andrés García-Camino, Pablo Noriega,...
DOOD
1995
Springer
102views Database» more  DOOD 1995»
15 years 10 months ago
Active Database Rules with Transaction-Conscious Stable-Model Semantics
Semantics represents a major problem area for active databases inasmuch as (i) there is l framework for defining the abstract semantics of active rules, and (ii) the various syst...
Carlo Zaniolo
MMS
2008
15 years 6 months ago
Canonical processes in active reading and hypervideo production
Active reading of audiovisual documents is an iterative activity, dedicated to the analysis of the audiovisual source through its enrichment with structured metadata and the defin...
Olivier Aubert, Pierre-Antoine Champin, Yannick Pr...
MODELS
2010
Springer
15 years 5 months ago
Towards a Semantics of Activity Diagrams with Semantic Variation Points
Abstract. UML activity diagrams have become an established notamodel control and data flow on various levels of abstraction, ranging from fine-grained descriptions of algorithms ...
Hans Grönniger, Dirk Reiss, Bernhard Rumpe