189 search results - page 1 / 38 » A Compositional Operational Semantics for OWL-S |
129
click to vote
ENTCS
2010
14 years 11 months ago
2010
A previously introduced combination of the bialgebraic approach to structural operational semantics with aic modal logic is re-examined and improved in some aspects. Firstly, a mo...
111
click to vote
ENTCS
2006
15 years 2 months ago
2006
We define a compositional operational semantics for state machines and their composition in UML. Each state machine describes the behavior of an object of a class. If a class of a...
130
click to vote
EPEW
2005
Springer
15 years 8 months ago
2005
Springer
Software composition via workflow specifications has received a great deal of attention recently. One reason is the high degree of fit with the encapsulation of software modules...
118
Voted
FCT
2003
Springer
15 years 7 months ago
2003
Springer
This paper presents a method for the decomposition of HML formulae. It can be used to decide whether a process algebra term satisfies a HML formula, by checking whether subterms s...
80
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
