Sciweavers

383 search results - page 4 / 77
» Formal Syntax and Semantics of Case Stacking Languages
Sort
View
VL
1998
IEEE
134views Visual Languages» more  VL 1998»
14 years 21 days ago
Visual Semantics - Or: What You See is What You Compute
We introduce visual graphs as an intermediate repren between concrete visual syntax and abstract graph syntax. In a visual graph some nodes are shown as geometric figures, and som...
Martin Erwig
JUCS
2008
172views more  JUCS 2008»
13 years 8 months ago
Formal Action Semantics for a UML Action Language
Abstract: The abstract syntax and static semantics of UML, the widely-used generalpurpose graphical modeling language, have been standardized in a four-layer metamodeling framework...
Mikai Yang, Greg J. Michaelson, Rob Pooley
ERSHOV
1999
Springer
14 years 22 days ago
Enhanced Control Flow Graphs in Montages
A semi-visual framework for the speci cation of syntax and semantics of imperative programming languages, called Montages, was proposed in an earlier work by the authors. The prima...
Matthias Anlauff, Philipp W. Kutter, Alfonso Piera...
WWW
2004
ACM
14 years 9 months ago
A proposal for an owl rules language
Although the OWL Web Ontology Language adds considerable expressive power to the Semantic Web it does have expressive limitations, particularly with respect to what can be said ab...
Ian Horrocks, Peter F. Patel-Schneider
EPK
2006
84views Management» more  EPK 2006»
13 years 10 months ago
Nautilus Event-driven Process Chains: Syntax, Semantics, and their Mapping to BPEL
Abstract: Nautilus Event-driven Process Chains (N-EPCs) are a variant of Eventdriven process chains allowing multiple events between functions. This allows events to be used as tra...
Oliver Kopp, Tobias Unger, Frank Leymann