Universal Arrow Foundations for Visual Modeling
نویسندگان
چکیده
The goal of the paper is to explicate some common formal 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.
منابع مشابه
What vs. How of Visual Modeling: The Arrow Logic of Graphic Notations
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 ...
متن کاملQuantum Gravity , the Origin of Time and Time ’ s Arrow
To be published in a special issue of Foundations of Physics, commemorating the 65th birthday of professor A. O. Barut. Abstract The local Lorentz and diffeomorphism symmetries of Einstein's gravitational theory are spontaneously broken by a Higgs mechanism by invoking a phase transition in the early Universe, at a critical temperature T c below which the symmetry is restored. The spontaneous b...
متن کاملCentral Bank Interest-Rate Control in a Cashless, Arrow-Debreu economy: A Comment on Wallace
Wallace attempts to analyse central bank interest rate control in a cashless, ArrowDebreu economy. The model incorporates only the unit of account function of money and exhibits a version of the classical dichotomy in which arbitrary accounting prices are independent of the equilibrium real relative price vector. A model with these properties is incapable of providing a theory of the price leve...
متن کاملBPMN – A Logical Model and Property Analysis
Business Process Modeling Notation has become a powerful and widely accepted visual language for modeling business processes. Despite its expressive power and high usability, a weak point of BPMN is the lack of formal semantics and difficulties with assuring correctness of the overall process. In this paper an attempt is made towards investigation and development of foundations for a logical, d...
متن کاملSemantic Blueprints of Discrete Dynamic Systems: Challenges and Needs in Computational Modeling of Complex Behavior
How can one cope with the notorious problem of establishing the correctness and completeness of abstract functional requirements in the design of control-intensive software systems prior to actually building the system? The answer given here explores abstract state machines (ASMs): a universal mathematical framework for semantic modeling of discrete dynamic systems. Combining common abstraction...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000