Modular context-sensitive and aspect-oriented processes with dynamic condition response graphs

FOAL 2013 - Proceedings of the 12th Workshop on Foundations of Aspect-Oriented Languages

Volumn , Issue , 2013, Pages 19-24

  Hildebrandt, Thomas ^a   Mukkamala, Raghava Rao ^a   Slaats, Tijs ^a,b   Zanitti, Francesco ^a  

^a IT UNIVERSITY OF COPENHAGEN   (Denmark)

^b Exformatics A S   (Denmark)

Author keywords

Aspects; Context sensitivity; DCR graphs

Indexed keywords

ASPECTS; CONTEXT SENSITIVITY; CONTEXT-SENSITIVE; DCR GRAPHS; FORMAL VERIFICATIONS; LIVENESS PROPERTIES; MODULAR COMPOSITION; MODULAR IMPLEMENTATION;

AUTHENTICATION; HIGH LEVEL LANGUAGES;

GRAPHIC METHODS;

EID: 84876007471     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2451598.2451604     Document Type: Conference Paper

References (20)

1. M. Ben-Ari, Z.Manna, and A. Pnueli. The temporal logic of branching time. In J. White, R. J. Lipton, and P. C. Goldberg, editors, POPL, pages 164-176. ACM Press, 1981. ISBN 0-89791-029-X. 6.
2. M. Carbone, T. T. Hildebrandt, G. Perrone, and A. Wasowski. Refinement for transition systems with responses. In S. S. Bauer and J.-B. Raclet, editors, FIT, volume 87 of EPTCS, pages 48-55, 2012. 3.
3. T. Hildebrandt and R. R. Mukkamala. Declarative event-based workflow as distributed dynamic condition response graphs. In PLACES, volume 69 of EPTCS, pages 59-73, 2011. 1.
4. T. Hildebrandt and F. Zanitti. A process-oriented event-based programming language. In F. Bry, A. Paschke, P. T. Eugster, C. Fetzer, and A. Behrend, editors, DEBS, pages 377-378. ACM, 2012. ISBN 978-1-4503-1315-5. 1, 5.
5. T. Hildebrandt, R. R. Mukkamala, and T. Slaats. Designing a crossorganizational case management system using dynamic condition response graphs. 2012 IEEE 16th International Enterprise Distributed Object Computing Conference, 0:161-170, 2011. ISSN 1541-7719. doi: http://doi. ieeecomputersociety.org/10.1109/EDOC.2011.35.1.
6. T. Hildebrandt, R. R. Mukkamala, and T. Slaats. Nested dynamic condition response graphs. In Proceedings of Fundamentals of Software Engineering (FSEN), volume 7141 of LNCS, pages 343-350, April 2011. 1, 2, 4.
7. T. Hildebrandt, R. R. Mukkamala, and T. Slaats. Safe distribution of declarative processes. In Proceedings of the 9th international conference on Software engineering and formal methods, SEFM'11, pages 237-252, Berlin, Heidelberg, 2011. Springer-Verlag. ISBN 978- 3-642-24689-0. 1, 5.
8. R. Hirschfeld, P. Costanza, and O. Nierstrasz. Context-oriented programming. Journal of Object Technology, 7(3):125151, March Aprile 2008. 5.
9. G. J. Holzmann. The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley Professional, 2004. 3.
10. T. Kamina, T. Aotani, and H. Masuhara. Eventcj: a contextoriented programming language with declarative event-based context transition. In Proceedings of the tenth international conference on Aspect-oriented software development, AOSD '11, pages 253-264, New York, NY, USA, 2011. ACM. ISBN 978-1-4503-0605-8. doi: 10.1145/1960275.1960305. URL http://doi.acm.org/10.1145/ 1960275.1960305. 5.
11. K. M. Lyng, T. Hildebrandt, and R. R. Mukkamala. From paper based clinical practice guidelines to declarative workflow management. In Process-oriented information systems in healthcare (ProHealth 08), pages 36-43. BPM 2008 Workshops, 2008. 1.
12. R. R. Mukkamala. A Formal Model For Declarative Workflows: Dynamic Condition Response Graphs. PhD thesis, IT University of Copenhagen, February 2012. 1, 3, 5.
13. R. R. Mukkamala and T. Hildebrandt. From dynamic condition response structures to Büchi automata. In Proceedings of 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2010), pages 187-190, Taipei, Taiwan, August 2010. ISBN 978-1-4244-7848-7. doi: 10.1109/TASE.2010.22. 1, 3, 5.
14. J. L. Peterson. Petri Net Theory and the Modeling of Systems. Prentice Hall PTR, Upper Saddle River, NJ, USA, 1981. ISBN 0136619835. 2.
15. C. A. Petri. Kommunikation mit Automaten. PhD thesis, Universitet Hamburg, 1962. 2.
16. A. Pnueli. The temporal logic of programs. In FOCS, pages 46-57. IEEE Computer Society, 1977. 6.
17. M. R. Rao, T. Hildebrandt, and J. B. Toth. The resultmaker online consultant: From declarative workflow management in practice to ltl. 2012 IEEE 16th International Enterprise Distributed Object Computing Conference Workshops, 0:135-142, 2008. doi: http://doi.ieeecomputersociety.org/10.1109/EDOCW.2008.57. 6.
18. G. Salvaneschi, C. Ghezzi, and M. Pradella. Context-oriented programming: A programming paradigm for autonomic systems. CoRR, abs/1105.0069, 2011. 5.
19. W. van der Aalst, M. Pesic, H. Schonenberg, M. Westergaard, and F. M. Maggi. Declare. Webpage, 2010. http://www.win.tue.nl/declare/. 6.
20. W. M. van der Aalst and M. Pesic. A declarative approach for flexible business processes management. In Proceedings DPM 2006, LNCS. Springer Verlag, 2006. ISBN 978-3-540-38444-1. 6.