본문 바로가기
HOME> 논문 > 논문 검색상세

논문 상세정보

Data & knowledge engineering v.107, 2017년, pp.1 - 23   SCIE
본 등재정보는 저널의 등재정보를 참고하여 보여주는 베타서비스로 정확한 논문의 등재여부는 등재기관에 확인하시기 바랍니다.

Automated analysis of integrity constraints in multi-level models

Guerra, E. ; de Lara, J. ;
  • 초록  

    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.


  • 주제어

    Multi-level modelling .   Deep meta-modelling .   Conceptual modelling .   Management of integrity constraints .   Meta-level flattening .   Model finders .   Constraint solving .   MetaDepth.  

 활용도 분석

  • 상세보기

    amChart 영역
  • 원문보기

    amChart 영역

원문보기

무료다운로드
  • 원문이 없습니다.

유료 다운로드의 경우 해당 사이트의 정책에 따라 신규 회원가입, 로그인, 유료 구매 등이 필요할 수 있습니다. 해당 사이트에서 발생하는 귀하의 모든 정보활동은 NDSL의 서비스 정책과 무관합니다.

NDSL에서는 해당 원문을 복사서비스하고 있습니다. 위의 원문복사신청 또는 장바구니 담기를 통하여 원문복사서비스 이용이 가능합니다.

이 논문과 함께 출판된 논문 + 더보기