Structuring Z specifications with views
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software methods for business reengineering
Software methods for business reengineering
| Hi-index | 0.00 |
The concept of transaction is highly significant in the context of data bases. We broaden this concept by making it refer to any atomic operation that changes the state of a software system or its environment. This allows us to consider software systems as composed of transactional and procedural computations. We discuss the specification of transactional computations in some detail. However, our primary aim is to identify procedural and transactional computation as two well-defined foci for research, and to consider transactional computation as a common foundation of information systems and data base management.