Formalization and Verification of Exception Handling Logic in Service-Oriented Software

Qing Wu

doi:10.4028/www.scientific.net/AMR.479-481.1151

Paper Titles

The Research on Wearing Pressure Comfort of Knitting Underwear
p.1133

Research of E-Government System Architecture Based on SOA-ESB
p.1137

Experiment Study on the Running-In Properties of Double-Circular-Arc Gear
p.1141

Test of Physical Mechanical Properties of Gingko，Hickory Nut and their Stalks
p.1145

Formalization and Verification of Exception Handling Logic in Service-Oriented Software
p.1151

The Brand Awareness and the Brand Image Enhancement of Chinese Health Food
p.1155

The Development of Computing System with Equivalent Beam Element Based on Matlab Software
p.1161

Virtual Piezoelectric Vibration Absorber with LR Parallel Shunt Circuit
p.1165

Identification of Rotor System Noise Source Based on Sound Intensity Measurement
p.1169

HomeAdvanced Materials ResearchAdvanced Materials Research Vols. 479-481Formalization and Verification of Exception...

Formalization and Verification of Exception Handling Logic in Service-Oriented Software

Abstract:

The dynamic and uncertainty in service-oriented software(SOS) running environment , together with the autonomy and loose coupling of service resources，lead to higher workload and more complexity of exception handling. Aiming to guarantee the completeness of design for exception handling logic in service- oriented software, this paper proposed a formal description method which and the corresponding integrated verification method for exception handling logic. This method can guide the design quickly and efficiently construct exception handling logic model in service-oriented software, and validate whether all exceptions which explicitly declare in service-oriented software are processed

You might also be interested in these eBooks

View Preview

Info:

Periodical:

Advanced Materials Research (Volumes 479-481)

Pages:

1151-1154

DOI:

https://doi.org/10.4028/www.scientific.net/AMR.479-481.1151

Citation:

Cite this paper

Online since:

February 2012

Authors:

Qing Wu

Keywords:

Colored Petri Net, Exception Handling, Service-Oriented Software

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

References

[1] Rugina A E, Kanoun K, Kaaniche M. A system dependability modeling framework using aadl and gspns[C]. 2007. Springer-Verlag, 2007: 14-38.

DOI: 10.1007/978-3-540-74035-3_2

Google Scholar

[2] Wan-cun Du, Xiao-peng Xi, Exception Handling Oriented Workflow Modeling and Its Performance, chinese journal of computers, 2003, Vol.26 No.9, pp.1094-1103

Google Scholar

[3] Gui-sheng Fan,Hui-qun Yu, Fault Diagnosis and Handling for Service Composition Based on Petri Nets, journal of software, 2010, Vol.21 No.2, pp.231-247

DOI: 10.3724/sp.j.1001.2010.03790

Google Scholar

[4] P. Feiler, A.Rugina, Dependability Modeling with the Architecture Analysis & Design Language (AADL), Technical report, CMU/SEI-2007-TN-043, 2007, pp.1-76

Google Scholar

[5] D. P. Pereira, A. C. V. de Melo, Formalization of an architectural model for exception handling coordination based on CA action concepts, Science of Computer Programming, 2010, Vol.75 No.5, pp.333-349

DOI: 10.1016/j.scico.2009.12.006

Google Scholar

[6] F. F. Castor, A. Romanovsky, et al, Improving reliability of cooperative concurrent systems with exception flow analysis, Journal of Systems and Software, 2009, Vol.82 No.5, pp.874-890

DOI: 10.1016/j.jss.2008.12.015

Google Scholar