Fundamental Approaches to Software Engineering

Perdita, Stevens [szerk.]; Andrzej, Wasowski [szerk.]

Angol nyelvű Tudományos Konferenciakötet (Könyv)
Megjelent: Springer, Berlin, Németország, Heidelberg, Németország, 436 p. 2016
Konferencia: Fundamental Approaches to Software Engineering 2016-04-02 [Eindhoven, Hollandia]
Sorozatok: Lecture Notes in Computer Science 0302-9743 1611-3349, 9633
    The generation of sample instance models of Domain-Specific Language (DSL) specifications has become an active research line due to its increasing industrial relevance for engineering complex modeling tools by using large metamodels and complex well-formedness constraints. However, the synthesis of large, well-formed and realistic models is still a major challenge. In this paper, we propose an iterative process for gener- ating valid instance models by calling existing logic solvers as black-box components using various approximations of metamodels and constraints to improve overall scalability. (1) First, we apply enhanced metamodel pruning and partial instance models to reduce the complexity of model generation subtasks and the retrieved partial solutions initiated in each step. (2) Then we propose an (over-)approximation technique for well- formedness constraints in order to interpret and evaluate them on partial (pruned) metamodels. (3) Finally, we define a workflow that incremen- tally generates a sequence of instance models by refining and extending partial models in multiple steps, where each step is an independent call to the underlying solver (the Alloy Analyzer in our experiments).
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2021-10-21 20:45