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 2012, EMMSAD 2012: Enterprise, Business-Process and Information Systems Modeling pp 285–299Cite as

Form-and-Fact Based Modeling

  • Conference paper

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

Abstract

A conceptual data model for an information system specifies the fact structures of interest as well as the constraints and derivation rules that apply to the business domain being modeled. Fact-based modeling approaches provide rich graphical and textual languages for specifying conceptual data models, using attribute-free fact structures that enable models to be verbalized and populated in natural sentences that are easily understood by the domain experts best qualified to validate the models. Form-based modeling approaches offer a natural way for domain users to agree upon suitable user interfaces for interacting with the information system. This paper proposes a synthesis of the two approaches, in which prototype forms are used to seed the conceptual data model, which is then used to generate the final user interface. Semantic and practical aspects of form design are discussed, and screen transition diagrams are employed to help visualize and validate the underlying dynamic processes.

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. 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 

  2. Bird, L., Goodchild, A., Halpin, T.: Object Role Modelling and XML-Schema. In: Laender, A.H.F., Liddle, S.W., Storey, V.C. (eds.) ER 2000. LNCS, vol. 1920, pp. 309–322. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  3. Campbell, L., Halpin, T.: Automated Support for Conceptual to External Mapping. In: Brinkkemper, S., Harmsen, F. (eds.) Proc. Fourth Workshop on the Next Generation of CASE Tools, Paris, pp. 35–51 (1993)

    Google Scholar 

  4. Campbell, L., Halpin, T., Proper, H.: Conceptual Schemas with Abstractions: making flat conceptual schemas more comprehensible. Data and Knowledge Engineering 20(1), 39–85 (1996)

    Article  Google Scholar 

  5. Ceri, S., Fraternali, P., Bongio, A.: Web Modeling Language (WebML): A modeling lan-guage for designing Web sites. In: Proc. 9th International World Wide Web Conference, Amsterdam (2000)

    Google Scholar 

  6. Chen, P.P.: The entity-relationship model—towards a unified view of data. ACM Transactions on Database Systems 1(1), 9–36 (1976), http://csc.lsu.edu/news/erd.pdf

    Article  Google Scholar 

  7. Conallen, J.: Modeling Web Application Architectures with UML. CACM 42(10), 63–70 (1999)

    Google Scholar 

  8. Curland, M., Halpin, T.: The NORMA Software Tool for ORM 2. In: Soffer, P., Proper, E. (eds.) CAiSE Forum 2010. LNBIP, vol. 72, pp. 190–204. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  9. Draheim, D., Weber, G.: Form-Oriented Analysis: A New Methodology to Model Form-Based Applications. Springer, Heidelberg (2004)

    Google Scholar 

  10. Halpin, T.: A Logical Analysis of Information Systems: static aspects of the data-oriented perspective. Doctoral dissertation, University of Queensland (1989), http://www.orm.net/Halpin_PhDthesis.pdf

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

    Chapter  Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  14. Halpin, T.: Fact-Orientation and Conceptual Logic. In: Proc. 15th International EDOC Conference, pp. 14–19. IEEE Computer Society (2011)

    Google Scholar 

  15. Halpin, T., Curland, M.: Automated Verbalization for ORM 2. In: Meersman, R., Tari, Z., Herrero, P. (eds.) OTM 2006 Workshops. LNCS, vol. 4278, pp. 1181–1190. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  16. Halpin, T., Curland, M., Stirewalt, K., Viswanath, N., McGill, M., Beck, S.: Mapping ORM to Datalog: An Overview. In: Meersman, R., Dillon, T., Herrero, P. (eds.) OTM 2010 Workshops. LNCS, vol. 6428, pp. 504–513. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

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

    Google Scholar 

  18. Halpin, T., Wijbenga, J.P.: FORML 2. In: Bider, I., Halpin, T., Krogstie, J., Nurcan, S., Proper, E., Schmidt, R., Ukor, R. (eds.) BPMDS 2010 and EMMSAD 2010. LNBIP, vol. 50, pp. 247–260. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  19. ISO 9241-110:2006 Ergonomics of human-system interaction – Part 110: Dialogue principles. ISO (2006)

    Google Scholar 

  20. Object Management Group: UML 2.0 Superstructure Specification (2003), http://www.omg.org/uml

  21. Object Management Group: UML OCL 2.0 Specification (2006), http://www.omg.org/spec/OCL/

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

  23. Paterno, F.: Model-Based Design and Evaluation of Interactive Applications, 1st edn. Springer, London (1999)

    Google Scholar 

  24. Paterno, F., Santoro, C., Spano, L.D.: MARIA: A universal, declarative, multiple abstraction-level language for service-oriented applications in ubiquitous environments. ACM Trans. Comput.-Hum. Interact. 16(4), Article 19, 30 pages (2009)

    Google Scholar 

  25. Shaer, O., Jacob, R.J.K.: A specification paradigm for the design and implementation of tangible user interfaces. ACM Trans. Comput.-Hum. Interact. 16(4), Article 20 (2009)

    Google Scholar 

  26. Pinheiro da Silva, P., Paton, N.W.: UMLi: The Unified Modeling Language for Interactive Applications. In: Evans, A., Caskurlu, B., Selic, B. (eds.) UML 2000. LNCS, vol. 1939, pp. 117–132. Springer, Heidelberg (2000)

    Google Scholar 

  27. Pinheiro da Silva, P.: User Interface Declarative Models and Development Environments: A Survey. In: Palanque, P., Paternó, F. (eds.) DSV-IS 2000. LNCS, vol. 1946, pp. 207–226. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  28. van Griethuysen, J. (ed.): Concepts and Terminology for the Conceptual Schema and In-formation Base. ISO TC97/SC5/WG3. Eindhoven (1982)

    Google Scholar 

  29. Vilain, P., Schwabe, D.: Improving the Web Application Design Process with UIDs. In: 2nd International Workshop on Web Oriented Software Technology, Malaga, Spain (2002)

    Google Scholar 

  30. Vilain, P., Schwabe, D., Sieckenius de Souza, C.: A Diagrammatic Tool for Representing User Interaction in UML. In: Evans, A., Caskurlu, B., Selic, B. (eds.) UML 2000. LNCS, vol. 1939, pp. 133–147. Springer, Heidelberg (2000)

    Google Scholar 

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

    Google Scholar 

  32. Weber. G.: Technology-Independent Modeling of Service Interaction. In: van Sinderen, M., Almeida, J.P.A., Pires, L.P., Steen, M. (eds.): Workshops Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, EDOCW 2008, Munich, Germany (2008)

    Google Scholar 

  33. Weber. G: Defining the Paperless Workplace with the Paper Metaphor - Not a Contradiction in Terms. In: Butler-Henderson, K., Sahama, T. (eds.) Australasian Workshop on Health Informatics and Knowledge Management (HIKM 2011), Perth, Australia (2011)

    Google Scholar 

  34. Weber. G.: Semantics of Form-Oriented Analysis. Doctoral Dissertation. urn:nbn:de:kobv:188-2003000724, Freie Universität Berlin (2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LogicBlox, Australia and INTI International University, Malaysia

    Terry Halpin

  2. Department of Computer Science, The University of Auckland, New Zealand

    Gerald Weber

Authors
  1. Terry Halpin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gerald Weber
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. IbisSoft AB, Stockholm, Box 19567, SE-10432, Stockholm, Sweden

    Ilia Bider

  2. LogicBlox, Australia, and INTI International University, Malaysia

    Terry Halpin

  3. Department of Computer and Information Science, Norwegian University of Science and Technology (NTNU), Sem Sælands Vei 7-9, 7491, Trondheim, Norway

    John Krogstie

  4. University Paris 1 Pantheon-Sorbonne, Paris, France

    Selmin Nurcan

  5. Erik Proper, PRC Henri Tudor, Luxembourg-Kirchberg, Luxembourg

    Erik Proper

  6. Aalen University, Aalen, Germany

    Rainer Schmidt

  7. University of Haifa, Carmel Mountain, 31905, Haifa, Israel

    Pnina Soffer

  8. Department of Business Informatics, University of Gdansk, ul. Piaskowa 9, 81-864, Sopot, Poland

    Stanisław Wrycza

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Halpin, T., Weber, G. (2012). Form-and-Fact Based Modeling. In: Bider, I., et al. Enterprise, Business-Process and Information Systems Modeling. BPMDS EMMSAD 2012 2012. Lecture Notes in Business Information Processing, vol 113. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31072-0_20

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-31072-0_20

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-31071-3

  • Online ISBN: 978-3-642-31072-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation