A Framework for Systematic Synthesis of Transactional Middleware

This publication has 4 references indexed in Scilit:

• Customizing transaction models and mechanisms in a programmable environment supporting reliable workflow automation
  IEEE Transactions on Knowledge and Data Engineering, 1996
• Abstractions for software architecture and tools to support them
  IEEE Transactions on Software Engineering, 1995
• Specification Matching of Software Components.
  Published by Defense Technical Information Center (DTIC) ,1995
• Synthesis of extended transaction models using ACTA
  ACM Transactions on Database Systems, 1994