Luis Mandel and Mari a Cengarle. On the expressive power of the object constraint language ocl. In FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, volume 1708 of LNCS, pages 854 -- 874. Springer, 1999. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Use of UML for modeling non-functional aspects - Salazar-Zárate, Botella (Correct)
....guards, and it is suited to specify queries in the database sense. That is, OCL can be used to write expressions that evaluate to true or false and also to write expressions that once evaluated return the values respectively satisfying the constraint specified by those query expressions [14]. The introduction of a constraint language is an important step towards the formalization of system specification. Normally OCL is used to express the constraints at the functional level of the system specification, and that is the reason to try to use it for our non functional specifications ....
L. Mandel and M.V. Cengarle. "On the Expressive Power of the Object Constraint Language OCL". Online publication: September 17, 1999. Available at: http://link.springer.de/link/service/series/0558/bibs/1708/17080854.htm
Initial submission for MOF 2.0 Query / Views / - Transformations Rfp Partners (Correct)
No context found.
Luis Mandel and Mari a Cengarle. On the expressive power of the object constraint language ocl. In FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, volume 1708 of LNCS, pages 854 -- 874. Springer, 1999.
On a Temporal Logic for Object-Based Systems - Distefano, Katoen, Rensink (19 citations) (Correct)
No context found.
L. Mandel and M. V. Cengarle. On the expressive power of the Object Constraint Language OCL. Technical report, Forschungsinstitut f ur angewandte Software-Technologie (FAST e.V.), 1999.
Model Mapping in MDA - Guy Caplat Jean (2002) (Correct)
No context found.
L. Mandel, M.V. Cengarle, "On the Expressive Power of the Object Constraint Language OCL", FM'99, LNCS 1708, 1999, 854-874
Transformations RFP Q V - Http Qvtp Org (Correct)
No context found.
Luis Mandel and Maria Cengarle. On the expressive power of the object constraint language ocl. In FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, volume 1708 of LNCS, pages 854 -- 874. Springer, 1999.
Exploiting the Theoretical Limitations of UML for Model.. - Steimann, Vollmer (2003) (Correct)
No context found.
L Mandel, MV Cengarle "On the expressive power of the Object Constraint Language OCL" Technical Report (http://projekte.fast.de/Projekte/forsoft/ocl/, 1999).
On A Temporal Logic For Object-Based Systems - Distefano, Katoen, Rensink (2000) (19 citations) (Correct)
No context found.
L. Mandel and M. V. Cengarle. On the expressive power of the Object Constraint Language OCL. Technical report, Forschungsinstitut f ur angewandte Software-Technologie (FAST e.V.), 1999.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC