Sciweavers

6016 search results - page 302 / 1204
» The semantics of graphical languages
Sort
View
GPCE
2003
Springer
15 years 12 months ago
SynchNet: A Petri Net Based Coordination Language for Distributed Objects
We present SynchNet, a compositional meta-level language for coordination of distributed. Its design is based on the principle of separation of concerns, namely separation of the c...
Reza Ziaei, Gul Agha
CSCWD
2001
Springer
15 years 11 months ago
Verification of XRL: An XML-based Workflow Language
XRL (eXchangeable Routing Language) is an instancebased workflow language that uses XML for the representation of process definitions and Petri nets for its semantics. Since XRL i...
Wil M. P. van der Aalst, H. M. W. Verbeek, A. Kuma...
ICFP
1999
ACM
15 years 11 months ago
Principals in Programming Languages: A Syntactic Proof Technique
Programs are often structured around the idea that different pieces of code comprise distinct principals, each with a view of its environment. Typical examples include the module...
Steve Zdancewic, Dan Grossman, J. Gregory Morriset...
ER
2008
Springer
128views Database» more  ER 2008»
15 years 8 months ago
Temporal Constraints in Non-temporal Data Modelling Languages
It is common to find that the definition or common usage of a data modelling language causes there to be restrictions placed on the evolution of data values that are associated wit...
Peter McBrien
LREC
2008
125views Education» more  LREC 2008»
15 years 8 months ago
Bootstrapping Language Description: the case of Mpiemo (Bantu A, Central African Republic)
Linguists have long been producing grammatical decriptions of yet undescribed languages. This is a time-consuming process, which has already adapted to improved technology for rec...
Harald Hammarström, Christina Thornell, Malin...