Time aware systems claim for an explicit representation of time-related concepts, so that they can be observed and possibly controlled at run-time. The paper identifies a set of architectural abstractions capturing such concepts related to time and classifies the base activities performed by a time aware system. Our proposal has been formalized using two different modeling techniques: UML and Petri nets. The former has been chosen to model the static structure of both the abstractions and the entities performing time aware activities. The latter have been exploited to model the dynamics of a time aware system
Fiamberti, F., Micucci, D., Tisato, F. (2013). Petri nets as a means to validate an architecture for time aware systems. In Joint proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE) and International Workshop on Modeling and Business Environments (ModBE) (pp.117-131).
Petri nets as a means to validate an architecture for time aware systems
FIAMBERTI, FRANCESCO;MICUCCI, DANIELA;TISATO, FRANCESCO
2013
Abstract
Time aware systems claim for an explicit representation of time-related concepts, so that they can be observed and possibly controlled at run-time. The paper identifies a set of architectural abstractions capturing such concepts related to time and classifies the base activities performed by a time aware system. Our proposal has been formalized using two different modeling techniques: UML and Petri nets. The former has been chosen to model the static structure of both the abstractions and the entities performing time aware activities. The latter have been exploited to model the dynamics of a time aware system
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
