Communicating sequential processes
Communicating sequential processes
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process
Communication and Concurrency
Advanced Topics In Workflow Management: Issues, Requirements, And Solutions
Journal of Integrated Design & Process Science
Challenges in Health Informatics
HICSS '07 Proceedings of the 40th Annual Hawaii International Conference on System Sciences
Proceedings of the 30th international conference on Software engineering
Refinement and verification in component-based model-driven design
Science of Computer Programming
Failure-divergence refinement of compensating communicating processes
FM'11 Proceedings of the 17th international conference on Formal methods
| Hi-index | 0.00 |
Health information systems (HIS) are becoming increasingly integrated through network communication technologies. Collaborative healthcare workflows (CHWF) are inherently complex, involving interactions among human actors, and (legacy) digital and physical systems. They are mission safety critical, privacy sensitive, and open to changes of requirements and environments. The complexity makes the definition, understanding, analysis, management, and monitoring of CHWF a software engineering challenge. We propose an approach to formal modeling and analysis of CHWF. The main problems that the approach addresses are abstraction and separation of concerns through algebraic manipulation. We use the CSP process algebra for modeling and verifying the dynamic interaction behavior of processes, and discuss the relation between the dynamic model and the static model of healthcare cases and resources. We use UML models to visualize the system's behavior and structure, but definitions of the syntax and semantics of these graphical models and their relation to the CSP models are left for future work.