1 specification of it systems – introduction. 2 book and web pages zin the course we use the...
Post on 19-Dec-2015
214 views
TRANSCRIPT
![Page 1: 1 Specification of IT Systems – Introduction. 2 Book and web pages zIn the course we use the following litterature: yDesign Methods for Reactive Systems](https://reader035.vdocument.in/reader035/viewer/2022062714/56649d3e5503460f94a17aff/html5/thumbnails/1.jpg)
1
Specification of IT Systems – Introduction
![Page 2: 1 Specification of IT Systems – Introduction. 2 Book and web pages zIn the course we use the following litterature: yDesign Methods for Reactive Systems](https://reader035.vdocument.in/reader035/viewer/2022062714/56649d3e5503460f94a17aff/html5/thumbnails/2.jpg)
2
Book and web pages
In the course we use the following litterature: Design Methods for Reactive Systems – Yourdon,
Statemate, and the UML R.J. Wieringa Morgan Kaufmann, 2003
Course web page http://www.daimi.au.dk/~krell/SITS/
![Page 3: 1 Specification of IT Systems – Introduction. 2 Book and web pages zIn the course we use the following litterature: yDesign Methods for Reactive Systems](https://reader035.vdocument.in/reader035/viewer/2022062714/56649d3e5503460f94a17aff/html5/thumbnails/3.jpg)
3
Lectures and exercises
Lectures and exercises Thuesday 8-12 Codd-S 219 - except for today…
First lectures, then exercises…
![Page 4: 1 Specification of IT Systems – Introduction. 2 Book and web pages zIn the course we use the following litterature: yDesign Methods for Reactive Systems](https://reader035.vdocument.in/reader035/viewer/2022062714/56649d3e5503460f94a17aff/html5/thumbnails/4.jpg)
4
Mandatory excersises and exam
Mandatory excersises Web...
Exam Web...
![Page 5: 1 Specification of IT Systems – Introduction. 2 Book and web pages zIn the course we use the following litterature: yDesign Methods for Reactive Systems](https://reader035.vdocument.in/reader035/viewer/2022062714/56649d3e5503460f94a17aff/html5/thumbnails/5.jpg)
5
Lectures
Lectures Jens Bæk Jørgensen ([email protected]) Søren Christensen ([email protected]) Kristian Bisgaard Lassen ([email protected])
![Page 6: 1 Specification of IT Systems – Introduction. 2 Book and web pages zIn the course we use the following litterature: yDesign Methods for Reactive Systems](https://reader035.vdocument.in/reader035/viewer/2022062714/56649d3e5503460f94a17aff/html5/thumbnails/6.jpg)
6
Purpose and Contents
Purpose: The purpose of this course is to strengthen the students knowledge of
conceptual modeling and system specification.
Contents: The student will learn skills to build data models, data flow models and
behavioral models. The course describe how these techniques is combined. The course emphasizes not just to describe the IT system from a technical point of view, but also to describe the environment where the given system is to be used. The course walks through techniques is method independent, but different concrete methods and notations is uses such as UML.
The course focuses on making specification of systems and to a lesser extend how these specifications is realized in an implementation.
![Page 7: 1 Specification of IT Systems – Introduction. 2 Book and web pages zIn the course we use the following litterature: yDesign Methods for Reactive Systems](https://reader035.vdocument.in/reader035/viewer/2022062714/56649d3e5503460f94a17aff/html5/thumbnails/7.jpg)
7
Part I: Reactive system design – contents
Chapter 1: Reactive systemsChapter 2: The environmentChapter 3: Stimulus-response behaviourChapter 4: Software specifications
![Page 8: 1 Specification of IT Systems – Introduction. 2 Book and web pages zIn the course we use the following litterature: yDesign Methods for Reactive Systems](https://reader035.vdocument.in/reader035/viewer/2022062714/56649d3e5503460f94a17aff/html5/thumbnails/8.jpg)
8
Reactive systems – first characterisation
Two main classes of systems Transformational systems Reactive systems
Reactive systems respond to stimuli in order to bring about desirable effects in their environments
Reactive systems may Manipulate complex data Engage in complex behavior Communicate with (many) other systems
![Page 9: 1 Specification of IT Systems – Introduction. 2 Book and web pages zIn the course we use the following litterature: yDesign Methods for Reactive Systems](https://reader035.vdocument.in/reader035/viewer/2022062714/56649d3e5503460f94a17aff/html5/thumbnails/9.jpg)
9
Reactive systems – training information system example
Purpose Coordinate monthly training courses for new employees of
large company
Characteristics Interactive Nonterminating State-dependent response Environment-oriented response Parallel processing
![Page 10: 1 Specification of IT Systems – Introduction. 2 Book and web pages zIn the course we use the following litterature: yDesign Methods for Reactive Systems](https://reader035.vdocument.in/reader035/viewer/2022062714/56649d3e5503460f94a17aff/html5/thumbnails/10.jpg)
10
Reactive systems – elevator controller example
Purpose Control the movement of two elevator cages in a 10 floor
building; update location and direction indicators
Characteristics Interactive Nonterminating State-dependent response Environment-oriented response Parallel processing Real-time
![Page 11: 1 Specification of IT Systems – Introduction. 2 Book and web pages zIn the course we use the following litterature: yDesign Methods for Reactive Systems](https://reader035.vdocument.in/reader035/viewer/2022062714/56649d3e5503460f94a17aff/html5/thumbnails/11.jpg)
11
Reactive systems – definition and examples (Wieringa)
A reactive system is a system that, when switched on, is able to create desired effects in its environment by enabling, enforcing or preventing events in the environment.
Characteristics Interactive Nonterminating Interrupt-driven State-dependent response Environment-oriented response Parallel processing Real-time
Examples Information systems, workflow systems, groupware, EDI systems,
web market places, production control software, embedded software
![Page 12: 1 Specification of IT Systems – Introduction. 2 Book and web pages zIn the course we use the following litterature: yDesign Methods for Reactive Systems](https://reader035.vdocument.in/reader035/viewer/2022062714/56649d3e5503460f94a17aff/html5/thumbnails/12.jpg)
12
The environment – training information system example
![Page 13: 1 Specification of IT Systems – Introduction. 2 Book and web pages zIn the course we use the following litterature: yDesign Methods for Reactive Systems](https://reader035.vdocument.in/reader035/viewer/2022062714/56649d3e5503460f94a17aff/html5/thumbnails/13.jpg)
13
The environment – message exchange
Environment and system exchange messages Each message has
A subject (people, devices, conceptual entities, lexical entities, ...)
A function, which informs the environment, directs the environment, or manipulates lexical items
A connection, which isa path from sender to receiver that may delay, distort, or loose the
message
![Page 14: 1 Specification of IT Systems – Introduction. 2 Book and web pages zIn the course we use the following litterature: yDesign Methods for Reactive Systems](https://reader035.vdocument.in/reader035/viewer/2022062714/56649d3e5503460f94a17aff/html5/thumbnails/14.jpg)
14
The environment – subject domain
Subject domain of a reactive system Consists of entities and events Set of all subjects of all its input and output messages The part of the world talked about by the messages that
cross the system interface
Categories of entities Physical entities Conceptual entities Lexical items
![Page 15: 1 Specification of IT Systems – Introduction. 2 Book and web pages zIn the course we use the following litterature: yDesign Methods for Reactive Systems](https://reader035.vdocument.in/reader035/viewer/2022062714/56649d3e5503460f94a17aff/html5/thumbnails/15.jpg)
15
The environment – example of subject domain (with physical, conceptual, and lexical entities)
![Page 16: 1 Specification of IT Systems – Introduction. 2 Book and web pages zIn the course we use the following litterature: yDesign Methods for Reactive Systems](https://reader035.vdocument.in/reader035/viewer/2022062714/56649d3e5503460f94a17aff/html5/thumbnails/16.jpg)
16
The environment – example of connection domain (and subject domain)
![Page 17: 1 Specification of IT Systems – Introduction. 2 Book and web pages zIn the course we use the following litterature: yDesign Methods for Reactive Systems](https://reader035.vdocument.in/reader035/viewer/2022062714/56649d3e5503460f94a17aff/html5/thumbnails/17.jpg)
17
The environment – example of system directly connected to subject domain
![Page 18: 1 Specification of IT Systems – Introduction. 2 Book and web pages zIn the course we use the following litterature: yDesign Methods for Reactive Systems](https://reader035.vdocument.in/reader035/viewer/2022062714/56649d3e5503460f94a17aff/html5/thumbnails/18.jpg)
18
Stimulus-response behaviour – training information system example
Assumptions -Registration desk reliable-Employee is indeed a joiner
![Page 19: 1 Specification of IT Systems – Introduction. 2 Book and web pages zIn the course we use the following litterature: yDesign Methods for Reactive Systems](https://reader035.vdocument.in/reader035/viewer/2022062714/56649d3e5503460f94a17aff/html5/thumbnails/19.jpg)
19
Stimulus-response behaviour – heating controller example
Assumptions?
![Page 20: 1 Specification of IT Systems – Introduction. 2 Book and web pages zIn the course we use the following litterature: yDesign Methods for Reactive Systems](https://reader035.vdocument.in/reader035/viewer/2022062714/56649d3e5503460f94a17aff/html5/thumbnails/20.jpg)
20
Stimulus-response behaviour – in general
Event types -Named external event-Condition change event-Temporal event
![Page 21: 1 Specification of IT Systems – Introduction. 2 Book and web pages zIn the course we use the following litterature: yDesign Methods for Reactive Systems](https://reader035.vdocument.in/reader035/viewer/2022062714/56649d3e5503460f94a17aff/html5/thumbnails/21.jpg)
21
Stimulus-response behaviour – assumptions
Assumptions are statements about the environment Must be true for the (stimulus, response) pair to be
desirable Beyond control of SuD
Examples of categories of assumptions Laws of nature Properties of devices Properties of people (users, operators, …)
![Page 22: 1 Specification of IT Systems – Introduction. 2 Book and web pages zIn the course we use the following litterature: yDesign Methods for Reactive Systems](https://reader035.vdocument.in/reader035/viewer/2022062714/56649d3e5503460f94a17aff/html5/thumbnails/22.jpg)
22
Stimulus-response behaviour – event recognition and response computation
- Observer makes event recognition- Actor makes response computation
![Page 23: 1 Specification of IT Systems – Introduction. 2 Book and web pages zIn the course we use the following litterature: yDesign Methods for Reactive Systems](https://reader035.vdocument.in/reader035/viewer/2022062714/56649d3e5503460f94a17aff/html5/thumbnails/23.jpg)
23
Stimulus-response behaviour – example of assumptions about observers
Events of interest: beginning of plate arrives, end of plate arrives Available stimuli: on, off Necessary assumptions:
The photo-electric cell is functioning properly. The cell is stimulated only by the arrival of the beginning or end of a
metal plate Event recognition?
![Page 24: 1 Specification of IT Systems – Introduction. 2 Book and web pages zIn the course we use the following litterature: yDesign Methods for Reactive Systems](https://reader035.vdocument.in/reader035/viewer/2022062714/56649d3e5503460f94a17aff/html5/thumbnails/24.jpg)
24
Software specifications – basic concepts and terminology
Design decision Any creative decision about a system
Specification Description of design decisions
A reactive system specification must describe the place of the SuD in the system hierarchy functions, behaviour and communication of the SuD its composition
The specification must be used to make a system engineering argument
![Page 25: 1 Specification of IT Systems – Introduction. 2 Book and web pages zIn the course we use the following litterature: yDesign Methods for Reactive Systems](https://reader035.vdocument.in/reader035/viewer/2022062714/56649d3e5503460f94a17aff/html5/thumbnails/25.jpg)
25
Software specifications – system engineering argument for training information system
Emergent property (E): Department must be able to handle newcomers efficiently
Specification (S): The training information system allows registration of unexpected participants
Assumption (A): The department has extra staff
![Page 26: 1 Specification of IT Systems – Introduction. 2 Book and web pages zIn the course we use the following litterature: yDesign Methods for Reactive Systems](https://reader035.vdocument.in/reader035/viewer/2022062714/56649d3e5503460f94a17aff/html5/thumbnails/26.jpg)
26
Software specifications – system engineering argument for heating controller
Emergent property (E): Pasteurization unit heats batch according to recipe
Specification (S): The heating controller controls heater according to batch recipe
Assumption (A): The thermometer is functioning correctly
![Page 27: 1 Specification of IT Systems – Introduction. 2 Book and web pages zIn the course we use the following litterature: yDesign Methods for Reactive Systems](https://reader035.vdocument.in/reader035/viewer/2022062714/56649d3e5503460f94a17aff/html5/thumbnails/27.jpg)
27
Software specifications – system engineering argument in general
If SuD satisfies specification S and environment satisfies assumptions A (constraints) then composite system has emergent properties E (requirements)
Emergent properties arise by interaction of component systems
![Page 28: 1 Specification of IT Systems – Introduction. 2 Book and web pages zIn the course we use the following litterature: yDesign Methods for Reactive Systems](https://reader035.vdocument.in/reader035/viewer/2022062714/56649d3e5503460f94a17aff/html5/thumbnails/28.jpg)
28
Software specifications – properties at every level
Functional properties Service: Interaction that delivers desired effect Behaviour: Ordering of interactions over time Communication: Symbol flow between different entities
Quality properties/attributes: Efficiency, usability, reliability, …
![Page 29: 1 Specification of IT Systems – Introduction. 2 Book and web pages zIn the course we use the following litterature: yDesign Methods for Reactive Systems](https://reader035.vdocument.in/reader035/viewer/2022062714/56649d3e5503460f94a17aff/html5/thumbnails/29.jpg)
29
Summary
Reactive systems Communicate with environment, create desired effects, …
The environment Message exchange between subject domain and SuD, possibly via a
connection domain Message functions are informative, manipulative, or directive
Stimulus-response behaviour Event -> stimulus -> response -> action Assumptions necessary
Software specifications Used in system engineering argument Functional properties concern services, behaviour, and
communication