34 search results - page 4 / 7 » Transactional Reduction of Component Compositions |
FORMATS
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. We investigate layered composition for real-time systems modelled as (networks of) timed automata (TA). We first formulate the principles of layering and transition indep...
KBSE
2007
IEEE
14 years 1 days ago
2007
IEEE
Flow composition languages permit the construction of longrunning transactions from collections of independent, atomic services. Due to environmental limitations, such transaction...
CBSE
2006
Springer
13 years 9 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
STEP
2003
IEEE
13 years 11 months ago
2003
IEEE
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular context. Patterns capture the static and dynamic structu...
TSC
2008
13 years 5 months ago
2008
Service level agreements (SLAs), or contracts, have an important role in web services. These contracts define the obligations and rights between the provider of a web service and i...