The Application of Continuous Time SRML

Abstract

The SENSORIA Reference Modeling Language (SRML) aims at modeling composite services at a high level. Continuous time SRML extends SRML in that it extends the semantic domain of SRML with Service-Oriented Hybrid Doubly Labeled Transition Systems, and thus provides a way to model services with continuous time executions. In this paper, we apply continuous time SRML to a traffic control system, to show the approach for using continuous time SRML to model continuous time executions in a service-oriented context; and make comparison of our approach with other related works to show the advantages of it.