Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
|
 |
Domain Theory: Practice and Theories A Discussion of Possible Research Topics
| |
|
Domain Theory: Practice and Theories A Discussion of Possible Research Topics
Dines Bjørner1
| (1) |
Department of Computer Science and Engineering, Institute of Informatics and Mathematical Modelling, Technical University
of Denmark, DK-2800 Kgs. Lyngby, Denmark |
Abstract
By a domain we mean a universe of discourse.
Typical examples are (partially) man-made universes of discourse - such as Air Traffic, Airports, Financial Services (banks,
insurance companies, securities trading [brokers, traders, stock exchanges]), Health Care (hospitals etc.), Secure IT Systems
(according to Intl. ISO/IEC Standard 17799), The Market (consumers, retailers, wholesalers, producers, “the supply chain”),
Transportation (road, air, sea and/or rail transport), etc.
We shall outline how one might describe such (infrastructure component) domains, informally and formally - what the current
descriptional limitations appear to be, and, hence, the prospects for future research as well as practice.
The current paper is based on Part IV, Chaps. 8-16 of [3]. The volume is one of [1,2,3].
The aim of this paper is to suggest a number of areas of domain theory and methodology research.
Invited paper for ICTAC 2007, The 4th International Colloquium on Theoretical Aspects of Computing, 26–28 September 2007,
Macau SAR, China: http://www.iist.unu.edu/ictac07/
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|