2558 search results - page 256 / 512 » Model Composition Contracts |
150
click to vote
ENTCS
2006
15 years 5 months ago
2006
Abstract. In this paper, we discuss the semantics of BPEL4WS language which is a de facto standard for specifying and execution workflow specification for web service composition a...
114
click to vote
JUCS
2008
15 years 5 months ago
2008
In this presentation we will report on a number of projects where we have successfully applied the ASM methodology to provide models for a number of problems that are commonly foun...
141
click to vote
ENTCS
2007
15 years 5 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
143
click to vote
JLP
2011
15 years 7 hour ago
2011
The family of domain algebras provide an elegant formal system for automated reasoning about programme verification. Their primary models are algebras of relations, viz. represen...
135
click to vote
WSC
2008
15 years 7 months ago
2008
An SOA-compliant DEVS (SOAD) simulation framework is proposed for modeling service-oriented computing systems. A set of novel abstract component models that conform to the SOA pri...