Abstract
As a bridge from informal business requirements to precise specifications, conceptual models serve a critical role in the development of enterprise systems. Instantiating conceptual models with test data can help stakeholders validate the model and provide developers with a test database to validate their code. ORM is a popular conceptual modeling language due in part to its expressive constraint language. Due to that expressiveness, instantiating an arbitrary ORM model is NP-hard. Smaragdakis et al. identified a subset of ORM called ORM− that can be instantiated in polynomial time. However, ORM− excludes several constraints commonly used in commercial models. Recent research has extended ORM− through semantics-preserving transformations. We extend the set of ORM models that can be transformed to ORM− models by using a class of non-semantics-preserving transformations called constraint strengthening. We formalize our approach as a special case of Stevens’ model transformation framework. We discuss an example transformation and its limitations, and we conclude with a proposal for future research.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.