Sciweavers

214 search results - page 9 / 43
» An Open Visualization Framework for Metamodel-Based Modeling...
Sort
View
BIRTHDAY
2004
Springer
14 years 2 months ago
Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
Mark-Oliver Stehr, José Meseguer
REFLECTION
2001
Springer
14 years 1 months ago
Performance and Integrity in the OpenORB Reflective Middleware
, are to address what we perceive as the most pressing shortcomings of current reflective middleware platforms. First, performance: in the worst case, this needs to be on a par wit...
Gordon S. Blair, Geoff Coulson, Michael Clarke, Ni...
CCGRID
2006
IEEE
14 years 10 days ago
An Ontology-Based Conceptual Mapping Framework for Translating FBPML to the Web Services Ontology
This paper presents an ontology-based conceptual mapping framework that translates a formal and visually rich business process modeling (BPM) language, Fundamental Business Proces...
Gayathri Nadarajan, Yun-Heh Chen-Burger
IJCNLP
2004
Springer
14 years 1 months ago
Visual Semantics and Ontology of Eventive Verbs
Various English verb classifications have been analyzed in terms of their syntactic and semantic properties, and conceptual components, such as syntactic valency, lexical semantics...
Minhua Ma, Paul McKevitt
GI
2010
Springer
13 years 6 months ago
Semantics and Execution of Domain Specific Models
: paper we present a two-level approach to extend the abstract syntax of models with concrete semantics in order to execute such models. First, a light-weight execution infrastruct...
Christian Motika, Hauke Fuhrmann, Reinhard von Han...