Lect.10 - Institute of Software Technology
Lect.10 - Institute of Software Technology
Lect.10 - Institute of Software Technology
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
SOFTWARE ENGINEERING: The Essentials<br />
Nov.2008 Lectures: TU Graz<br />
Chap.3, Sect. 7, Subsect. 3, Subsubsect. 3 Lecture: 10. Slide: 557 <strong>of</strong> 1352<br />
c○ Dines Bjørner, 2008<br />
Fredsvej 11<br />
DK-2840 Holte<br />
Denmark November 16, 2008, 08:48<br />
Dines Bjorner: 8th DRAFT: October 14, 2008<br />
invisible<br />
/home/db/tseb/kap3/kap3-1<br />
[ Business Process Reengineering, BPR and the Requirements Document, Place in Formalisation Document ]<br />
• We may then decide to<br />
⋆ either develop entirely new descriptions <strong>of</strong> the new business<br />
processes, i.e., actually prescriptions for the business reengineered<br />
processes, R BPR ;<br />
⋆ or develop, from D BP , using a suitable schema calculus, such as<br />
the one in RSL, the requirements prescription R BPR , by suitable<br />
parameterisation, extension, hiding, etc., <strong>of</strong> the domain<br />
description D BP .<br />
Phone: +45 4542 2141, E-mail: bjorner@gmail.com, URL: www.imm.dtu.dk/˜db