Title of article :
An object-oriented approach to formally analyze the UML 2.0 activity partitions
Author/Authors :
Thouraya Bouabana-Tebibel، نويسنده , , Mounira Belmesk، نويسنده ,
Issue Information :
ماهنامه با شماره پیاپی سال 2007
Keywords :
UML 2.0 , Object Petri Nets , Activity partitions , Object diagram , Sequence diagram
Journal title :
Information and Software Technology
Journal title :
Information and Software Technology