Sciweavers

1357 search results - page 59 / 272
» Compositionality in Graph Transformation
Sort
View
105
Voted
ICALP
2000
Springer
15 years 6 months ago
A Generic Model for Diagram Syntax and Semantics
In this paper, we recall how the syntax of diagrams is captured by the diagram editor generator DIAGEN, and outline a visual, rule-based, and objectoriented programming language b...
Berthold Hoffmann, Mark Minas
ENTCS
2008
129views more  ENTCS 2008»
15 years 2 months ago
The York Abstract Machine
Abstract Machine Greg Manning1 Detlef Plump2 Department of Computer Science The University of York, UK duce the York Abstract Machine (YAM) for implementing the graph programming ...
Greg Manning, Detlef Plump
123
Voted
ICWS
2007
IEEE
15 years 4 months ago
Specifying Semantic Web Service Compositions using UML and OCL
The semantic web promises to bring automation to the areas of web service discovery, composition and invocation. In order to realize these benefits, rich semantic descriptions of...
John T. E. Timm, Gerald C. Gannod
168
Voted
ICMT
2011
Springer
14 years 6 months ago
Toward Bidirectionalization of ATL with GRoundTram
ATL is a language for describing model transformations currently in uni-direction. In our previous work we have shown that transformations of graph structures given in some form ca...
Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhi...
142
Voted
CISIS
2009
IEEE
15 years 9 months ago
A Parameter-Based Scheme for Service Composition in Pervasive Computing Environment
Pervasive computing, the new computing paradigm aiming at providing services anywhere at anytime, poses great challenges on dynamic service composition. Existing service compositi...
Zhenghui Wang, Tianyin Xu, Zhuzhong Qian, Sanglu L...