1587 search results - page 22 / 318 » The Semantics of Extended SOFL |
FORTE
2001
13 years 9 months ago
2001
A symbolic semantics for Full LOTOS in terms of symbolic transition systems is defined; the semantics extends the (infinitely branching) standard semantics by giving meaning to da...
FASE
2001
Springer
14 years 1 days ago
2001
Springer
We define a formal execution semantics for UML activity diagrams that is appropriate for workflow modelling. Our semantics is aimed at the requirements level by assuming that sof...
DKE
2011
13 years 2 months ago
2011
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...
DEXA
2009
Springer
14 years 2 months ago
2009
Springer
In this paper, we propose to extend Peer-to-Peer Semantic Wikis with personal semantic annotations. Semantic Wikis are one of the most successful Semantic Web applications. In sema...
IJCAI
1989
13 years 8 months ago
1989
This paper considers the composition of tuples from two relations in order to derive additional tuples of one of these relations. Our purpose is to determine when the composition i...