Requirements engineering of a medical information system using rule-based refinement of Petri nets

Conference · Tue Dec 31 00:00:00 EST 1996

OSTI ID:501608

Ermel, C; Padberg, J; Ehrig, H ^[1]

---

1. Technische Universit, Berlin (Germany)

This paper is concerned with the application of a formal technique to software engineering. In this case study we have used rule-based refinement of algebraic high-level nets for the requirements engineering of a medical information system. We outline the basic ideas of rule-based refinement and discuss how this technique is applied to the development from actual state analysis to functional essence.

• OSTI ID: 501608
• Report Number(s): CONF-961239-; TRN: 97:002723-0027
• Resource Relation: Conference: IDPT-2: 2. world conference on integrated design and process technology, Austin, TX (United States), 1-4 Dec 1996; Other Information: PBD: 1996; Related Information: Is Part Of Integrated design and process technology. Volume 1; Cooke, D.; Kraemer, B.J.; Sheu, P.C.Y.; Tsai, J.P.; Mittermeir, R. [eds.]; PB: 488 p.
• Country of Publication: United States
• Language: English

Related Subjects

99 MATHEMATICS
COMPUTERS
INFORMATION SCIENCE
MANAGEMENT
LAW
MISCELLANEOUS
INFORMATION SYSTEMS
NETWORK ANALYSIS
DESIGN
MEDICINE
DATA BASE MANAGEMENT