关键词: 面向服务软件，异常处理，着色Petri网

Abstract: The workload of exception handling development is heavy, with complex program logic. If how to handle exception is considered just in the late design phase or coding phase, the omitted exceptions can seriously affect the overall reliability of the software. For the features of exception handling in scrviccoricnted software, it presented an exception handling model based on colored Petri net. It provides reusable exception handling model elements, by formally describing the elements of exception handling and exception handling patterns. Designer connects the elements of exception handling using exception handling patterns, which forms a complete exception handling model. The model can accurately describe the overall program of exception handling in service-oriented software,aiding to detect the defects in it.

Key words: Serviccoricnted software, Exception handling, Colored petri nets