Using OCL in Executable UML

نویسندگان

  • Ke Jiang
  • Lei Zhang
  • Shigeru Miyake
چکیده

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 some open issues.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Extending ASSL: Making UML Metamodel-based Workflows executable

ASSL is a language that enables UML developers to test and certify UML and OCL models [5]. Snapshots of system states are semi-automatically created and main parts of the UML action semantics is implemented by the language. Its interpreter is the well-known UML modeling tool USE. The article proposes a number of language extensions to ASSL. These include (sub) procedure calls and preand postcon...

متن کامل

Extension of an Ocl-based Executable Uml Components Action Language

Executable models allow precise description of software systems at a higher level of abstraction and independently of a platform or a programming language. In this paper we explore the use of a Procedural Action Language based on OCL to specify executable UML components and we propose an extension that will include array types and correspond-

متن کامل

Implementing OCL as a Database Query Language

The approach of model-driven software development sketches the vision of the next big step in raising the level of abstraction and flexibility of programming tools. The key expectation behind MDA is achieving a productivity gain through the automating software construction based on models. In this paper we focus on one of possible model application, namely executable models. If models are to be...

متن کامل

Textual, Executable, Translatable UML

This paper advocates the application of language embedding for executable UML modeling. In particular, txtUML is presented, a Java API and library to build UML models using Java syntax, then run and debug them by reusing the Java runtime environment and existing debuggers. Models can be visualized using the Papyrus editor of the Eclipse Modeling Framework and compiled to implementation language...

متن کامل

HOL-OCL: Experiences, Consequences and Design Choices

Based on experiences gained from an embedding of the Object Constraint Language (OCL) in higher-order logic [1], we explore several key issues of the design of a formal semantics of the OCL. These issues comprise the question of the interpretation of invariants, preand postconditions, an executable sub-language and the possibilities of refinement notions. A particular emphasize is put on the is...

متن کامل

ذخیره در منابع من

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • ECEASST

دوره 9  شماره 

صفحات  -

تاریخ انتشار 2008