866 search results - page 4 / 174 » A compositional semantics for CHR |
ENTCS
2006
13 years 7 months ago
2006
In this paper, we are motivated by the problem of semantic web services composition. We first present a typical example requiring services composition, give a definition of an aut...
FSTTCS
2005
Springer
14 years 1 months ago
2005
Springer
We extend Howe’s method to prove that input-early strong and -delay contextual bisimulations are congruences for the Higher-order mobile embedded resources (Homer) calculus, a ty...
TPLP
2010
13 years 6 months ago
2010
Constraint Handling Rules (CHR) is a high-level programming language based on multiheaded multiset rewrite rules. Originally designed for writing user-defined constraint solvers,...
WECWIS
2009
IEEE
14 years 2 months ago
2009
IEEE
The process of semantic web service composition arranges several web services into one composite service to realize complex workflows with an exploitation of semantics. This pape...
ECMDAFA
2007
Springer
14 years 1 months ago
2007
Springer
Due to the increased complexity of software development projects more and more systems are described by models. The sheer size makes it impractical to describe these systems by a s...