809 search results - page 119 / 162 » Formal Semantics for the Java Modeling Language |
134
Voted
STTT
2010
15 years 28 days ago
2010
Kermeta is a meta-language for specifying the structure and behavior of graphs of interconnected objects called models. In this paper, we show that Kermeta is relatively suitable f...
105
click to vote
FCT
2007
Springer
15 years 8 months ago
2007
Springer
In most mainstream object-oriented languages, the object initialization protocol is based on constructors, where different constructors of the same class are, in fact, overloaded ...
119
click to vote
UML
2004
Springer
15 years 8 months ago
2004
Springer
The Object Constraint Language (OCL) plays an important role in the elaboration of precise UML models. Although OCL was designed to be both formal and simple, UML/OCL models may be...
131
Voted
EUROMICRO
2003
IEEE
15 years 7 months ago
2003
IEEE
Recently, several languages for web service composition have emerged (e.g., BPEL4WS and WSCI). The goal of these languages is to glue web services together in a process-oriented w...
118
Voted
AGTIVE
2003
Springer
15 years 7 months ago
2003
Springer
OptimixJ is a graph rewrite tool that can be embedded easily into the standard software process. Applications and models can be developed in Java or UML and extended by graph rewri...