359 search results - page 1 / 72 » A Visualization of OCL Using Collaborations |
UML
2001
Springer
13 years 9 months ago
2001
Springer
ENTCS
2006
13 years 5 months ago
2006
In this paper we present a model transformation from a visual representation (VisualOCL) of the Object Constraint Language (OCL) to the textual one using graph transformation. Sta...
SOSYM
2010
13 years 3 months ago
2010
In this paper we present an approach for the analysis of graph transformation rules based on an intermediate OCL representation. We translate different rule semantics into OCL, to...
VL
2005
IEEE
13 years 11 months ago
2005
IEEE
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...
ECWEB
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Recently, a trend towards business processes in Business-toBusiness e-Commerce (B2B) is apparent. One of the most promising approaches is UN/CEFACT’s modeling methodolo...