A MULTI-FORMALISM MODELING FRAMEWORK: FORMAL DEFINITIONS, MODEL COMPOSITION AND SOLUTION STRATEGIES

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.

GHOLIZADEH HAMID MOHAMMAD; ABDOLLAHI AZGOMI MOHAMMAD

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

Journal Paper

Paper Information

Journal: JOURNAL OF ADVANCES IN COMPUTER RESEARCH Year:2011 | Volume:2 | Issue:3 (5) Page(s): 47-62

Download Full-Text

View:

279

Download:

Cites:

Information Journal Paper

Title

A MULTI-FORMALISM MODELING FRAMEWORK: FORMAL DEFINITIONS, MODEL COMPOSITION AND SOLUTION STRATEGIES

Author(s)

GHOLIZADEH HAMID MOHAMMAD | ABDOLLAHI AZGOMI MOHAMMAD | Issue Writer Certificate

Keywords

MODELING TOOL

OBJECT-ORIENTED MODELING (OOM)

MODEL EVALUATION

MULTIFORMALISM MODELING FRAMEWORK (MFMF)

Abstract

In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified manner. The structure of the framework is organized in four layers: (1) the metaformalism layer, (2) the formalism layer, (3) the class-model layer, and (4) the model layer. The basic concepts of the framework are formally defined using object constraint language (OCL) and have been illustrated using some examples. We have also explained the model composition structure and the solution strategies of the proposed framework. A prototype tool for the proposed framework is implemented, which is briefly introduced in this paper.

Cites

No record.

References

No record.

Cite

APA: Copy

GHOLIZADEH, HAMID MOHAMMAD, & ABDOLLAHI AZGOMI, MOHAMMAD. (2011). A MULTI-FORMALISM MODELING FRAMEWORK: FORMAL DEFINITIONS, MODEL COMPOSITION AND SOLUTION STRATEGIES. JOURNAL OF ADVANCES IN COMPUTER RESEARCH, 2(3 (5)), 47-62. SID. https://sid.ir/paper/328672/en

Vancouver: Copy

GHOLIZADEH HAMID MOHAMMAD, ABDOLLAHI AZGOMI MOHAMMAD. A MULTI-FORMALISM MODELING FRAMEWORK: FORMAL DEFINITIONS, MODEL COMPOSITION AND SOLUTION STRATEGIES. JOURNAL OF ADVANCES IN COMPUTER RESEARCH[Internet]. 2011;2(3 (5)):47-62. Available from: https://sid.ir/paper/328672/en

IEEE: Copy

HAMID MOHAMMAD GHOLIZADEH, and MOHAMMAD ABDOLLAHI AZGOMI, “A MULTI-FORMALISM MODELING FRAMEWORK: FORMAL DEFINITIONS, MODEL COMPOSITION AND SOLUTION STRATEGIES,” JOURNAL OF ADVANCES IN COMPUTER RESEARCH, vol. 2, no. 3 (5), pp. 47–62, 2011, [Online]. Available: https://sid.ir/paper/328672/en

Related Journal Papers

No record.

Related Seminar Papers

No record.

Related Plans

No record.

Recommended Workshops