Authors: Esther Guerra, Juan de Lara
Tags: 2016, conceptual modeling
Multi-level modelling is a technology for model-based development that enables the incremental refinement of models in successive meta-levels, which results in simpler and more intentional system descriptions in some scenarios. In this approach, integrity constraints can be placed at any meta-level, and need to indicate the meta-level below at which they should hold. This requires a careful design, as constraints defined at different meta-levels may interact in unexpected ways. Unfortunately, current techniques for the analysis of the satisfiability of constraints are designed for two meta-levels only. Hence, nowadays, the analysis of multi-level solutions is performed by hand, which is tedious and error-prone. In this paper, we define an automated procedure to check the satisfiability of integrity constraints in a multi-level setting, leveraging on “off-the-shelf” model finders. This procedure is supported by our multi-level modelling tool METADEPTH, which has been extended to reason on the satisfiability of constraints in multi-level models, and to perform automated model completion.
Read the full paper here: https://pdf.sciencedirectassets.com/271546/1-s2.0-S0169023X17X00025/1-s2.0-S0169023X16303457/main.pdf?X-Amz-Security-Token=IQoJb3JpZ2luX2VjEBcaCXVzLWVhc3QtMSJHMEUCIQD8dbNNO3xGCABHQMkR2fKvqgo4gw9gUBPaXNJ%2BdIKwbQIgX3yGG0D2TBeOxRUnoEfhnDlb3d1CwmIXqDSocihAGDkqtAMIMBADGgwwNTkwMDM1NDY4NjUiDPMo1UNvAflVu3LsYiqRA8equly%2F0Wo35C4St%2BaDn4e0hLbWwE2G%2BplNv7VQGBjs8wfBN6HgaoBOQzoFQzpBYrRSmBRReU4PSuwqQu30HfYm%2FFlpb2sJt07flbDmv5GP7UUEfD8tBeMhypBzl7hFVbkqPgSrWzO3%2Fems%2FBGyi7ArtyvdmJYk%2B9n%2F27TCWFu9iZvG4z3QUz3YCmb131q4o7aOAofGX%2BMTxGAgMfbx7x1FzLFddhW5iPsnHuyBnFBMWTpLaxHMI7yefRApQ4QqFS4uPJaTK5z%2Fg3goL0GFDd2%2B9%2B%2Bp72dTo0lpj%2FXli0CI8gRnDpbHVz7eQMkTIJvZj97TmVD561ppZbw6b9QiqnbdrJBskIJmjlU8SzX%2B5WQfZC58EolXGbipf%2BIL8T6rIL%2FiGfCMsDZRExfpWZZXPhGJMxLY9ufHB7mdx1IjUjcQvLyF1ylLRzWRzDiOx%2BDh8%2BQ%2FaXS0nHj24TC46%2BDZlrOxXKwzdocASYD%2FTE3sZzzIVntKfXCvDxN4g9SVD%2F4e0%2BpHkKds7DRi6UGAd9q5VOXkMJ6Tk%2FsFOusBH6jW6DDpK%2FtM%2BfATkPDkXivIuLLTeGSknLI936Ap43Vp7%2F%2BpDAN6iB5usIEbciwS%2Fh7T%2FoX1aIOJjXKJxZBzl8nv7voceq%2B8%2BHp5p8K7Zdmvlh7RMUbbRoCm2PCGoiepd4axqv6VLLupuCqzrCuxFpdcZOotCg61Qtv4dlsfuFOybL5ozqn8ANzZ7nuq0ht0XZAbgAVCEO1yhXt%2FTtk9Ph8tTuk1vfmRG%2FHmR6OkHhW%2BmO%2BqSmtXmDUM3n4U2LitvH8uaZtOs%2FuuLdIc4RJMHP9jq2AL3nxr%2FSm8K%2BHMG0XLk0NTEk2PHMvoMg%3D%3D&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Date=20200918T161046Z&X-Amz-SignedHeaders=host&X-Amz-Expires=300&X-Amz-Credential=ASIAQ3PHCVTY5WIGAQXX%2F20200918%2Fus-east-1%2Fs3%2Faws4_request&X-Amz-Signature=9b7a988b39603023ac4f1cec55770524f187fe39c5ecf75de7971a541864d33d&hash=487f9bf6d4a5f5da0c45a9158877ef4a913aad406f868d3aa1d1df4c8e0a4433&host=68042c943591013ac2b2430a89b270f6af2c76d8dfd086a07176afe7c76c2c61&pii=S0169023X16303457&tid=spdf-dc99df52-52a4-4588-a84d-c9c7b90a8823&sid=ce3e6b217906524963386c21db5fa5ebfaccgxrqa&type=client
