A transaction logic for database specification
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Automatic verification of database transaction safety
ACM Transactions on Database Systems (TODS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Verifiable properties of database transactions
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Principles of transaction processing: for the systems professional
Principles of transaction processing: for the systems professional
Correctness in general configurations of transactional components
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Essential COM
COMPCON '97 Proceedings of the 42nd IEEE International Computer Conference
Hi-index | 0.00 |
Component-based development is an emerging discipline of software development. Recently, the growth of middleware technologies brings the notion of server-side component into CBD for developing mission-critical applications. In this paper, we propose the method for designing reliable component systems for mission-critical tasks. To this end, we formulate the MTS system and develop the framework fro describing the specification and design of component-based systems and reasoning about them. For illustrating our framework, we show that the design of a simple bank example violates its specification. We strongly believe that the refactoring of transaction boundaries is common practice for improving scaliability and, thus, the developed framework is useful when evaluating refactorings.