Proceedings of the International MultiConference of Engineers and Computer Scientists 2012 Vol II, IMECS 2012, March, 2012, Hong Kong Modelling and Verification of Compensating Transactions using the Spin Tool Ka

First Page		Document Content
Date: 2013-12-16 08:28:50 Model checkers Corporate finance Economy Business Promela SPIN model checker Model checking Long-running transaction Factoring Mergers and acquisitions Cost		Proceedings of the International MultiConference of Engineers and Computer Scientists 2012 Vol II, IMECS 2012, March, 2012, Hong Kong Modelling and Verification of Compensating Transactions using the Spin Tool Ka Add to Reading List Source URL: www.bpti.lt Download Document from Source Website File Size: 624,29 KB Share Document on Facebook

	Proceedings of the International MultiConference of Engineers and Computer Scientists 2012 Vol II, IMECS 2012, March, 2012, Hong Kong Modelling and Verification of Compensating Transactions using the Spin Tool Ka DocID: 1q17a - View Document
	Saga Back in chapter 2, we talked about the Transactional Service pattern as a way to help make a service handle requests in a reliable manner. However, using the Transactional Service Pattern, only solves one par DocID: 1pusb - View Document
	A Comparison of WS-BusinessActivity and BPEL4WS Long-Running Transaction Patrick Sauter1, Ingo Melzer2 1 Universität Ulm, Fakultät für Informatik, 89069 Ulm, Germany DocID: 15JmK - View Document
	Transactions with Unknown Duration for Web Services Patrick Sauter University of Ulm Ingo Melzer DocID: 15ANi - View Document