Next: About this document ...
The Triptych -- a Programming Methodology -- Project
Dines Bjørner
September 29, 1998
The ``Triptych'' Project is documented in
The Triptych Project
Clusters
and is
centered around:
- Software Engineering
= Domain Engineering+ Requirements Engineering+ Software Design
- Software Design
= Software Architecture+ Program Organisation+ Refinements+ Coding
- Refinements + Coding
= Platform Programming
And on the following observations (Prof. Tony Hoare, Aug.97
(FM'99
)):
- Maturity:
Use of a formal method is no longer an adventure; it is becoming
routine.
- Convergence:
The choice of a formal method
or tool is no longer controversial:
formal methods are chosen in
relation to their purpose and
they are increasingly used in
effective combination.
- Cumulative Progress:
Promise of yet, further benefit is obtained by accumulation
of tools, libraries,
theories, and case studies based on the work of scientists from many
schools which were earlier
considered as competitors.
In the ``Triptych'' project we theoretically study and experimentally
apply principles, techniques and tools of domain engineering,
requirements engineering and software design.
Current reports and papers can be referenced:
- The ``Triptych'' Paradigm:
- Domain Engineering:
- Railways:
- TRaIn: The Railway
Infrastructure:
: An R&D
Project Proposal
- Scheduling and rescheduling of trains
D. Bjørner, C.W. George and S. Prehn.
Chapter for a book:
Industrial Strength Formal
Methods
Edited by M. Hinchey and J.P. Bowen.
Academic Press International Series in Formal Methods.
Main author: Chris W. George
- A Railway System:
UNU/IIST report No.93. D. Bjørner, C.W. George,
B.S. Hansen, H. Laustrup and S. Prehn. Spring 1997.
A short term aim of this report is to document a railway domain: from the rail
net and its trains & traffic, including signalling, via time-tables,
scheduling and rescheduling, to passenger ticketing, freight
transport & tracing, shunting, marshaling, and net maintenance and
development, etc.
Long term aims of this report are (i) to develop a theory of the railway
domain -- void of any reference to requirements and software, and
(ii) to develop varieties of requirements covering the domain.
- Decision Support Systems:
Decision Support Systems for Sustainable
Development
A Conceptual Model. Revised version of UNU/IIST report.
- Enterprise Management: Models of
Enterprise Management
. Strategy, Tactics
and Operations -- A Case Study applied to Airlines and
Manufacturing.
- Banking:
- Fisheries Industry: FISH:
Fisheries Infrastructure -- Hardware /
Software
Project under upstart. Details around mid-fall 1998.
- Public Administration: AIDA:
Aabenhed/Openness in
Danish Administration.
Self-service -- over the Internet -- in Danish Administration:
Social Welfare, Education, Health-care, Customs & Taxes, etc.
- Requirements Engineering:
- Airline Time-table System:
- Banking System:
- Software Architecture & Program Organisation:
- Related:
- 5 Years of R&D at UNU/IIST
.
A 210+ page document outlining research and advanced
software (methodology) development projects at UNU/IIST.
- Michael Jackson's Problem
Frames:
Towards Methodological Principles
of Selecting and Applying Formal Software
Development Techniques and Tools.
Intl.Conf. on Formal Engineering Methods,
Hiroshima, Japan, 12-14 Nov.1997.
Eds. Michael G. Hinchey and Liu ShaoYing, IEEE CS Press, pp
263-270. Co-authors: Souleimane Kousoube, Roger Noussi and Gueorgui
Satchok
- Lecture & Seminar Notes:
- Spring 1999 Lectures:
Lecture Note table-of-contents.
- 31. August - 5. September 1998:
IFIP'98: World Computer Congress, Vienna + Budapest, Sat. 5
Sept. 1998 --
Full day tutorial on: Domains, Requirements, Software
Architecture and Program Organisation
- 8 & 11 September 1998: Hitachi Systems Development
Laboratories, Kawasaki
- Wednesday 8.9: All day
Seminar
- Friday 11.9: Afternoon Seminar: Banking Systems Software
- 10 September 1998: JSSST Conference: Invited Talk
Next: About this document ...
Dines Bjorner
9/29/1998