Cart (Loading....) | Create Account
Close category search window
 

On the application to OSI-TP of a structured analysis and modeling methodology based on Petri net models

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Jacinto, R. ; LAAS-CNRS, Toulouse, France ; Juanole, G. ; Drira, K.

An application of the Petri-nets for the formal modeling and analysis of a distributed transaction processing tree, based on OSI-TP (transaction processing) and OSI-CCR (commitment, concurrency and recovery) mechanisms for the two phase commit procedure, is made. In order to cope with the complexity of the system (a tree structure and a multiple association architecture), the authors develop a methodology of structured modeling, based on the abstraction concept. Abstraction is also used for verification purposes. Abstractions based on three equivalence relations (trace, failure, observational equivalence) are considered. Their interest for the modelization and the verification of the provided TP service are shown. Comparisons are also made

Published in:

Distributed Computing Systems, 1993., Proceedings of the Fourth Workshop on Future Trends of

Date of Conference:

22-24 Sep 1993

Need Help?


IEEE Advancing Technology for Humanity About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies

A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2014 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.