MURAL - Maynooth University Research Archive Library



    Step 0: An Idea for Automatic OCL Benchmark Generation


    Wu, Hao (2017) Step 0: An Idea for Automatic OCL Benchmark Generation. In: Software Technologies: Applications and Foundations : Revised Selected Papers. Lecture Notes in Computer Science (10748). Springer, Cham, Switzerland, pp. 356-364. ISBN 978-3-319-74729-3

    [img]
    Preview
    Download (326kB) | Preview


    Share your research

    Twitter Facebook LinkedIn GooglePlus Email more...



    Add this article to your Mendeley library


    Abstract

    Model Driven Engineering (MDE) is an important software development paradigm. Within this paradigm, models and constraints are essential components for expressing specifications of a software artefact. Object Constraint Language (OCL), a specification language that allows users to freely express constraints over different model features. However, one major issue is that the lack of OCL benchmarks makes difficult to evaluate existing and newly created OCL tools. In this paper, we present our initial idea about automatic OCL benchmark generation. The purpose of this paper is to show a developing idea rather than presenting a more formal and complete approach. Our idea is to use an OCL metamodel to sketch abstract syntax trees for OCL expressions, and solve generated typing constraints to produce the concrete OCL expressions. We illustrate this idea by using an example, discuss our work-in-progress and outline challenges to be tackled in the future.

    Item Type: Book Section
    Additional Information: This paper was presented at STAF 2017 Collocated Workshops, Marburg, Germany, July 17–21, 2017
    Keywords: Application programs; Software engineering; Specification languages; Specifications; Trees (mathematics); Abstract Syntax Trees; Meta model; Model-driven Engineering; Modeling features; Object Constraint Language; Software artefacts; Work in progress; Software design;
    Academic Unit: Faculty of Science and Engineering > Computer Science
    Item ID: 11981
    Identification Number: https://doi.org/10.1007/978-3-319-74730-9_31
    Depositing User: Hao Wu
    Date Deposited: 03 Dec 2019 12:30
    Publisher: Springer
    Refereed: Yes
    URI:
    Use Licence: This item is available under a Creative Commons Attribution Non Commercial Share Alike Licence (CC BY-NC-SA). Details of this licence are available here

    Repository Staff Only(login required)

    View Item Item control page

    Downloads

    Downloads per month over past year

    Origin of downloads