Formalization of UML Composition in OCL

E-ISSN： 2166-7179|1|1|26-40

ISSN： 2166-7160

Source： International Journal of Software Innovation (IJSI), Vol.1, Iss.1, 2013-01, pp. : 26-40

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Formalization of UML state machines using temporal logic

By Rossi Carlos Enciso Manuel de Guzmán Inmaculada P.

Software and Systems Modeling (SoSyM), Vol. 3, Iss. 1, 2004-03 ,pp. : 31-54

Springer Publishing Company

Access to resources Recommend Favorite

OCL-Based Automated Validation Method for UML Specifications

By Ol'khovich L. Koznov D. V.

Programming and Computer Software, Vol. 29, Iss. 6, 2003-11 ,pp. : 323-327

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Composition inference for UML class diagrams

By Milanova Ana

Automated Software Engineering, Vol. 14, Iss. 2, 2007-06 ,pp. : 179-213

Springer Publishing Company

Access to resources Recommend Favorite

Modelling web service composition with UML 2.0

By Bauer Bernhard Huget Marc-Philippe

International Journal of Web Engineering and Technology, Vol. 1, Iss. 4, 2005-02 ,pp. : 484-501

Inderscience Publishers

Access to resources Recommend Favorite

The HybridUML profile for UML 2.0

By Berkenkötter Kirsten Bisanz Stefan Hannemann Ulrich Peleska Jan

International Journal on Software Tools for Technology Transfer, Vol. 8, Iss. 2, 2006-04 ,pp. : 167-176

Springer Publishing Company

Access to resources Recommend Favorite