Abstract | ||
---|---|---|
The usage of models is a fundamental activity in designing and verifying a system. Mastering different modeling techniques and scaling their application to complex systems is not an easy task and requires both advanced skills and proper tools. One of the means that allow modelers to leverage the power of proper modeling techniques (e.g. stochastic techniques) is the application of abstractions by using high level formal modeling languages. This paper presents SIMTHESys, a framework for the development of formal modeling languages and the solution of multiformalism models by automatically generated solvers based on different solving engines. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1016/j.camwa.2012.03.009 | Computers & Mathematics with Applications |
Keywords | Field | DocType |
easy task,simthesys multiformalism modeling framework,multiformalism model,proper modeling technique,complex system,formal modeling language,proper tool,fundamental activity,different modeling technique,high level,advanced skill,metamodeling,modeling languages | Complex system,Mathematical optimization,Abstraction,Software engineering,Computer science,Modeling language,Theoretical computer science,Scaling,Metamodeling | Journal |
Volume | Issue | ISSN |
64 | 12 | 0898-1221 |
Citations | PageRank | References |
6 | 0.49 | 21 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
M. Iacono | 1 | 47 | 2.88 |
E. Barbierato | 2 | 17 | 1.14 |
M. Gribaudo | 3 | 209 | 15.51 |