BIDIRECTIONAL TRANSFORMATION OF STRUCTURAL MODELING ELEMENTS BETWEEN THE UML CLASS DIAGRAM AND OBJECT-Z

Q: How can I download an article?

To download an article from SID, first log in to the site, search for the article title, and click on the 'Download Article' option.

Q: How can I download an ISI article?

To download an ISI article on SID, enter the keyword or article title in the search bar, view the relevant results, click on the desired article, and select the 'Download Article' option.

Q: How can I access the SID database?

To access the SID database, visit SID.ir, create an account, and log in to access scientific resources.

Q: Is downloading articles from SID free?

Some articles on SID are available for free, while others require payment. Details are specified on the article's page.

RASOOLZADEGAN A.; ABD ELAHZADEH BARFOROUSH A.

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Journal Paper

Paper Information

Journal: NASHRIYYAH -I MUHANDISI -I BARQ VA MUHANDISI -I KAMPYUTAR -I IRAN, B- MUHANDISI -I KAMPYUTAR Year:2013 | Volume:10 | Issue:2 Page(s): 69-85

Download Full-Text

Persian Verion

View:

1,411

Download:

Cites:

Information Journal Paper

Title

BIDIRECTIONAL TRANSFORMATION OF STRUCTURAL MODELING ELEMENTS BETWEEN THE UML CLASS DIAGRAM AND OBJECT-Z

Author(s)

RASOOLZADEGAN A. | ABD ELAHZADEH BARFOROUSH A. | Issue Writer Certificate

Keywords

MODEL TRANSFORMATIONQ3

THE UML CLASS DIAGRAMQ3

OBJECT-ZQ3

THE MULTI-LIFT SYSTEMQ3

Abstract

In this paper, a new mechanism is proposed to transform the structural modeling elements of THE UML CLASS DIAGRAM and OBJECT-Z specifications into each other. A set of bidirectional rules is defined to transform the mentioned elements into each other. Bidirectional transformation of THE UML CLASS DIAGRAM, as one of the most useful diagrams of UML, and OBJECT-Z specifications into each other prepares the ground for the use of the unique advantages of both formal and visual modeling methods. The feasibility of the proposed approach is evaluated using the multi-lift case study. The results of conducting the multi-lift case study show that the proposed mechanism is feasible.

Cites

No record.

References

No record.

Cite

APA: Copy

RASOOLZADEGAN, A., & ABD ELAHZADEH BARFOROUSH, A.. (2013). BIDIRECTIONAL TRANSFORMATION OF STRUCTURAL MODELING ELEMENTS BETWEEN THE UML CLASS DIAGRAM AND OBJECT-Z. NASHRIYYAH -I MUHANDISI -I BARQ VA MUHANDISI -I KAMPYUTAR -I IRAN, B- MUHANDISI -I KAMPYUTAR, 10(2), 69-85. SID. https://sid.ir/paper/228438/en

Vancouver: Copy

RASOOLZADEGAN A., ABD ELAHZADEH BARFOROUSH A.. BIDIRECTIONAL TRANSFORMATION OF STRUCTURAL MODELING ELEMENTS BETWEEN THE UML CLASS DIAGRAM AND OBJECT-Z. NASHRIYYAH -I MUHANDISI -I BARQ VA MUHANDISI -I KAMPYUTAR -I IRAN, B- MUHANDISI -I KAMPYUTAR[Internet]. 2013;10(2):69-85. Available from: https://sid.ir/paper/228438/en

IEEE: Copy

A. RASOOLZADEGAN, and A. ABD ELAHZADEH BARFOROUSH, “BIDIRECTIONAL TRANSFORMATION OF STRUCTURAL MODELING ELEMENTS BETWEEN THE UML CLASS DIAGRAM AND OBJECT-Z,” NASHRIYYAH -I MUHANDISI -I BARQ VA MUHANDISI -I KAMPYUTAR -I IRAN, B- MUHANDISI -I KAMPYUTAR, vol. 10, no. 2, pp. 69–85, 2013, [Online]. Available: https://sid.ir/paper/228438/en

Related Journal Papers