Sciweavers

80 search results - page 2 / 16
» Aspect-Oriented Action Semantics Descriptions
Sort
View
JUCS
2008
172views more  JUCS 2008»
13 years 9 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
ENTCS
2002
132views more  ENTCS 2002»
13 years 9 months ago
Action Semantics and ASF+SDF: System Demonstration
Modularity and tool support are crucial features for practical use of formal descriptions of programming languages. The combination of unrestricted context-free grammars with acti...
Peter D. Mosses
GI
2004
Springer
14 years 3 months ago
Static Safety Analysis of UML Action Semantics for Critical Systems Development
The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to i...
Zsigmond Pap, Dániel Varró
AAAI
2007
14 years 3 days ago
The Semantics of Variables in Action Descriptions
Action description language C+ is more expressive than ADL in many ways; for instance, it addresses the ramification problem. On the other hand, ADL is based on first-order logi...
Vladimir Lifschitz, Wanwan Ren
AMAI
2007
Springer
13 years 10 months ago
Comparing action descriptions based on semantic preferences
Thomas Eiter, Esra Erdem, Michael Fink, Ján...