Eingang zum Volltext in OPUS
Lizenz
Bitte beziehen Sie sich beim Zitieren dieses Dokumentes immer auf folgende
URN: urn:nbn:de:kobv:83-opus-18040
URL: http://opus.kobv.de/tuberlin/volltexte/2008/1804/
Jiang, Ke ; Zhang, Lei ; Miyake, Shigeru
Using OCL in Executable UML
| pdf-Format: |
| |
| Print-on-Demand: |  |
Kurzfassung auf Englisch
Executable UML allows precisely describing the software system at a higher level of abstraction. The executable models can be translated to a less abstract program-ming language completely or executed directly. Object Constraint Language (OCL), as a formal specification language, is a standard published along with UML. It is primitively used to describe constraints for UML models. In this paper, we explore some general features of executable UML and propose using OCL in executable UML. We extend OCL to support actions with side-effect in order to precisely model behavior. We also discuss the some open issues.
| Freie Schlagwörter (Deutsch): | OCL , Object Constraint Language , Programmiersprache | |
| Freie Schlagwörter (Englisch): | OCL , Object Constraint Language , programming language | |
| Collection: | TU Berlin / Zeitschriften / Fakultät IV - Elektrotechnik und Informatik / Electronic Communications of the EASST- ECEASST / Volume 9 (2008): Ocl4All - Modelling Systems with OCL | |
| Institut: | Institut für Softwaretechnik und Theoretische Informatik | |
| DDC-Sachgruppe: | Informatik | |
| Dokumentart: | Aufsatz | |
| Schriftenreihe: | Electronic Communications of the EASST- ECEASST | |
| Bandnummer: | 09/06 | |
| ISBN/ISSN: | 1863-2122 | |
| Quelle: | http://eceasst.cs.tu-berlin.de/index.php/eceasst/issue/view/16 | |
| Sprache: | Englisch | |
| Erstellungsjahr: | 2008 | |
| Publikationsdatum: | 11.03.2008 | |
| Lizenz: | Standardlizenz: Typ CC by-nc-sa - Namensnennung erforderlich | Kommerziell nein | Weiterbearbeitung nur unter gleichen Bedingungen erlaubt | PoD ja |
