Abstract
The present paper suggests a modelling method for relating domain concepts intensionally. The method is based on modelling concepts formally and establishing two ordering connections between objects of the concepts. The former connection, we call the characteristics connection. It is a Galois connection and states how objects of the two concepts, describe each other. The latter connection, we call the information flow connection. It is a connection between classifications of objects of the two concepts. The connection states how specialization of one kind of objects, cannot imply generalization of objects succeeding in an information flow. We put the method to work by modelling the domain concepts of budgets and project plans, and we establish the two ordering connections between the models of these. In doing so, we reveal interesting domain knowledge. Hence, we believe that our contribution adds clarity and transparency to the methodology of domain engineering and conceptual modelling.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ganter, B., Wille, R.: Formal Concept Analysis. Springer, Heidelberg (1999)
Eir, A.: 3. Models of two civil engineering concepts and their Galois connection. In: Construction Informatics — issues in engineering, computer science and ontology. Ph.D. thesis. Informatics and Mathematical Modelling, Technical University of Denmark, 65–88 (2004)
Eir, A.: Relating civil engineering concepts intensionally by Galois connections. In: eWork and eBusiness in Architecture, Engineering, Construction. Proceedings of the ECPPM 2006, Swets & Zeitlinger Publishers, pp. 247–254 (2006)
The RAISE Language Group.: The RAISE Specification Language. Prentice-Hall, Englewood Cliffs (1992)
The RAISE Method Group.: The RAISE Development Method. Prentice-Hall, Englewood Cliffs (1995)
Bjøorner, D.: Software Engineering, Domains, Requirements and Software Design. Texts in Theoretical Computer Science, EATCS Series, vol. 3. Springer, Heidelberg (2006)
Eir, A.: 8. Object Aspects. In: Construction Informatics — issues in engineering, computer science and ontology. Ph.D. thesis. Informatics and Mathematical Modelling, Technical University of Denmark, pp. 235–254 (2004)
Simons, P.: Parts: A Study in Ontology. Clarendon Press, Oxford (1987)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Eir, A. (2007). Relating Domain Concepts Intensionally by Ordering Connections. In: Jones, C.B., Liu, Z., Woodcock, J. (eds) Formal Methods and Hybrid Real-Time Systems. Lecture Notes in Computer Science, vol 4700. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75221-9_8
Download citation
DOI: https://doi.org/10.1007/978-3-540-75221-9_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-75220-2
Online ISBN: 978-3-540-75221-9
eBook Packages: Computer ScienceComputer Science (R0)