Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Business Process Modeling, Development and Support

International Conference on Exploring Modeling Methods for Systems Analysis and Design

BPMDS 2010, EMMSAD 2010: Enterprise, Business-Process and Information Systems Modeling pp 247–260Cite as

FORML 2

  • Conference paper

Part of the book series: Lecture Notes in Business Information Processing ((LNBIP,volume 50))

Abstract

A conceptual schema of an information system specifies the fact structures of interest as well as the business rules that apply to the business domain being modeled. These rules, which may be complex, are best validated with subject matter experts, since they best understand the business domain. In practice, business domain experts often lack expertise in the technical languages used by modelers to capture or query the information model. Controlled natural languages offer a potential solution to this problem, by allowing business experts to validate models and queries expressed in language they understand, while still being executable, with automated generation of implementation code. This paper describes FORML 2, a controlled natural language based on ORM 2 (second generation Object-Role Modeling), featuring rich expressive power, intelligibility, and semantic stability. Design guidelines are discussed, as well as a prototype implemented as an extension to the open source NORMA (Natural ORM Architect) tool.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Attempto project (Attempto Controlled English), http://attempto.ifi.uzh.ch/site/

  2. Bakema, G., Zwart, J., van der Lek, H.: Fully Communication Oriented Information Modelling. Ten Hagen Stam (2000)

    Google Scholar 

  3. Balsters, H., Halpin, T.: Formal Semantics of Dynamic Rules in ORM. In: Meersman, R., Tari, Z., Herrero, P. (eds.) OTM-WS 2008. LNCS, vol. 5333, pp. 699–708. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  4. Bovet, J., Parr, T.: ANTLRWorks: an ANTLR grammar development environment. In: Software: Practice and Experience, vol. 38(12), pp. 1305–1322. John Wiley, Chichester (2008)

    Google Scholar 

  5. Bloesch, A., Halpin, T.: Conceptual queries using ConQuer-II. In: Embley, D.W. (ed.) ER 1997. LNCS, vol. 1331, pp. 113–126. Springer, Heidelberg (1997)

    Google Scholar 

  6. Business Rules Solutions Website on RuleSpeak, http://www.rulespeak.com/en/

  7. Chen, P.P.: ‘The entity-relationship model—towards a unified view of data’. ACM Transactions on Database Systems 1(1), 9–36 (1976)

    Article  Google Scholar 

  8. Curland, M., Halpin, T., Stirewalt, K.: A Role Calculus for ORM. In: Meersman, R., Herrero, P., Dillon, T. (eds.) OTM 2009 Workshops. LNCS, vol. 5872, pp. 692–703. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  9. Halpin, T.: ORM 2. In: Meersman, R., Tari, Z., Herrero, P. (eds.) OTM-WS 2005. LNCS, vol. 3762, pp. 676–687. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  10. Halpin, T.: ORM/NIAM Object-Role Modeling. In: Bernus, P., Mertins, K., Schmidt, G. (eds.) Handbook on Information Systems Architectures, 2nd edn., pp. 81–103. Springer, Heidelberg (2006)

    Google Scholar 

  11. Halpin, T.: Modality of Business Rules. In: Siau, K. (ed.) Research Issues in Systems Analysis and Design, Databases and Software Development, pp. 206–226. IGI Publishing, Hershey (2007)

    Google Scholar 

  12. Halpin, T.: Fact-Oriented Modeling: Past, Present and Future. In: Krogstie, J., Opdahl, A., Brinkkemper, S. (eds.) Conceptual Modelling in Information Systems Engineering, pp. 19–38. Springer, Berlin (2007)

    Chapter  Google Scholar 

  13. Halpin, T.: A Comparison of Data Modeling in UML and ORM. In: Khosrow-Pour, M. (ed.) Encyclopedia of Information Science and Technology, 2nd edn., Information Science Reference, Hershey PA, USA, vol. II, pp. 613–618 (2008)

    Google Scholar 

  14. Halpin, T.: Object-Role Modeling. In: Liu, L., Tamer Ozsu, M. (eds.) Encyclopedia of Database Systems. Springer, Berlin (2009)

    Google Scholar 

  15. Halpin, T.: Predicate Reference and Navigation in ORM. In: Meersman, R., Herrero, P., Dillon, T. (eds.) OTM 2009 Workshops. LNCS, vol. 5872, pp. 723–734. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  16. Halpin, T.: Object-Role Modeling: Principles and Benefits. International Journal of Information Systems Modeling and Design 1(1), 32–54 (2010)

    Google Scholar 

  17. Halpin, T., Morgan, T.: Information Modeling and Relational Databases, 2nd edn. Morgan Kaufmann, San Francisco (2008)

    Google Scholar 

  18. Heath, C.: The Constellation Query Language. In: Meersman, R., Herrero, P., Dillon, T. (eds.) OTM 2009 Workshops. LNCS, vol. 5872, pp. 682–691. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  19. Heath, C.: ActiveFacts Website (2009), http://dataconstellation.com/ActiveFacts/

  20. Hevner, A., March, S., Park, J., Ram, S.: Design Science in Information Systems Research. MIS Quarterly 28(1), 75–105 (2004)

    Google Scholar 

  21. ter Hofstede, A., Proper, H., van der Weide, T.: Formal definition of a conceptual language for the description and manipulation of information models. Information Systems 18(7), 489–523 (1993)

    Article  Google Scholar 

  22. Hoppenbrouwers, S., proper, H., van der Weide, T.: Fact Calculus: Using ORM and Lisa-D to Reason about Domains. In: Meersman, R., Tari, Z., Herrero, P. (eds.) OTM-WS 2005. LNCS, vol. 3762, pp. 720–729. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  23. ISO 1996, Information technology – Syntactic metalanguage – Extended BNF, ISO/IEC 14977 (1966), http://www.iso.org/iso/catalogue_detail.htm?csnumber=26153

  24. Meersman, R.: The RIDL Conceptual Language. Int. Centre for Information Analysis Services, Control Data Belgium, Brussels (1982)

    Google Scholar 

  25. Nijssen, M., Lemmens, I.: Verbalization for Business rules and Two Flavors of Verbalization for Fact Examples. In: Meersman, R., Tari, Z., Herrero, P. (eds.) OTM-WS 2008. LNCS, vol. 5333, pp. 760–769. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  26. NORMA (Natural ORM Architect) tool download site for public-domain version, http://www.ormfoundation.org/files/folders/norma_the_software/default.aspx

  27. Object Management Group 2003, UML 2.0 Superstructure Specification, www.omg.org/uml

  28. Object Management Group 2005, UML OCL 2.0 Specification, http://www.omg.org/docs/ptc/05-06-06.pdf

  29. Object Management Group 2008, Semantics of Business Vocabulary and Business Rules (SBVR), http://www.omg.org/spec/SBVR/1.0/

  30. Parr, T.: The Definitive ANTLR Reference: Building Domain-Specific Langauges, 1st edn. Pragmatic Bookshelf, Raleigh (2007)

    Google Scholar 

  31. Pool, J.: Can Controlled Languages Scale to the Web? In: Proc. CLAW 2006: 5th International Workshop on Controlled Language Applications (2006), http://utilika.org/pubs/etc/ambigcl/clweb.html

  32. Schwitter, R.: Controlled Natural Languages, http://sites.google.com/site/controllednaturallanguage/

  33. Schwitter, R.: PENG (Processable English) (2007), http://web.science.mq.edu.au/~rolfs/peng/

  34. Sowa, J.: Controlled English (2004), http://www.jfsowa.com/logic/ace.htm

  35. Sowa, J.: Common Logic Controlled English (2004), http://www.jfsowa.com/clce/specs.htm

  36. Warmer, J., Kleppe, A.: The Object Constraint Language, 2nd edn. Addison-Wesley, Reading (2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Australia and INTI Education Group, LogicBlox, Malaysia

    Terry Halpin

  2. University of Groningen, The Netherlands

    Jan Pieter Wijbenga

Authors
  1. Terry Halpin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jan Pieter Wijbenga
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. IbisSoft AB, 104 32, Stockholm, Sweden

    Ilia Bider

  2. LogicBlox, 30309, Atlanta, GA, USA

    Terry Halpin

  3. NTNU, Norwegian University of Science and Technology, 7030, Trondheim, Norway

    John Krogstie

  4. University of Paris, 1 Pantheon Sorbonne, 75005, Paris, France

    Selmin Nurcan

  5. Public Research Centre Henri Tudor, Luxembourg, and Radboud University Nijmegen, The Netherlands

    Erik Proper

  6. Aalen University, 73430, Aalen, Germany

    Rainer Schmidt

  7. University of Manchester, M13 9PL, Manchester, UK

    Roland Ukor

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Halpin, T., Wijbenga, J.P. (2010). FORML 2. In: Bider, I., et al. Enterprise, Business-Process and Information Systems Modeling. BPMDS EMMSAD 2010 2010. Lecture Notes in Business Information Processing, vol 50. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13051-9_21

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-13051-9_21

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-13050-2

  • Online ISBN: 978-3-642-13051-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation