73 search results - page 13 / 15 » CPAM, A Protocol for Software Composition |
TLCA
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
ECOOP
2010
Springer
15 years 2 months ago
2010
Springer
Following the scenario-based approach to programming which centered around live sequence charts (LSCs), we propose a general approach to software development in Java. A program wil...
ICSE
2004
IEEE-ACM
15 years 9 months ago
2004
IEEE-ACM
Connectors and connector wrappers explicitly specify the protocol of interaction among components and afford the reusable application of extra-functional behaviors, such as reliabi...
108
click to vote
ICSEA
2007
IEEE
15 years 3 months ago
2007
IEEE
— With the mutual consent to use WSDL (Web Service Description Language) to describe web service interfaces and SOAP as the basic communication protocol, the cornerstone for web ...
EMSOFT
2001
Springer
15 years 1 months ago
2001
Springer
Abstract. We present a framework to extend the concept of type systems in programming languages to capture the dynamic interaction in component-based design, such as the communicat...