Abstract
The goal of the paper is to explicate some universal logic underlying various notational systems used in visual modeling. The idea is to treat the notational diversity as the diversity of visualizations of the same basic specificational format. It is argued that the task can be well approached in the arrow-diagram logic framework where specifications are directed graphs carrying a structure of diagram predicates and operations.
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
S. Abramsky. Interaction categories and communicating sequential processes. In A.W. Roscoe, editor, A Classical Mind: Essays in honour of C.A.R.Hoare, pages 1–15. Prentice Hall Int., 1994.
C. Batini, G. Battista, and G. Santucci. Structuring primitives for a dictionary of entity relationship data schemas. IEEE Trans.Soft.Engineering, 19(4): 344–365, 1993.
G. Booch, I. Jacobson, and J. Rumbaugh. The Unified Modeling Language user guide. Addison-Wesley, 1999.
M. Barr and C. Wells. Category Theory for Computing Science. Prentice Hall International Series in Computer Science, 1990.
Z. Diskin. Generalized sketches as an algebraic graph-based framework for semantic modeling and database design. Technical Report M9701, University of Latvia, 1997.
Z. Diskin. The arrow logic of meta-specifications: a formalized graph-based framework for structuring schema repositories. In B. Rumpe H. Kilov and I. Simmonds, editors, Seventh OOPSLA Workshop on Behavioral Semantics of 00 Business and System Specifications, TUM-I9820, Technische Universitaet Muenchen, 1998.
Z. Diskin. The arrow logic of visual modeling and taming heterogeneiuty of semantic models. In H. Kilov and B. Rumpe, editors, Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on 00 Business Specifications), TUM-19813, Technische Universitaet Muenchen, 1998.
Z. Diskin and B. Kadish. Variable set semantics for generalized sketches: Why ER is more object-oriented than OO. To appear in Data and Knowledge Engineering
M. Gogolla and U. Hohenstein. Towards a semantic view of an extended entity-relationship model. ACM Trans. Database Systems, 16(3): 369–116, 1991.
J. Goguen. Formality and informality in requirement engineering. In Requirement engineering, 4th Int. Conference, pages 102–108. IEEE Computer Society, 1996. (keynote address).
J. Goguen. Semiotic morphisms. Technical report, University of California at San Diego, 1997. TR-CS97-553.
J. Goguen. Personal letter, 1998.
M. Kifer, G. Lausen, and J. Wu. Logical foundations of object-oriented and frame-based languages. Journal ACM, 42(4):741–843, 1995.
H. Kilov and B. Rumpe. Overview of the Second ECOOP Workshop on Precise behavioral semantics (with an Emphasis on OO business specifications). In The Europian Conference on Object-Oriented Programming, ECOOP’98, LNCS 1543. Springer, 1998.
K. Lano and J. Bicarregui. Formalising the UML in structured temporal theories. In H. Kilov and B. Rumpe, editors, Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Specifications), TUM-I9813, Technische Universitaet Muenchen, 1998.
G.W Mineau, B. Moulin, and J.F. Sowa, editors. Conceptual graphs for knowledge representation. Number 699 in LNAI. Springer, 1993.
J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, 1999.
R. Wieringa, W de Jonge, and P. Spruit. Roles and dynamic subclasses: a modal logic approach. In European Conference on Object-Oriented Programming, ECOOP’94, Springer LNCS, 1994.
I. Jacobson, M. Christerson, P. Johnsson, and G. Üvergaard. Object-Oriented Software Engineering: A Use Case Driven Approach. Prentice-Hall, 1992.
A.S. Klusener, S.F.M. van Vlijmen, and A. Schrijver. Compact dynamisch busstation. Technical Report CS-N9601, Centrum for Wiskunde en Infor-matica, May 1996.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media New York
About this chapter
Cite this chapter
Diskin, Z., Kadish, B., Piessens, F. (1999). What vs. How of Visual Modeling: The Arrow Logic of Graphic Notations. In: Kilov, H., Rumpe, B., Simmonds, I. (eds) Behavioral Specifications of Businesses and Systems. The Springer International Series in Engineering and Computer Science, vol 523. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-5229-1_3
Download citation
DOI: https://doi.org/10.1007/978-1-4615-5229-1_3
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-7383-4
Online ISBN: 978-1-4615-5229-1
eBook Packages: Springer Book Archive