[an error occurred while processing this directive]

InTime

Summary

InTime develops a semantical and methological foundation of the UML-RT with emphasis on the flexible development of real-time critical systems.

Abstract

Technical software applications which were mostly being developed as isolated systems in the past, are moving towards an integration in general, wide spanning software systems. To cope with the resulting complexity, object oriented methods - already successful applied in the development of business software - are increasingly applied in the field of technical, often time critical applications. In response to the need for a standardization, the OMG started the standardization process of a real-time variant of the widely used Unified Modeling Language (UML) which is expected to become the leading modeling language for real-time systems.
Major shortcomings however, which are already shown by the UML, are both the lack of a rigorous semantical foundation and guidelines for the methological usage. As a consequence, incompatible interpretations and usages of the UML diagrams are widely spread in practice. InTime aims to develop both a semantical and methological foundation of the UML-RT which respects different needs or roles in the development process but integrates them in a common framework. Role specific views are defined and integrated by sophisticated refinement principles. The approach is based on an integration of method Real-Time Object-Oriented Modeling (ROOM) with modeling elements of the UML. For modeling the system structure, Class Diagrams and Actor Diagrams are considered. Behaviour modeling is based on StateCharts and MSCs. For properties which cannot be expressed with these techniques, the usage of the Object Constraint Language proposed in the UML is investigated. In particular, The following topics are a matter of research:

Integration of Class diagrams and Actor Diagrams
Interpretation and methological usage of StateCharts
Interpretation and methological usage of MSCs
Transformation from MSCs to StateCharts
Applicability of the OCL
Interrelation timed and time independent execution models
Refinement principles
Evaluation of the concepts with in practical case studies

InTime is funded by the DFG and associated with the priority program Integration of Software Specification Techniques for Scientific Engineering Applications.

Keywords

UML-RT, Object Oriented Modeling, Real Time, Formal foundation, Refinement, Development Methods

 

© 1999-2009 - Software & Systems Engineering Research Group
Sitemap |  Contact
Last change: 2004-04-01 12:59:14