546 search results - page 74 / 110 » An Action Semantics for MML |
107
click to vote
CISIS
2010
IEEE
15 years 7 months ago
2010
IEEE
—The SERSCIS project aims to support the use of interconnected systems of services in Critical Infrastructure (CI) applications. The problem of system interconnectedness is aptly...
108
click to vote
TCS
2002
15 years 1 months ago
2002
This paper surveys the theoretical developments in the field of stochastic process algebras, process algebras where action occurrences may be subject to a delay that is determined...
ESOP
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Rely-guarantee is a well-established approach to reasoning about concurrent programs that use parallel composition. However, parallel composition is not how concurrency i...
135
click to vote
SEMCO
2009
IEEE
15 years 8 months ago
2009
IEEE
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...
135
click to vote
AGTIVE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Business process models describe workflows by a set of actions together with their ordering. When implementing business processes within a service-oriented architecture,...