387 search results - page 27 / 78 » Using Formal Concept Analysis to Establish Model Dependencie... |
ESWS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In this article we describe a semantic extension of event-driven process chains, with which it is possible to specify the semantics of individual model elements as it is ...
DKE
2008
13 years 8 months ago
2008
We address the problem of analyzing the interaction between WS-BPEL processes. We present a technology chain that starts out with a WS-BPEL process and translates it into a Petri ...
ENTCS
2006
13 years 7 months ago
2006
In this study, we introduce a model transformation tool for a time-triggered language: Giotto. The tool uses graphs to represent the source code (Giotto) and the target (the sched...
FAC
2008
13 years 8 months ago
2008
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...
AGENTCL
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. The capabilities for agents in a team to anticipate informationneeds of teammates and proactively offer relevant information are highly desirable. However, such behavior...