Elementary patterns for converting textual and visual formalisms based on set theory and ORM

Journal of Digital Information Management

Volumn 9, Issue 2, 2011, Pages 64-71

  Overbeek, Sietse ^a   Van Bommel, Patrick ^b  

^a DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

Object Role Modeling; Set theory; Textual formalisms; Visual formalisms

Indexed keywords

FORMAL MODEL; FORMAL SEMANTICS; GRAPHICAL NOTATION; INFORMATION MARKET; ISO/IEC; OBJECT-ROLE MODELING; PROCESS MODEL; SIDE EFFECT; TEXTUAL FORMALISMS; VISUAL FORMALISM; VISUAL PATTERN;

FORMAL METHODS; SEMANTICS;

SET THEORY;

EID: 79960694971     PISSN: 09727272     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (27)

1. Barwise, J., Etchemendy, J. (1987). The Liar: An Essay on Truth and Circularity. Oxford University Press, New York, NY, USA.
2. van Bommel, P., van Gils, B., Proper, H. A., van Vliet, M., van der Weide, Th. P. (2007). Value and the information market. Data & Knowledge Engineering, 61 (1) 153-175. (Pubitemid 46282158)
3. Castello, R., Mili, R. (2003). Visualizing graphical and textual formalisms. Information Systems, 28 (7) 753-768.
4. Clarke, E. M., Wing, J. M. (1996). Formal methods: state of the art and future directions. ACM Computing Surveys, 28 (4) 626-643. (Pubitemid 126555133)
5. Falkenberg, E. D. (1976). Concepts for modelling information. In G. M. Nijssen, editor, Proceedings of the IFIP Working Conference on Modelling in Data Base Management Systems, pages 95-109. Freudenstadt, Germany, EU, North-Holland Publishing, Amsterdam, The Netherlands, 1976.
6. Halpin, T. (2001). Information Modeling and Relational Databases, from Conceptual Analysis to Logical Design. Morgan Kaufmann, San Mateo, CA, USA.
7. Harel, D (1998). On visual formalisms. Communications of the ACM, 31 (5) 514-530.
8. Hartmann, S., Link, S., Trinh, T. (2009). Constraint acquisition for Entity-Relationship models. Data & Knowledge Engineering, 68 (10) 1128-1155.
9. ter Hofstede, A. H. M., Proper, H. A. (1998). How to formalize it? Information and Software Technology, 40 (10) 519-540.
10. ter Hofstede, A. H. M., Proper, H. A., van der Weide, Th. P. (1993). Formal defi nition of a conceptual language for the description and manipulation of information models. Information Systems, 18 (7) 489-523.
11. Ter Hofstede, A. H. M., van der Weide, Th. P. (1993). Expressiveness in conceptual data modeling, Data & Knowledge Engineering, 10 (1) 65-100.
12. Hull, R., R. King, R. (1987). Semantic database modeling: Survey, applications, and research issues, ACM Computing Surveys, 19 (3) 201-260.
13. Idani, A., Ledru, Y (2006). Dynamic graphical UML views from formal B specifications. Information and Software Technology, 48 (3) 154-169. (Pubitemid 43267440)
14. Jarrar, M. (2005). Modularization and automatic composition of Object-Role Modeling (ORM) schemes. In R. Meersman, Z. Tari, and P. Herrero, editors, On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops, Agia Napa, Cyprus, October 31-November 4, 2005, Proceedings, volume 3752 of Lecture Notes in Computer Science, pages 613-625. Agia Napa, Cyprus, Springer, Berlin, Germany. (Pubitemid 43735235)
15. Jarrar, M. (2007). Mapping ORM into the SHOIN/OWL description logic-towards a methodological and expressive graphical notation for ontology. In R. Meersman, Z. Tari, and P. Herrero, editors, On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, Vilamoura, Portugal, November 25-30, 2007, Proceedings, PART I, volume 4805 of Lecture Notes in Computer Science, pages 729-741. Vilamoura, Portugal, EU, Springer, Berlin, Germany, 2007.
16. Jarrar, M., Meersman, R. (2008). Ontology engineering-the Dogma approach. In T. Dillon, E. Chang, R. Meersman, and K. Sycara, editors, Advances in Web Semantics I, p. 7-34. Springer, Berlin, 2008.
17. Jonker, C. M., Kremer, R., van Leeuwen, P., Pan, D., Treur, J. (2005). Mapping visual to textual knowledge representation. Knowledge-Based Systems, 18 (7) 367-378. (Pubitemid 43052664)
18. Nosek, J. T., Roth, I. (1990). A comparison of formal knowledge representation schemes as communication tools: predicate logic vs. semantic network. International Journal of Man-Machine Studies, 33(2):227-239, 1990.
19. Overbeek, S. J., van Bommel, P., Proper, H. A. (2008). Matching cognitive characteristics of actors and tasks in information systems engineering. Knowledge-Based Systems, 21 (8) 764-785.
20. Overbeek, S. J., van Bommel, P., Proper, H. A. (2009). Embedding knowledge exchange and cognitive matchmaking in a dichotomy of markets. Expert Systems with Applications, 36 (10) 12236-12255.
21. Overbeek, S. J., van Bommel, P., Proper, H. A., Rijsenbrij, D. B. B. (2007). Characterizing knowledge intensive tasks indicating cognitive requirements-Scenarios in methods for specific tasks. In: J. Ralyté, S. Brinkkemper, and B. Henderson-Sellers, editors, Proceedings of the IFIP TC8/WG8.1 Working Conference on Situational Method Engineering: Fundamentals and Experiences, volume 244, p. 100-114. Geneva, Switzerland, Springer, Boston, USA.
22. Overbeek, S. J., van Bommel, P., Proper, H. A., Rijsenbrij, D. B. B. (2007). Knowledge discovery and exchange-Towards a web-based application for discovery and exchange of revealed knowledge. In: J. Filipe, J. Cordeiro, B. Encarnação, and V. Pedrosa, editors, Proceedings of the Third International Conference on Web Information Systems and Technologies (WEBIST), pages 26-34. Barcelona, Spain, EU, INSTICC Press, Set'ubal, Portugal, EU, 2007.
23. Overbeek, S. J., van Bommel, P., Proper, H. A., Rijsenbrij, D. B. B (2007). Visualizing formalisms with ORM models. In R. Meersman, Z. Tari, and P. Herrero, editors, On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part I, volume 4805 of Lecture Notes in Computer Science, p. 709-718. Vilamoura, Portugal, Springer, Berlin, Germany.
24. Overbeek, S. J., Klievink, A. J., Janssen, M. F. W. H. A (2009). A flexible, event-driven, service-oriented architecture for orchestrating service delivery. IEEE Intelligent Systems, 24 (5) 31-41.
25. Pakkan, M., Akman, V. (1995). Hypersolver: A graphical tool for commonsense set theory. Information Sciences, 85 (1-3) 43-61.
26. Piprani, B., Wang, C., He, K. (2008). A metamodel for enabling a service oriented architecture. In: R. Meersman, Z. Tari, and P. Herrero, editors, On the Move to Meaningful Internet Systems 2008: OTM 2008 Workshops, Monterrey, Mexico, November 9-14, 2008, Proceedings, volume 5333 of Lecture Notes in Computer Science, p. 668-677. Monterrey, Mexico, Springer, Berlin, Germany.
27. Verhoef, T. (1993). Effective Information Modelling Support. PhD thesis, Delft University of Technology, The Netherlands.