321 search results - page 9 / 65 » Specifying Executable Platform-Independent Models using OCL |
ISSTA
2009
ACM
14 years 2 months ago
2009
ACM
During testing, the execution of valid cases is only one part of the task. Checking the behavior in boundary situations and in the presence of errors is an equally important subje...
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
A strength of commitment protocols is that they enable agents to act flexibly, thereby enabling them to accommodate varying local policies and respond to exceptions. A consequent ...
ECMDAFA
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...
ISSTA
2004
ACM
14 years 28 days ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...
ECEASST
2010
13 years 2 months ago
2010
The ever-growing use of modeling languages today is largely due to a maturation of model-based development technologies. However, there is enough room for improving language specif...