Sciweavers

189 search results - page 1 / 38
» A Compositional Operational Semantics for OWL-S
Sort
View
ENTCS
2010
130views more  ENTCS 2010»
13 years 6 months ago
Structural Operational Semantics and Modal Logic, Revisited
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...
Bartek Klin
ENTCS
2006
199views more  ENTCS 2006»
13 years 9 months ago
Compositional Operational Semantics of a UML-Kernel-Model Language
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...
Harald Fecher, Marcel Kyas, Willem P. de Roever, F...
EPEW
2005
Springer
14 years 2 months ago
A Compositional Operational Semantics for OWL-S
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...
Barry Norton, Simon Foster, Andrew Hughes
FCT
2003
Springer
14 years 2 months ago
Compositionality of Hennessy-Milner Logic through Structural Operational Semantics
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...
Wan Fokkink, Rob J. van Glabbeek, Paulien de Wind