Annual Report 1994

References

 []

-- DeTfoRS Documents

 [2]

Xinyao Yu, Ji Wang, Chaochen Zhou, and P.K. Pandya. Formal design of hybrid systems. Research report, UNU/IIST, P.O.Box 3058, Macau, March 1994. W.P. de Roever et al., editor, Formal Techniques in Real-time and Fault Tolerant Systems, Springer-Verlag, LNCS 863, September 1994

 [3]

Huiqun Yu, P.K. Pandya, and Yongqiang Sun. A calculus for hybrid sampled data systems. Research report, UNU/IIST, P.O.Box 3058, Macau, March 1994. W.P. de Roever et al., editor, Formal Techniques in Real-time and Fault Tolerant Systems, Springer-Verlag, LNCS 863, September 1994

 [4]

Chen Zongji, Wang Ji, and Zhou Chaochen. An abstraction of hybrid control systems. Research note, UNU/IIST, P.O.Box 3058, Macau, June 1994.

 [5]

Zongji Chen, Ji Wang, and Chaochen Zhou. A design approach of hybrid control systems. Research note, UNU/IIST, P.O.Box 3058, Macau, June 1994.

 [6]

Ji Wang and Chaochen Zhou. Formal description of hybrid systems. Research note, UNU/IIST, P.O.Box 3058, Macau, August 1994.

 [7]

Van Hung Dang, Chaochen Zhou, and Ji Wang. From duration calculus to automata models of hybrid systems. Research note, UNU/IIST, P.O.Box 3058, Macau, August 1994.

 [8]

Dang Van Hung et al. On Designing Hybrid Control Systems Using I/O Automata Model. Research report, UNU/IIST, P.O.Box 3058, Macau, November 1994.

 [9]

M.R. Hansen, P.K. Pandya, and Chaochen Zhou. Finite divergence. Research report, UNU/IIST, P.O.Box 3058, Macau, November 1993. To be published in JTCS.

 [10]

Ji Wang, Xinyao Yu, and Chaochen Zhou. Refinement of digital dynamic systems. Research report, UNU/IIST, P.O.Box 3058, Macau, March 1994.

 [11]

Yuhua Zheng and Chaochen Zhou. A formal proof of the deadline driving scheduler. Research report, UNU/IIST, P.O.Box 3058, Macau, March 1994. W.P. de Roever et al., editor, Formal Techniques in Real-time and Fault Tolerant Systems, Springer-Verlag, LNCS 863, September 1994

 [12]

Dang Van Hung and Chaochen Zhou. Probabilistic duration calculus for continuous time. Research note, UNU/IIST, P.O.Box 3058, Macau, July 1994. Presented at NSL'94, Kanazawa, Japan 5-8 December 1994. Submitted for publication.

 [13]

Dang Van Hung. An Algorithm for Maintaining Consistent View of Processes in Distributed Systems. Research report, UNU/IIST (and: Institute of Information Technology), P.O.Box 3058, Macau (respectively Nghia Do, Tu Liem, Hanoi, Vietnam), 1994. Presented, December 14-16, 1994, at and published in Proceedings: ISPAN: International Symposium in Parallel Architectures, Algorithms, and Networks, JAIST, Kanazawa, Japan. IEEE Computer Society Press, 1994, pp 33-40.

 [14]

Zhou Chaochen et al. Linear Duration Invariants. In W.P. de Roever el al., editor, Formal Techniques in Real-time and Fault Tolerant Systems, Springer-Verlag, LNCS 863, September 1994

 [15]

Ji Wang. Verifying real-time properties for railway systems. Research note, UNU/IIST, P.O.Box 3058, Macau, May 1994.

 [16]

Xinyao Yu. Stability of railway systems. Research note, UNU/IIST, P.O.Box 3058, Macau, May 1994.

 [17]

Chaochen Zhou and Huiqun Yu. A duration model for railway scheduling. Research note, UNU/IIST, P.O.Box 3058, Macau, May 1994.

 []

-- PRaCoSy Documents

 [19]

Dines Bjørner and Jin Danhua. A PRaCoSy to PRaCoSH Transition Proposal. Technical Report db/03/01, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, February 1994.

 [20]

Dines Bjørner. A Architecture for Running Map Systems. Technical Report db/arch/01, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, February 1994.

 [21]

Dines Bjørner and Dong Yulin. Railway System Characteristic. Technical Report dyl/3/1, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, August 1993.

 [22]

Dines Bjørner, Dong YuLin, and Søren Prehn. Domain Analysis: A Case Study of Railway Station Management. Technical Report db/03/01, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, November 12 1994. Presented at and published in Proceedings: KICS'94: The Kunming (Yunnan, PRC) International CASE Symposium, November 1994.

 [23]

Søren Prehn. PRaCoSy Document Standard. Technical Report sp/4/1, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, October 1993.

 [24]

Søren Prehn. A Formal Model of the Railway Application Domain System. Technical Report sp/5/3, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, January 7 1994.

 [25]

Søren Prehn. Formal Domain Models Presentation. Technical Report sp/6/1, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, December 1993.

 [26]

Søren Prehn and Dong Yulin. File Sharing and Version Control. Technical Report sp/11/1, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, March 1994.

 [27]

Søren Prehn. A Railway Running Map Design. Technical Report SP/12/3, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, July 1994.

 [28]

Søren Prehn. Distributed Train Time-tables and Dispatching. Technical Report SP/13/2, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, July 1994.

 [29]

S. Parthasarathy. PRaCoSy: An Executive Overview. Technical Report par/02/09, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, December 1993.

 [30]

S. Parthasarathy, Søren Prehn, and Dines Bjørner. PRaCoSy: Work-package Description. Technical Report par/03/03, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, January 1994.

 [31]

S. Parthasarathy. An Informal Definition of the Scheduling Problem in PRaCoSy. Technical Report par/5/1, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, October 1993.

 [32]

S. Parthasarathy and Dines Bjørner. PRaCoSy: Document Catalogue. Technical Report jdh/catal/05, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, July 1994.

 [33]

S. Parthasarathy, Søren Prehn, and Dines Bjørner. Railway System Terminology. Technical Report par/terms/09, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, June 1994.

 [34]

S. Parthasarathy, Søren Prehn, and Dines Bjørner. Descriptors for Running Maps. Technical Report par/desc/06, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, April 1994.

 [35]

S. Parthasarathy, Søren Prehn, and Dines Bjørner. Running Map Display and Interactivity. Technical Report par/disply/03, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, March 1994.

 [36]

S. Parthasarathy. PRaCoSy: Document Roadmap. Technical Report par/roadmap/2, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, June 1994.

 [37]

S. Parthasarathy. PRaCoSy Project Phase i: Revised Activity Plan. Technical Report par/plan/01, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, April 1994.

 [38]

S. Parthasarathy. PRaCoSy: Software Design Description. Technical Report par/sdd/2, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, July 1994.

 [39]

S. Parthasarathy. Episode analysis: a practical approach to temporal reasoning about automated processes. Engineering Applications of AI, 1995.

 [40]

Dong Yulin. PRaCoSy Document List. Technical Report dyl/0/2, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, August 1994.

 [41]

Li Xiaoshan and Dong Yulin. The Zhengzhou-Wuhan Train Dispatch System. Technical Report dyl/1/3, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, October 1993. Translation from the Chinese version which was authored by staff of the Zhengzhou Railway Computer Centre of the Ministry of Railways, China.

 [42]

Dong Yulin and Søren Prehn. Explanation. Technical Note dyl/4/1, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, August 1993.

 [43]

Dong Yulin et al. More Questions. Technical Note dyl/6/1, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, October 1993.

 [44]

Dong Yulin. Train Running Map. Technical Note dyl/8/1, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, October 1993.

 [45]

Dong Yulin. Centralised Traffic Control. Technical Note dyl/10/1, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, November 1993. extracted from Railway Technical English.

 [46]

Dong Yulin and S. Parthasarathy. Railway Bibliography. Technical Report dyl/11/5, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, March 1994.

 [47]

Dong Yulin and Dines Børner. PRaCoSy: Document Deliverables. Technical Report dyl/deliv/1, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, August 1994.

 [48]

Dong Yulin. A Formal Model of Station Management. Technical Report dyl/16/2, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, October 1994.

 [49]

Jin Danhua. Proposed Shenzhen Meeting Plan. Technical Note jdh/2/1, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, October 1993.

 [50]

Jin Danhua. A First Mathematical Model of Train Time Tabling. Technical Report jdh/math/03, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, August 1994.

 [51]

Jin Danhua. Running Map Display Transformation. Technical Report jdh/trans/02, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, April 1994.

 [52]

Jin Danhua. PRaCoSy: A Program Manual. Technical Report jdh/manual/01, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, August 1994.

 [53]

Jin Danhua. Railway System Terminology: English and Chinese. Technical Report jdh/terms/045, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, August 1994.

 [54]

Jin Danhua. A Second Math. Model of Train Time Tabling. Technical Report jdh/math/05, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, October 1994.

 [55]

Liu Xin and S. Parthasarathy. PRaCoSy-Phase 1 Activities and Milestones. Technical Report lx/1/0, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, November 1993.

 [56]

Liu Xin. A Simple Running Map Display Tool. Technical Report lx/tool/01, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, August 1994.

 [57]

Liu Xin. PRaCoSy: Demo Script I. Technical Report lx/plan/01, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, August 1994.

 [58]

Liu Xin. Description of Running Map Tool. Technical Report lx/12/01, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, August 1994.

 [59]

Sun Guoqin, Liu Xin, and S. Partasarathy. Global Data Flow Diagrams for Train Dispatch. Technical Report sgq/1/6, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, August 1994.

 [60]

Sun Guoqin. PRaCoSy: Data Structures for Railway Networks. Technical Report sgq/3/1, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, June 1994.

 [61]

Sun Guoqin. PRaCoSy: Data Structures for Time-table Projections. Technical Report sgq/4/1, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, July 1994.

 [62]

Sun Guoqin. Formal Models of Time-table Input Tool. Technical Report sgq/11/3, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, October 1994.

 [63]

Sun Guoqin. User Script for Time-Table Preparation Tool. Technical Report sgq/12/1, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, October 1994.

 [64]

Ma Chao and S. Parthasarathy. Informal Description of a Railway System. Technical Report mc/narr2/2, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, August 1994.

 [65]

Ma Chao. PRaCoSy: Data Structures for Train Journeys. Technical Report mc/dstr1/1, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, May 1994.

 [66]

Ma Chao. Design and Implementation Description. Technical Report mc/design/1, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, October 1994.

 [67]

J. Nievergelt. Thoughts on Traffic Scheduling and Time Table Design. Technical Report dyl/9/2, Department of Computer Science, ETH-Centrum CH-8092 Zurich, Switzerland, Informatik, ETH, CH-8092 Zurich, Switzerland, January 1994.

 []

-- MIICI Documents

 [69]

Jan Goossenaerts. MI²CI Philippines Project Concept / Proposal. Note, UNU/IIST, P.O.Box 3058, Macau, July 1994.

 [70]

Jan Goossenaerts. Indonesia mi²ci: Data Infrastructure for the Integration of Database Network. Note, UNU/IIST, P.O.Box 3058, Macau, 20 Sept. 1994. III/Indonesia.

 [71]

Jan Goossenaerts. Concept of a DATA INFRASTRUCTURE for Industrial Development. Note, UNU/IIST, P.O.Box 3058, Macau, 20 Sept. 1994. III/Indonesia.

 [72]

Jan Goossenaerts. MI²CI Executive Overview. Note, UNU/IIST, P.O.Box 3058, Macau, February 1994.

 [73]

Jan Goossenaerts. Emulator, Partial Evaluation and Denotational Semantics for Enterprise Model Construction. Research note, UNU/IIST, P.O.Box 3058, Macau, March 1994.

 [74]

Jan Goossenaerts. MI²CI Field Study Workshop - a Proposal. Technical note, UNU/IIST, P.O.Box 3058, Macau, February 1994.

 [75]

Jan Goossenaerts. The mi²ci Project and its relevance for Machinery Industry. Lecture notes, UNU/IIST, P.O.Box 3058, Macau, May 1994.

 [76]

Jan Goossenaerts. MI²CI Information Technology for Manufacturing Enterprise Development in the Philippines. Lecture notes, UNU/IIST, P.O.Box 3058, Macau, June 1994.

 [77]

Dines Bjørner Jan Goossenaerts. An information technology framework for lean/agile supply-based industries in developing countries. In Proceedings of the International Dedicated Conference on: Lean/Agile Manufacturing in the Automotive Industries, London, UK, October 1994.

 [78]

Jan Goossenaerts and Dines Bjørner. Interflow systems for manufacturing: Concepts and a Construction. Technical report, UNU/IIST, P.O.Box 3058, Macau, August 1994. To be presented at European Workshop on Integrated Manufacturing Systems Engineering (IMSE'94), Grenoble, France, December 12-14, 1994.

 [79]

Jan Goossenaerts. MI²CI: Informal Problem Domain Description. Research note, UNU/IIST, P.O.Box 3058, Macau, May 1994.

 [80]

Jan Goossenaerts. Generic Models for the mi²ci Project. Technical report, UNU/IIST, P.O.Box 3058, Macau, August 1994.

 [81]

Jan Goossenaerts. MI²CI Terms of Reference. Note, UNU/IIST, P.O.Box 3058, Macau, August 1994.

 [82]

Jan Goossenaerts. Generic Models for Manufacturing Industry. Note, UNU/IIST, P.O.Box 3058, Macau, October 17 1994. Incomplete, 119 page Draft.

 [83]

Jan Goossenaerts. The Indonesian mi²ci Project. Note, UNU/IIST, P.O.Box 3058, Macau, October 1994.

 [84]

Jan Goossenaerts. MI²CI Course Outline, OH Foils. Note, UNU/IIST, P.O.Box 3058, Macau, 14-16 Sept. 1994. III/Indonesia.

 []

-- Other Publications

 [86]

Dines Bjørner. Prospects for a Viable Software Industry. In H.Yamada, Y. Kambayashi, and S. Ohta, editors, Computers as our Better Partners, pages 228-246, UNU HQ, Tokyo, Japan, March 7-9 1994. World Scientific Publish. Invited Talk; Appendix by Søren Prehn and Dong Yu Lin.

 [87]

Dines Bjørner. The UNU/IIST Approach to Software Technology Transfer. In K.Krüger et al., editor, IFIP Congress '94, Hamburg, Germany, August 29 - September 2 1994. North Holland. Invited Talk.

 [88]

Dines Bjørner. The SDaM Paradigm of Software Development. In Sukho Lee, editor, 21'st Spring Conference, pages 6-34, Chong Ju City, 22 April 1994. KISS. Keynote Speech.

 []

-- Administrative Document

 [90]

Dines Bjørner. Software Support for System Infrastructures. Administrative report, UNU/IIST, UNU/IIST, P.O.Box 3058, Macau, 29 October 1994.

Annual Report 1994