By Topic

On mathematical foundations for business modeling

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Diskin, Z. ; Frame Inf. Syst. Ltd

Presents sketch-answers to the following three questions. (1) What is a business domain, mathematically? (2) What is a business model of business domain, mathematically? (3) What is the mathematical machinery suitable for building and manipulating business models? These questions may be answered as follows. (1) Any given business domain D is (mathematically) a topos, i.e. a particular case of a quite general mathematical structure. Probably, even the following more refined picture is valid. Each specific kind of business B (banking, insurance, telecom industry, etc.) determines its own kind of toposes, Top(B), so that any business domain D in B is a topos of sort Top(B), (2) Normally, toposes D are infinite and, given such a topos (domain) D, the task of business modeling is to find a finite yet complete presentation of D. Syntactically, this presentation is specified by a (generalized) sketch, i.e. a directed graph with diagrams marked by labels taken from a predefined signature corresponding to Top(B). (In fact, setting Top(B) amounts to nothing but setting some signature of a legitimate predicate and operations). (3) So, thinking semantically, business specifications are sketches, whatever visualization superstructures (ER, OMT, UML) are built over them. Then, a natural mathematical apparatus for managing and manipulating business specifications is the machinery of deriving and rewriting sketches. In essence, the latter is nothing but a counterpart of ordinary logical derivation and algebraic term rewriting for the graph-based situation

Published in:

Technology of Object-Oriented Languages and Systems, 2000. TOOLS-Pacific 2000. Proceedings. 37th International Conference on

Date of Conference: