Approaching a Discrete-Continuous UML: Tool Support and Formalization

نویسندگان

  • Thomas Stauner
  • Alexander Pretschner
  • Istran Péter
چکیده

This paper presents HyROOM, a proposal for an extension of UML-like languages by continuous activities for the specification of mixed discrete-continuous, or hybrid, systems. It is implemented in a CASE tool prototype based on the Real-time Object Oriented Modeling methodology. All vital parts of HyROOM’s operational simulation semantics are mapped into HyCharts, a formal framework for hybrid systems. All essential concepts are discussed along the lines of parts of an industrial case study, a wire stretching plant. The semantics is the basis for validation and refinement

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

ثبت نام

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

منابع مشابه

Mapping Sequence diagram in Fuzzy UML to Fuzzy Petri Net

This ability in fuzzy UML, practically leaves the customers and market’s need without response in this important and vital area. Here, the available sequence diagrams in fuzzy UML will map into fuzzy Petri net. However, the formal models ability will be added to the Semi-formal fuzzy UML. This formalization will add the automatic processing ability to the Semi-formal fuzzy UML. Further more, t...

متن کامل

Retrieval by Construction: a Traceability Technique to Support Verification and Validation of Uml Formalizations

Recently, there has been growing interest in formalizing UML, thereby enabling rigorous analysis of its many graphical diagrams. Two obstacles currently limit the adoption and use of UML formalizations in practice. First is the need to verify the consistency of artifacts under formalization. Second is the need to validate formalization approaches against domain-specific requirements. Techniques...

متن کامل

Formalizing UML Class Diagrams in PVS

The Unified Modeling Language (UML) [1] is a language for specifying, visualizing and documenting object-oriented systems. It serves as a standard OO modeling notation and has powerful tool supports like Rational Rose [2]. It became popular among the industrial community mainly because it provides visual, intuitively appealing graphical notations and structuring mechanisms. However, a major dra...

متن کامل

Tool Support for ViewPoint-oriented Software Development

In this contribution we present tool support addressing the multiple perspectives problem. For organizing and integrating multiple stakeholders, the development processes and notations they use, and the partial specifications they produce we use the ViewPoints framework. A formalization of the ViewPoints framework based on distributed graph transformation builds the foundation of our tool. Intr...

متن کامل

A metamodeling level transformation from UML sequence diagrams to Coq

Modeling is an important aspect of UML formal verification that directly affects the quality and efficiency of the verification. Formal models are the foundation of formal verification. As UML diagrams only have semi-formal semantics, they cannot be used for formal verification directly. Recent studies present model transformation from semi-formal UML models to formal models to solve the issues...

متن کامل

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

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

{@ msg_add @}


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

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

دوره   شماره 

صفحات  -

تاریخ انتشار 2001