1357 search results - page 87 / 272 » Compositionality in Graph Transformation |
164
click to vote
TSC
2010
14 years 10 months ago
2010
Data-Providing (DP) services allow query-like access to organizations' data via web services. The invocation of a DP service results in the execution of a query over data sour...
95
Voted
ICCAD
2005
IEEE
16 years 9 days ago
2005
IEEE
State-equivalence based reduction techniques, e.g. bisimulation minimization, can be used to reduce a state transition system to facilitate subsequent verification tasks. However...
135
click to vote
DASFAA
2007
IEEE
15 years 9 months ago
2007
IEEE
In Service Oriented Architecture (SOA), the need for inter-service compatibility analysis has gone beyond what existing service composition/ verification approaches can handle. Giv...
182
click to vote
AGTIVE
2007
Springer
15 years 7 months ago
2007
Springer
Meta-modeling is well known to define the basic concepts of domain-specific languages in an object-oriented way. Based on graph transformation, an abstract meta-model may be enhanc...
140
click to vote
CIIA
2009
15 years 4 months ago
2009
Currently, Web services are available on Internet in a simple and easy way to use. However, a single service can not respond to a predetermined request by user. Thus, it is necessa...