Introduction to algorithms
Synthesis of extended transaction models using ACTA
ACM Transactions on Database Systems (TODS)
ASSET: a system for supporting extended transactions
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Abstractions for Software Architecture and Tools to Support Them
IEEE Transactions on Software Engineering - Special issue on software architecture
Specification matching of software components
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Storing and retrieving software components: a refinement based system
ICSE '94 Proceedings of the 16th international conference on Software engineering
A specification architecture for multimedia systems in open distributed processing
Computer Networks and ISDN Systems - Special issue: specification architecture
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
IEEE Transactions on Knowledge and Data Engineering
Split-Transactions for Open-Ended Activities
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
NORA/HAMMR: making deduction-based software component retrieval practical
ASE '97 Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)
CDS '98 Proceedings of the International Conference on Configurable Distributed Systems
The transaction concept: virtues and limitations (invited paper)
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
Multi-view description of software architectures
ISAW '98 Proceedings of the third international workshop on Software architecture
Imposing transactional properties on distributed software atchitectures
Proceedings of the 8th ACM SIGOPS European workshop on Support for composing distributed applications
The role of software architecture in constraining adaptation incomponent-based middleware platforms
IFIP/ACM International Conference on Distributed systems platforms
A framework for building non-functional software architectures
Proceedings of the 2001 ACM symposium on Applied computing
Customizable middleware for modular distributed software
Communications of the ACM
Defining Open Software Architectures for Customized Remote Execution of Web Agents
Autonomous Agents and Multi-Agent Systems
Incorporating Non-functional Requirements into Software Architectures
IPDPS '00 Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing
Towards Systematic Synthesis of Reflective Middleware
Reflection '99 Proceedings of the Second International Conference on Meta-Level Architectures and Reflection
Component-Based Programming of Distributed Applications
Advances in Distributed Systems, Advanced Distributed Computing: From Algorithms to Systems
The Importance of Resource Management in Engineering Distributed Objects
EDO '00 Revised Papers from the Second International Workshop on Engineering Distributed Objects
Simplifying Real-Time Multimedia Application Development Using Session Descriptions
IS&N '99 Proceedings of the 6th International Conference on Intelligence and Services in Networks: Paving the Way for an Open Service Market
QoS Management specification support for multimedia middleware
Journal of Systems and Software
A Perspective on the Future of Middleware-based Software Engineering
FOSE '07 2007 Future of Software Engineering
Interfacing remote transaction services using UPnP
Journal of Computer and System Sciences
FORMAware: framework of reflective components for managing architecture adaptation
SEM'02 Proceedings of the 3rd international conference on Software engineering and middleware
| Hi-index | 0.02 |
Transactions are contracts that guarantee a consistent, transparent, individual system state transition and their use is widespread in many different kinds of computing systems. Some well known standards (e.g. Corba) include the specification of services that provide transactional properties. In this paper, we present a formal method for the systematic synthesis of transactional middleware based on the combination of the aforementioned services. The synthesis of transactional middleware is based on (i) the formal specification of transactional properties and (ii) stub code generation.