Name
Abstract | ||
|---|---|---|
The number of open specifications of middleware systems and middleware services is increasing. Despite their complexity, they are traditionally described through APIs (the operation signatures) and informal prose (the behaviour). This fact often leads to ambiguities, whilst making difficult a better understanding of what is actually described. This paper presents a formal framework, specified in LOTOS (Language Of Temporal Ordering Specification), for the specification of middleware systems. The framework consists of a set of basic/common middleware components and some guidelines on how to compose them. The components of the framework facilitate the formal specification of different middleware systems. In order to illustrate how the framework may be used, it is adopted to specify procedural (synchronous) and message-oriented (asynchronous) middleware systems. |
Year | DOI | Venue |
|---|---|---|
2007 | 10.1145/1234741.1234768 | ACM SIGSOFT Software Engineering Notes |
Keywords | Field | DocType |
middleware behavioural specification,middleware,informal prose,middleware service,middleware system,framework,common middleware component,formal specification,better understanding,temporal ordering specification,different middleware system,formal framework,open specification,lotos | Middleware,Asynchronous communication,Middleware (distributed applications),Programming language,Software engineering,Computer science,Formal specification,Language Of Temporal Ordering Specification | Journal |
Volume | Issue | Citations |
32 | 2 | 2 |
PageRank | References | Authors |
0.38 | 12 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Nelson Souto Rosa | 1 | 232 | 29.55 |
| Paulo Roberto Freire Cunha | 2 | 46 | 14.62 |
| RosaNelson Souto | 3 | 8 | 0.94 |
| CunhaPaulo Roberto Freire | 4 | 2 | 0.38 |