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.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Attempto project (Attempto Controlled English), http://attempto.ifi.uzh.ch/site/
Bakema, G., Zwart, J., van der Lek, H.: Fully Communication Oriented Information Modelling. Ten Hagen Stam (2000)
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)
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)
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)
Business Rules Solutions Website on RuleSpeak, http://www.rulespeak.com/en/
Chen, P.P.: ‘The entity-relationship model—towards a unified view of data’. ACM Transactions on Database Systems 1(1), 9–36 (1976)
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)
Halpin, T.: ORM 2. In: Meersman, R., Tari, Z., Herrero, P. (eds.) OTM-WS 2005. LNCS, vol. 3762, pp. 676–687. Springer, Heidelberg (2005)
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)
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)
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)
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)
Halpin, T.: Object-Role Modeling. In: Liu, L., Tamer Ozsu, M. (eds.) Encyclopedia of Database Systems. Springer, Berlin (2009)
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)
Halpin, T.: Object-Role Modeling: Principles and Benefits. International Journal of Information Systems Modeling and Design 1(1), 32–54 (2010)
Halpin, T., Morgan, T.: Information Modeling and Relational Databases, 2nd edn. Morgan Kaufmann, San Francisco (2008)
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)
Heath, C.: ActiveFacts Website (2009), http://dataconstellation.com/ActiveFacts/
Hevner, A., March, S., Park, J., Ram, S.: Design Science in Information Systems Research. MIS Quarterly 28(1), 75–105 (2004)
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)
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)
ISO 1996, Information technology – Syntactic metalanguage – Extended BNF, ISO/IEC 14977 (1966), http://www.iso.org/iso/catalogue_detail.htm?csnumber=26153
Meersman, R.: The RIDL Conceptual Language. Int. Centre for Information Analysis Services, Control Data Belgium, Brussels (1982)
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)
NORMA (Natural ORM Architect) tool download site for public-domain version, http://www.ormfoundation.org/files/folders/norma_the_software/default.aspx
Object Management Group 2003, UML 2.0 Superstructure Specification, www.omg.org/uml
Object Management Group 2005, UML OCL 2.0 Specification, http://www.omg.org/docs/ptc/05-06-06.pdf
Object Management Group 2008, Semantics of Business Vocabulary and Business Rules (SBVR), http://www.omg.org/spec/SBVR/1.0/
Parr, T.: The Definitive ANTLR Reference: Building Domain-Specific Langauges, 1st edn. Pragmatic Bookshelf, Raleigh (2007)
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
Schwitter, R.: Controlled Natural Languages, http://sites.google.com/site/controllednaturallanguage/
Schwitter, R.: PENG (Processable English) (2007), http://web.science.mq.edu.au/~rolfs/peng/
Sowa, J.: Controlled English (2004), http://www.jfsowa.com/logic/ace.htm
Sowa, J.: Common Logic Controlled English (2004), http://www.jfsowa.com/clce/specs.htm
Warmer, J., Kleppe, A.: The Object Constraint Language, 2nd edn. Addison-Wesley, Reading (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)