Name
Abstract | ||
|---|---|---|
In the last years some infrastructures and frameworks have been proposed to enable the compositional development of multiformalism models. The OsMoSys/DrawNET framework allows to develop and analyze complex performability models which are composed by several submodels expressed by means of different formal languages. In this paper we describe the approach to multisolution of multiformalism models in the OsMoSys/DrawNET framework and we introduce the mechanisms used to define the performance indices and generate the required results. |
Year | DOI | Venue |
|---|---|---|
2005 | 10.1109/QEST.2005.22 | QEST |
Keywords | Field | DocType |
complex performability models,last year,multiformalism model,drawnet framework,performance index,complex performability model,required result,different formal language,compositional development,performance indicator,formal language,formal languages,formal specification | Formal language,Programming language,Computer science,Formal specification,Formal methods,Formal verification,Ontology language | Conference |
ISBN | Citations | PageRank |
0-7695-2427-3 | 4 | 0.68 |
References | Authors | |
7 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Marco Gribaudo | 1 | 491 | 59.46 |
| F. Moscato | 2 | 20 | 2.08 |
| Nicola Mazzocca | 3 | 674 | 78.37 |
| valeria vittorini | 4 | 339 | 33.14 |