Loading...
Please wait, while we are loading the content...
Ocl 4 All : Modeling Systems with OCL at MoDELS 2007 Using OCL in Executable UML
| Content Provider | Semantic Scholar |
|---|---|
| Author | Jiang, Ke Zhang, Lei Miyake, Shigeru |
| Copyright Year | 2007 |
| Abstract | Executable UML allows precisely describing the software system at a higher level of abstraction. The executable models can be translated to a less abstract programming 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. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | https://journal.ub.tu-berlin.de/eceasst/article/download/104/100 |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |