A “dual language” component-based approach to the development of real-time critical applications is proposed. UML provides the constructs for modeling the structure of the system and the behavior of the system's components. A new descriptive language based on temporal logic, called OTL (Object Temporal Logic) is defined, in order to let the developer assert properties of the system at an abstract specification level. A development process consistent with the proposed notation is also briefly described.

A Dual Language Approach Extension to UML for the Development of Time-Critical Component-Based Systems

LAVAZZA, LUIGI ANTONIO;MORASCA, SANDRO;
2003-01-01

Abstract

A “dual language” component-based approach to the development of real-time critical applications is proposed. UML provides the constructs for modeling the structure of the system and the behavior of the system's components. A new descriptive language based on temporal logic, called OTL (Object Temporal Logic) is defined, in order to let the developer assert properties of the system at an abstract specification level. A development process consistent with the proposed notation is also briefly described.
Mauro Pezze'
Electronic Notes in Theoretical COmputer Science
International Workshop on Test and Analysis of Component Based Systems 20093 (TACoS 2003)
Varsavia (Polonia)
13 aprile 2003
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11383/1715312
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
social impact