Skip to main content

SemCheck: Checking Constraints for Multi-perspective Modeling Languages

  • Chapter
  • First Online:
Domain-Specific Conceptual Modeling

Abstract

Enterprises are complex and dynamic organizations that can hardly be understood from a single viewpoint. Enterprise modeling tackles this problem by providing multiple, specialized modeling languages, each designed for representing information about the enterprise from a given viewpoint. The OMiLAB initiative promotes the use of metamodeling to design such domain-specific languages and to provide them by an open repository to the community. In this chapter, we discuss how this metamodeling approach can be combined with the design of integrity constraints that span multiple modeling languages. We propose the services of the ConceptBase system as a constraint checker for modeling languages created by the ADOxx platform.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Karagiannis, D., Grossmann, W., Höfferer P.: Open model initiative—a feasibility study. Project Study on behalf of the Austrian Federal Ministry for Transport, Innovation and Technology, Vienna (2008)

    Google Scholar 

  2. Karagiannis, D., Kühn, H.: Metamodelling platforms. In: Proceedings of the 3rd International Conference EC-Web 2002/Dexa (2002). http://dx.doi.org/10.1007/3-540-45705-4_19

    Google Scholar 

  3. Fill, H.-G., Karagiannis, D.: On the conceptualisation of modelling methods using the ADOxx meta modelling platform. Enterp. Model. Inf. Syst. Archit. 8(1), 4–25 (2013)

    Article  Google Scholar 

  4. Jarke, M., Gallersdörfer, R., Jeusfeld, M.A., Staudt, M., Eherer, S.: ConceptBase—a deductive object base for meta data management. J. Intell. Inf. Syst. 4(2), 167–192 (1995). doi:10.1007/BF00961873

    Article  Google Scholar 

  5. Jeusfeld, M.A.: Metamodeling and method engineering with ConceptBase. In: Jeusfeld, M.A., Jarke, M., Mylopoulos, J. (eds.) Metamodelling for Method Engineering, pp. 89–168. The MIT Press, Cambridge (2009). ISBN 978-0262101080

    Google Scholar 

  6. Sandkuhl, K., Stirna, J., Persson, A., Wißotzki, M.: Enterprise modeling—tackling business challenges with the 4EM method. The Enterprise Engineering Series. Springer, Berlin (2014). ISBN 978-3-662-43724-7

    Google Scholar 

  7. Lankhorst, M., et al.: Enterprise Architecture at Work, 3rd edn. Springer, Berlin (2013). ISBN 978-3-642-29650-5

    Book  Google Scholar 

  8. Mylopoulos, J., Borgida, A., Jarke, M., Koubarakis, M.: Telos—representing knowledge about information systems. ACM Trans. Inf. Syst. 8(4), 325–362 (1990). http://doi.acm.org/10.1145/102675.102676

    Google Scholar 

  9. Ceri, S., Gottlob, G., Tanca, L.: What you always wanted to know about Datalog (and never dared to ask). IEEE Trans. Knowl. Data Eng. 1(1), 146–166 (1989). https://dx.doi.org/10.1109/69.43410

    Google Scholar 

  10. Jeusfeld, M.A., Quix, C., Jarke, M.: ConceptBase.cc User Manual. Version 7.8 (2015). http://conceptbase.sourceforge.net/userManual78/

  11. Yourdan, E.: Modern Structured Analysis. Prentice Hall, Englewood Cliffs (1989)

    Google Scholar 

Download references

Acknowledgments

The ConceptBase models for ArchiMate were created in 2008 by Sander van Arendonk, Niels Colijn, Dirk Janssen and Jeffrey Kramer as part of an assignment for the method engineering course at Tilburg University. Their models are available under a Creative Commons CC-BY-NC 3.0 license. Special thanks to Wilfrid Utz and David Götzinger from the University of Vienna for their help in getting the coupling between ConceptBase and ADOxx working.

Tool Download http://www.omilab.org/semcheck.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Manfred A. Jeusfeld .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this chapter

Cite this chapter

Jeusfeld, M.A. (2016). SemCheck: Checking Constraints for Multi-perspective Modeling Languages. In: Karagiannis, D., Mayr, H., Mylopoulos, J. (eds) Domain-Specific Conceptual Modeling. Springer, Cham. https://doi.org/10.1007/978-3-319-39417-6_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-39417-6_2

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-39416-9

  • Online ISBN: 978-3-319-39417-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics