Sciweavers

2539 search results - page 65 / 508
» Semantic frameworks for e-government
Sort
View
JUCS
2008
172views more  JUCS 2008»
14 years 12 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
JUCS
2007
98views more  JUCS 2007»
14 years 11 months ago
Using Visitor Patterns in Object-Oriented Action Semantics
Abstract: Object-Oriented Action Semantics is a semantic framework for the definition of programming languages. The framework incorporates some object-oriented concepts to the Act...
André Murbach Maidl, Cláudio Carvilh...
DEDUCTIVE
1994
122views Database» more  DEDUCTIVE 1994»
15 years 1 months ago
A Simple Model for Active Rules and their Behavior in Deductive Databases
Recent advances in non-monotonic semantics of deductive databases provide a simple framework for modeling the even-condition-action rules of active databases. This approach unifie...
Carlo Zaniolo, Reza Sadri
ECMDAFA
2005
Springer
122views Hardware» more  ECMDAFA 2005»
15 years 5 months ago
Semantic Anchoring with Model Transformations
Model-Integrated Computing (MIC) is an approach to Model-Driven Architecture (MDA), which has been developed primarily for embedded systems. MIC places strong emphasis on the use o...
Kai Chen 0003, Janos Sztipanovits, Sherif Abdelwah...
ESWS
2007
Springer
15 years 3 months ago
Web Service Contracting: Specification and Reasoning with SCIFF
The semantic web vision will facilitate automation of many tasks, including the location and dynamic reconfiguration of web services. In this article, we are concerned with a speci...
Marco Alberti, Federico Chesani, Marco Gavanelli, ...