Statechart Simulator for Modeling Architectural Dynamics

نویسندگان

  • Alexander Egyed
  • David S. Wile
چکیده

Software development is a constant endeavor to optimize qualities like performance and robustness while ensuring functional correctness. Architecture Description Languages (ADLs) form a foundation for modeling and analyzing functional and non-functional properties of software systems, but, short of programming, only the simulation of those models can ensure certain desired qualities and functionalities. This paper presents an adaptation to statechart simulation, as pioneered by David Harel. This extension supports architectural dynamism – the creation, replacement, and destruction of components. We distinguish between design-time dynamism, where system dynamics are statically proscribed (e.g., creation of a predefined component class in response to a trigger), and run-time dynamism, where the system is modified while it is running (e.g., replacement of a faulty component without shutting down the system). Our enhanced simulation language, with over 100 commands, is toolsupported.

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

ثبت نام

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

منابع مشابه

A real-time recursive dynamic model for vehicle driving simulators

This paper presents the Real-Time Recursive Dynamics (RTRD) model that is developed for driving simulators. The model could be implemented in the Driving Simulator. The RTRD can also be used for off-line high-speed dynamics analysis, compared with commercial multibody dynamics codes, to speed up mechanical design process. An overview of RTRD is presented in the paper. Basic models for specific ...

متن کامل

Statechart Modeling and Web-based Simulation of Hybrid Dynamic Systems for E-automation

Web-based simulation of hybrid automation systems has attracted much attention. However, most available modeling approaches usually result in unnatural and complex models as both discrete logic and continuous behavior are involved. Based on the multi-paradigm modeling concept, this paper extends the traditional discrete statechart to model the continuous dynamics in a hierarchical and natural w...

متن کامل

Fuzzy Model of Human’s Performance for Guarding a Territory in an Air Combat

This paper proposes a new method for a three dimensional fuzzy model of pilot's performance for guarding a territory with a short-distance between two aircraft in an air combat task with a gun. A third-order nonlinear point mass vehicle model is considered for an aircraft's flight dynamics. The desired value of the velocity, the flight path and the heading angles are obtained from some derived ...

متن کامل

Use Case Maps and UML for Complex Software-Driven Systems

The Use Case Map (UCM) notation allows the description of complex software-driven systems in terms of high-level causal scenarios. By superimposing scenario paths on a structure of abstract components, UCMs provide an integrated view of behavior and structure at the system level. This paper presents interesting features of UCMs in relation with several types of diagrams defined in UML. It also ...

متن کامل

Uml-statechart Modeling Tool for the Vle Simulator: an Application to a Chronic Renal Dialysis Unit

The various reforms of the health care system aim at reducing the corresponding costs. So the hospitals must rationalize their costs while guaranteeing a good quality of service. In order to reach this goal, different scenarios of health care unit management have to be envisaged and carefully evaluated before their implementation on the system. Thus, simulation is used more and more frequently ...

متن کامل

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


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

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

ثبت نام

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

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

دوره   شماره 

صفحات  -

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