Affiliation:
1. Yunnan University, China
2. Chuxiong Normal University, China
Abstract
In this chapter, process exception handling at work item level, exception handling at case level, and recovery action are discussed and represented in bigraphs for CCS. Based on the discussion, models for process exception patterns are proposed. The work intends to provide abstract models for analyzing the behavior of exception handling, and the result shows that some advanced features of bigraphs are introduced in representations.
Reference15 articles.
1. Birkedal, L., Bundgaard, M., Damgaard, T., Debois, S., Elsborg, E., Glenstrup, A., et al. (2006). Bigraphical programming languages for pervasive computing. Proceedings of International Workshop on Combining Theory and Systems Building in Pervasive Computing, (pp. 653-658).
2. Birkedal, L., Debois, S., Elsborg, E., Hildebrandt, T., & Niss, H. (2006). Bigraphical models of context-aware systems. Proceedings of the 9th International Conference on Foundations of Software Science and Computation Structures (pp. 187-201). Springer.
3. Eder, J., & Liebhart, W. (1995). The workflow activity model (WAMO). Proceedings of the 3rd International Conference on Cooperative Information Systems (CoopIs). Vienna, Austria.
4. Hildebrandt, T., Niss, H., & Olsen, M. (2006). Formalizing business process execution with bigraphs and reactive XML. Proceedings of the 8th International Conference on Coordination Models and Language (pp. 113-129). Berlin, Germany: Springer.