Loading...
Please wait, while we are loading the content...
Similar Documents
4. Uml Class Diagrams as a Formal Specification Language 4.1 Object-oriented Specification with the Unified Modeling Language (uml) 4.1.1 Motivation 4.1.2 Unified Modeling Language
| Content Provider | Semantic Scholar |
|---|---|
| Abstract | The algebraic specification formalism, which was studied in the preceding chapters, has several drawbacks regarding its practical applicability: • The relationship to real programs is rather indirect. In particular, the restriction to completely state-less functions and data types opens a relatively large gap to concepts of modern programming languages, which are usually imperative and make extensive use of references. • The relationship to real life in the early stages of system development is too weak. When applying algebraic specifications, people are expected to change completely the way they specify systems. It si rather difficult even for an expert to determine whether an a purely algebraic specification actually mirrors the requirements for the system under discussion. A better integration with those semi-formal notations would be helpful which are in wide use already. Most modern programming languages are object-oriented. For analysis and design of software, the object-oriented approach is clearly dominant nowadays. Therefore, we aim in the following at an approach that combines object-oriented concepts, in particular from analysis and design languages, with the semantic ideas of algebraic specifications. The result will be a language which is as precise as algebraic specifications (although more complex), but which allows a smooth and almost not recognisable transition from semi-formal to purely formal concepts. The material in this chapter consists of current research results, so some open points will be unavoidable. It is very fortunate for the discipline of software engineering that in the last few years a standard language for semi-formal description of problems and systems has been defined, the Unified Modeling Language (UML). There are many graphical editing tools available for this language. So it is logical to concentrate on this language. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www-st.inf.tu-dresden.de/Lehre/WS01-02/fs/lectnotes/fss4a.pdf |
| Alternate Webpage(s) | http://www-st.inf.tu-dresden.de/fs/lectnotes/fss4a.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
