Analyzing critical process models through behavior model synthesis

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2009, Pages 441-451

  Damas, Christophe ^a   Lambeau, Bernard ^a   Roucoux, François ^b   Van Lamsweerde, Axel ^a  

^a UNIVERSITÉ CATHOLIQUE DE LOUVAIN   (Belgium)

^b Faculté de Médecine   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

AGENT BEHAVIOR; BEHAVIOR MODEL; CANCER TREATMENT; CONTROL FLOWS; EVENT-BASED; FLUENTS; HEALTHCARE PROCESS; IN-PROCESS; INPUT MODELS; LABELED TRANSITION SYSTEMS; MESSAGE SEQUENCE CHARTS; MULTI-AGENT; NON-DETERMINISM; PROCESS MODEL; SAFETY-CRITICAL; STATE-BASED; TASK MODELS; TRACE SEMANTICS;

COMPUTER SOFTWARE; DECISION TREES; FLOWCHARTING; HIGH LEVEL LANGUAGES; LASER TISSUE INTERACTION; SYNTHESIS (CHEMICAL);

MODEL CHECKING;

EID: 77949901184     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2009.5070543     Document Type: Conference Paper

References (23)

1. Bérard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L. and Schnoebelen, Ph. (2001). Systems and Software Verification. - Model Checking Techniques and Tools. Springer-Verlag.
2. H. Campbell, R. Hotchkiss, N. Bradshaw, and M. Porteous, "Integrated care pathways", British Medical Journal (BMJ), 1998, pp 133-137.
3. L. A. Clarke, G. A. Avrunin, and L.J. Osterweil, "Using software engineering technology to improve the quality of medical processes", Companion Proc. 30th Intl. Conference on Software Engineering (Leipzig, Germany), May 2008, 889-898.
4. C. Damas, B. Lambeau, P. Dupont, and A. van Lamsweerde, "Generating annotated behavior models from end-user scenarios", IEEE Trans. on Software Engineering, Vol. 31 No.12, Dec. 2005, 1056-1073.
5. C. Damas, B. Lambeau, and A. van Lamsweerde, "Scenarios, goals, and state machines: a win-win partnership for model synthesis", Proc. 14th ACM SIGSOFT Symp. on Foundations of Software Engineering, Portland, Oregon, 2006.
6. M. Dumas, W. van der Aalst, A. ter Hofstede, Process-Aware Information Systems. Wiley, 2005
7. R. Eshuis, "Symbolic model checking of UML activity diagrams", ACM Trans. on Software Eng. and Methodology Vol. 15, No. 1, Jan. 2006, 1-38.
8. J. Fox, N. Johns, A. Rahmanzadeh, "Disseminating Medical Knowledge - The ProForma Approach", Artif. Intell. Med. Vol. 14, 1998, 157-181.
9. D. Giannakopoulou and J. Magee, "Fluent model checking for event-based systems", Proc. ESEC/FSE 2003, Helsinki, 2003.
10. M. Han, T. Thiery, X. Song, "Managing Exceptions in Medical Workflow Systems", Proc. ICSE'06, 28th Intl. Conf. on Software Engineering, Shanghai, May. 2006.
11. C.L. Heitmeyer, R. D. Jeffords, and B. G. Labaw, "Automated consistency checking of requirements specifications", ACM Trans. on Software Eng. and Methodology Vol. 5 No. 3, July 1996, 231-261.
12. ITU, Message Sequence Charts. Recommendation Z.120, Intl. Telecom Union, Telecom. Standardization Sector, 1996.
13. S.Kaiser and S. Miksch. Modeling Computer-Supported Clinical Guidelines and Protocols: A Survey. Vienna Univ. Technology, Rep. Asgaard-TR-2005-2, 2005.
14. Karamanolis, C. T., Giannakopoulou, D., Magee, J., and Wheater, S. M., "Model Checking of Workflow Schemas", Proc. 4th Intl. Conf. on Enterprise Distributed Object Computing, IEEE, 2000, 170-181.
15. A. van Lamsweerde, Systematic Requirements Engineering: From System Goals to UML Models to Software Specifications. Wiley, January 2009.
16. A. van Lamsweerde and E. Letier, "Handling obstacles in goal-oriented requirements engineering", IEEE Trans. Softw. Eng., Vol. 26 No. 10, 2000, 978-1005.
17. B. S. Lerner, "Verifying process models built using parameterised state machines", Proc. ACM SIGSOFT Symp. Software Testing and Analysis, 2004, 274-284.
18. J. Magee and J. Kramer, Concurrency: State Models and Java Programs. Second Edition, Wiley, 2006.
19. Z. Manna, A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, 1992.
20. OMG, UML 2.0 Superstructure Specification, 2003.
21. OMG, Business Process Modeling Notation, v1.1, 2008.
22. S. Uchitel, J. Kramer, and J. Magee, "Synthesis of behavioral models from scenarios", IEEE Trans. Softw. Engineering, Vol. 29 No. 2, 2003, 99-115.
23. S. Uchitel, J. Kramer, and J. Magee, "Incremental elaboration of scenario-based specifications and behavior models using implied scenarios, ACM Trans. Softw. Eng. and Methodol., Vol. 13 No. 1, 2004, 37-85.