Formal Specification Methods
Back
Course informations
| Study program level |
Undergraduate |
| Study program |
Computer Science |
| Study program direction |
Software Engineering |
| Course year |
1. |
| Course semester |
II |
| Course status |
Core |
| ECTS |
6 |
| Lectures (h) |
15 |
| Excercises (h) |
30 |
| Seminars (h) |
- |
Course objectives
Introduce a student with the concept of "language space", which means transforming a particular IT system from an idea (described in narrative, natural language) through different levels of specification according to specific implementation (system developed in programming language and available technology). Enlighten the student that the formal models are the base / basics for system programming and development in one of the programming languages. Introduce the student with the model of the finite state machine (FSM) and familiarize him/her with the basic structure of the process: stability in the state-> input (incentive) -> transition -> stability in state. Indicate the possibility of communication between the machines. As a continuation of the FSM model, elaborate the basics of syntax of specification languages (specification and description language) and MSC (message sequence charts). Introduce a student with UML language.
Course outcomes
- For a particular system / process from the real world to identify stable states as well as inputs that cause transition from state to state (system analysis).
- Recognize and with formal methods (SDL and MSC) make a running diagram of a real-world process (system analysis).
- Recognize and with formal methods (SDLs) describe inter-process communication from the real world (system analysis).
- For a given problem generate the SDL process flowchart and the MSC intragroup communication diagram (system synthesis).
- Apply the method of unified modeling to different business activities
Course content
Language space. Process modeling. Machine with a finite number of states. Concept state-entry-transition state. SDL language - state, input, task, output, time control, system, block, process. Communication channels and communication routes. MSC language - basic constructs - condition, time control, condition, interpersonal communication. Modeling the process with the finite automation, description with the languages SDL and MSC. Introduction to UML, the basic techniques of unified modeling. Applying the unified modeling method to different business activities (functions and procedures).
