Name
Abstract | ||
|---|---|---|
Verification of models and model processing programs are inevitable in real-world model-based software development. Model transformation developers are interested in offline verification methods, when only the definition of the model transformation and the metamodels of the source and target languages are used to analyze the properties and no concrete input models are taken into account. Therefore, the results of the analysis hold for each output model not just particular ones, and we have to perform the analysis only once. Most often, formal verification of model transformations is performed manually or the methods can be applied only for a certain transformation or for the analysis of only a certain property. Previous work has presented a formalism to describe the characteristics of model transformations in separate formal expressions called assertions. This description is based on the first-order logic, therefore, if deduction rules are provided, a reasoning system can use an assertion set to automatically derive additional assertions describing additional properties of model transformations. In this paper, we propose deduction rules and present the verification of a model transformation of processing business process models. |
Year | DOI | Venue |
|---|---|---|
2010 | 10.1109/ICST.2010.42 | Software Testing, Verification and Validation |
Keywords | Field | DocType |
model transformation,model processing program,towards automated,output model,offline verification method,certain transformation,formal verification,deduction rule,concrete input model,processing business process model,model transformation developer,model transformations,unified modeling language,informatics,verification,business process model,mathematical model,semantics,concrete,cognition,first order logic,programming,software development,automation,software testing | Verification and validation of computer simulation models,Model transformation,Programming language,Computer science,Runtime verification,Theoretical computer science,First-order logic,Business process modeling,Reasoning system,Software development,Formal verification | Conference |
ISBN | Citations | PageRank |
978-1-4244-6435-7 | 47 | 1.73 |
References | Authors | |
10 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Márk Asztalos | 1 | 108 | 10.94 |
| László Lengyel | 2 | 172 | 25.15 |
| Tihamér Levendovszky | 3 | 185 | 14.96 |