S. Abiteboul, J. Baumgarten, A. Bonifati, G. Cobena, C. Cremarenco et al., Managing distributed workspaces with active XML, Proceedings of the 29th International Conference on Very Large Data Bases (VLDB'03), vol.29, pp.1061-1064, 2003.

S. Abiteboul, O. Benjelloun, I. Manolescu, T. Milo, and R. Weber, Active XML: A Data-Centric Perspective on Web Services, Web Dynamics: Adapting to Change in Content, Size, Topology, and Use, pp.275-299, 2004.

M. Adams, H. M. Arthur, . Ter-hofstede, M. P. Wil, D. Van-der-aalst et al., Dynamic, Extensible and Context-Aware Exception Handling for Workflows, On the Move to Meaningful Internet Systems, pp.95-112, 2007.

A. Agostini, G. D. Michelis, and M. Loregian, Undo in workflow management systems, Business Process Management: International Conference, pp.321-335, 2003.

A. Agostini, G. D. Michelis, M. A. Grasso, W. Prinz, and A. Syri, Contexts, work processes, and workspaces, Computer Supported Cooperative Work, vol.5, issue.2/3, pp.223-250, 1996.

J. Allen, Maintaining knowledge about temporal intervals, Commun. ACM, vol.26, issue.11, pp.832-843, 1983.

P. Astagneau, T. Ancelle, and . Surveillanceépidémiologique, , 2011.

J. L. Austin, How to Do Things with Words, 1962.

K. Backhouse, A Functional Semantics of Attribute Grammars, Tools and Algorithms for the Construction and Analysis of Systems, (TACAS), vol.2280, pp.142-157, 2002.

L. Badouel, G. Hélouët, C. Kouamou, and . Morvan, A Grammatical Approach to Data-centric Case Management in a Distributed Collaborative Environment, Proceedings of the 30th Annual ACM Symposium on Applied Computing, SAC'15, pp.1834-1839, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01193222

E. Badouel, L. Hélouët, G. Kouamou, C. Morvan, R. Fondze et al., Active Workspaces: Distributed Collaborative Systems based on Guarded Attribute Grammars, ACM SIGAPP Applied Computing Review, vol.15, issue.3, pp.6-34, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01237131

K. Bhattacharya, C. Gerede, R. Hull, R. Liu, and J. Su, Towards Formal Analysis of Artifact-Centric Business Process Models, Business Process Management, vol.4714, pp.288-304, 2007.

B. Brehmer, Dynamic decision making: Human control of complex systems, Acta Psychologica, vol.81, issue.3, pp.211-241, 1992.

V. Emily, D. Burns, F. M. Duggal, J. T. Kraft, D. Matthias et al., Taming the Unpredictable: Real World Adaptive Case Management: Case Studies and Practical Guidance, Future Strategies Inc, 2011.

D. Calvanese, G. D. Giacomo, R. Hull, and J. Su, Artifact-Centric Workflow Dominance, Service-Oriented Computing: 7th International Joint Conference, pp.130-143, 2009.

C. Castelfranchi, Modelling Social Action for AI Agents, Artificial Intelligence, vol.103, issue.1, pp.157-182, 1998.

H. Chaudet, L. Pellegrin, C. Gaudin, G. Texier, B. Queyriaux et al., A Model-Based Architecture for Supporting Situational Diagnosis in Real-Time Surveillance Systems, 2007.

H. Chaudet, L. Pellegrin, J. Meynard, G. Texier, O. Tournebize et al., Web services based syndromic surveillance for early warning within French Forces, Studies in health technology and informatics, vol.124, pp.666-671, 2006.

M. Laurian, D. Chirica, and . Martin, An Order-Algebraic Definition of Knuthian Semantics, Mathematical Systems Theory, vol.13, pp.1-27, 1979.

T. Clemmensen, V. Kaptelinin, and B. Nardi, Making HCI theory work: an analysis of the use of activity theory in HCI research, Behaviour & Information Technology, vol.35, issue.8, pp.608-627, 2016.

R. Cognini, F. Corradini, S. Gnesi, A. Polini, and B. Re, Business process flexibility -a systematic literature review with a software systems perspective, Information Systems Frontiers, pp.1-29, 2016.

L. Duncan, . Cooper, . Smith, . Baker, . Chinemana et al., National symptom surveillance using calls to a telephone health advice service-United Kingdom, vol.53, pp.179-83, 2001.

B. Courcelle and P. Franchi-zannettacci, Attribute Grammars and Recursive Program Schemes I and II, Theoretical Computer Science, vol.17, pp.163-257, 1982.

E. Damaggio, R. Hull, and R. Vaculín, On the equivalence of incremental and fixpoint semantics for business artifacts with Guard -Stage -Milestone lifecycles, Information Systems Journal, vol.38, pp.561-584, 2013.

P. Deransart and J. Maluszy?ski, Relating Logic Programs and Attribute Grammars, J. Log. Program, vol.2, issue.2, pp.119-155, 1985.
URL : https://hal.archives-ouvertes.fr/inria-00076163

P. Deransart and J. Maluszy?ski, A Grammatical View of Logic Programming, Lecture Notes in Computer Science, vol.348, 1993.
URL : https://hal.archives-ouvertes.fr/inria-00075671

N. Dershowitz, Orderings for term-rewriting systems, Theoretical Computer Science, vol.17, issue.3, pp.279-301, 1982.

J. Desenclos, V. Vaillant, E. Astagneau, C. Campèse, D. Che et al., Principles of an outbreak investigation in public health practice, Médecine et Maladies Infectieuses, vol.37, pp.77-94, 2007.

C. Di-ciccio, A. Marrella, and A. Russo, Knowledge-intensive Processes: An overview of contemporary approaches, Knowledge Intensive Business Processes (KIBP), vol.861, pp.33-47, 2012.

C. Di-ciccio, A. Marrella, and A. Russo, Knowledge-Intensive Processes: Characteristics, Requirements and Analysis of Contemporary Approaches, Journal on Data Semantics, vol.4, issue.1, pp.29-57, 2015.

C. Di-ciccio and M. Mecella, A two-step fast algorithm for the automated discovery of declarative workflows, 2013 IEEE Symposium on Computational Intelligence and Data Mining (CIDM), pp.135-142, 2013.

C. Di-ciccio, M. Mecella, M. Scannapieco, D. Zardetto, and T. Catarci, MailOfMine -Analyzing Mail Messages for Mining Artful Collaborative Processes, pp.55-81, 2012.

M. Dumas, M. L. Rosa, J. Mendling, and H. A. Reijers, Fundamentals of Business Process Management, 2013.

S. Dustdar, Caramba-A Process-Aware Collaboration System Supporting Ad hoc and Collaborative Processes in Virtual Teams. Distributed and Parallel Databases, vol.15, pp.45-66, 2004.

A. Clarence, K. Ellis, and . Keddara, ML-DEWS: Modeling Language to Support Dynamic Evolution within Workflow Systems, Computer Supported Cooperative Work, vol.9, issue.3/4, pp.293-333, 2000.

R. Eshuis, R. Hull, Y. Sun, and R. Vaculín, Splitting gsm schemas: A framework for outsourcing of declarative artifact systems, Information Systems, vol.46, pp.157-187, 2014.

D. Fahland, D. Lübke, J. Mendling, H. Reijers, B. Weber et al., Declarative versus Imperative Process Modeling Languages: The Issue of Understandability, pp.353-366, 2009.

, International Society for Disease Surveillance. Final Recommendation: Core Processes and EHR Requirements for Public Health Syndromic Surveillance, 2011.

M. Fowler, Domain Specific Languages, 2010.

C. Fritz, R. Hull, and J. Su, Automatic construction of simple artifactbased business processes, 12th International Conference on Database Theory -(ICDT '09), pp.225-238, 2009.

D. Gagné and A. Trudel, The Temporal Perspective: Expressing Temporal Constraints and Dependencies in Process Models, Process Models in BPM and Workflow Handbook, 2008.

H. Ganzinger, Increasing Modularity and Language-Independency in Automatically Generated Compilers, Science of Computer Programming, vol.3, issue.3, pp.223-278, 1983.

H. Ganzinger and R. Giegerich, Attribute coupled grammars, ACM SIGPLAN Symposium on Compiler Construction, pp.157-170, 1984.

J. Goubault-larrecq, Well-Founded Recursive Relations, Computer Science Logic, pp.484-498, 2001.

N. Gronau and E. Weber, Management of Knowledge Intensive Business Processes, Business Process Management: Second International Conference, pp.163-178, 2004.

A. Barbara, J. Han, and . Drake, Future directions in analytics for infectious disease intelligence, EMBO reports, vol.17, issue.6, pp.785-789, 2016.

A. Heitmueller, S. Henderson, W. Warburton, A. Elmagarmid, A. S. Pentland et al., Developing Public Policy To Advance The Use Of Big Data In Health Care, vol.33, pp.1523-1530, 2014.

L. Hélouët and A. Benveniste, Document Based Modeling of Web Services Choreographies using Active XML, ICWS, pp.291-298, 2010.

. Jean-michel and . Hoc, Supervision et contrôle de processus : la cognition en situation dynamique. Presses universitaires de Grenoble, 1996.

R. Hull, Artifact-Centric Business Process Models: Brief Survey of Research Results and Challenges, OTM 2008, vol.5332, pp.1152-1163, 2008.

R. Hull, E. Damaggio, F. Fournier, M. Gupta, (. Fenno et al., Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles, Web Services and Formal Methods -(WS-FM 2010), vol.6551, pp.1-24, 2011.

R. Hull, E. Damaggio, R. D. Masellis, F. Fournier, M. Gupta et al., Business artifacts with guard-stage-milestone lifecycles: managing artifact interactions with conditions and events, Fifth ACM International Conference on Distributed Event-Based Systems, pp.51-62, 2011.

R. Hull, C. N. Nanjangud, A. Narendra, and . Nigam, Facilitating Workflow Interoperation Using Artifact-Centric Hubs, In Service-Oriented Computing, pp.1-18, 2009.

T. Johnsson, Attribute grammars as a functional programming paradigm, Functional Programming Languages and Computer Architecture, FPCA, vol.274, pp.154-173, 1987.

L. Josseran, A. Fouillet, N. Caillère, D. Brun-ney, D. Ilef et al., Assessment of a Syndromic Surveillance System Based on Morbidity Data: Results from the Oscour Network during a Heat Wave, PLoS ONE, vol.5, issue.8, pp.1-8, 2010.

S. Kemsley, The Changing Nature of Work : From Structured to Unstructured , from Controlled to Social, Proceedings of the 9th International Business Process Management Conference, 2011.

M. J. Khoury and J. P. Ioannidis, Big data meets public health, Science, vol.346, issue.6213, pp.1054-1055, 2014.

P. Klint, R. Lämmel, and C. Verhoef, Toward an engineering discipline for grammarware, ACM Transaction on Software Engineering Methodologies, vol.14, issue.3, pp.331-380, 2005.

E. Donald and . Knuth, Semantics of context free languages, Mathematical System Theory, vol.2, issue.2, pp.127-145, 1968.

R. Santhosh-kumaran, F. Y. Liu, and . Wu, On the duality of informationcentric and activity-centric models of business processes, Lecture Notes in Computer Science, 2008.

P. Santhosh-kumaran, T. Nandi, K. Heath, R. Bhaskaran, and . Das, ADocOriented Programming, SAINT, pp.334-343, 2003.

V. Künzle and M. Reichert, PHILharmonicFlows: towards a framework for object-aware process management, Journal of Software Maintenance and Evolution: Research and Practice, vol.23, issue.4, pp.205-244, 2011.

C. L. , C. , and C. Moore, Dynamic Case Management-An Old Idea Catches New Fire, 2009.

B. H-p-lehmann, H. Dixon, and . Kharrazi, Public Health and Epidemiology Informatics: Recent Research and Trends in the United States, Yearbook of medical informatics, vol.10, issue.1, pp.199-206, 2015.

R. Lipshitz and O. Strauss, Coping with Uncertainty: A Naturalistic DecisionMaking Analysis, Organizational Behavior and Human Decision Processes, vol.69, issue.2, pp.149-163, 1997.

N. Lohmann and K. Wolf, Artifact-Centric Choreographies, Service-Oriented Computing, pp.32-46, 2010.

J. Lombardo, H. Burkom, E. Elbert, S. Magruder, S. H. Lewis et al., A systems overview of the Electronic Surveillance System for the Early Notification of Community-Based Epidemics (ESSENCE II), Journal of Urban Health, vol.80, issue.1, pp.32-42, 2003.

Q. Long, A framework for data-driven computational experiments of interorganizational collaborations in supply chain networks, Information Sciences, vol.399, pp.43-63, 2017.

M. Marin, R. Hull, and R. Vaculín, Data centric BPM and the emerging case management standard: A short survey, Lecture Notes in Business Information Processing, vol.132, pp.24-30, 2013.

M. A. Marin, Introduction to the Case Management Model and Notation (CMMN), 2016.

A. Martelli and U. Montanari, An Efficient Unification Algorithm, ACM Trans. Program. Lang. Syst, vol.4, issue.2, pp.258-282, 1982.

H. Brian and . Mayoh, Attribute Grammars and Mathematical Semantics, SIAM J. Comput, vol.10, issue.3, pp.503-518, 1981.

M. Mernik, J. Heering, and A. M. Sloane, When and how to develop domainspecific languages, ACM Computing Surveys, vol.37, issue.4, pp.316-344, 2005.

G. De-michelis and C. A. Ellis, Computer Supported Cooperative Work and Petri Nets, Advanced Course on Petri Nets, vol.1492, pp.125-153, 1996.

A. George and . Miller, The cognitive revolution: a historical perspective, Trends in Cognitive Sciences, vol.7, issue.3, pp.141-144, 2003.

T. Murata, Petri Nets: Properties, analysis and applications, Proceedings of the IEEE, vol.74, 1989.

A. Nigam and N. S. Caswell, Business artifacts: An approach to operational specification, IBM Syst. J, vol.42, issue.3, pp.428-445, 2003.

R. Fondze, E. Nsaibirni, G. Badouel, G. Texier, and . Kouamou, Active-Workspaces: A Dynamic Collaborative Business Process Model for Disease Surveillance Systems, HIMS'16 -The 2nd International Conference on Health Informatics and Medical Systems, 2016.

J. Robert-fondze, G. Nsaibirni, and . Texier, User Interactions in Dynamic Processes: Modeling User Interactions in Dynamic Collaborative Processes using Active Workspaces, Proceedings of CARI'16, pp.109-116, 2016.

R. Fondze, G. Nsaibirni, G. Texier, and . Kouamou, Modelling disease surveillance using Active Workspaces, Conference de Recherche en Informatique, 2015.

R. Fondze, G. Nsaibirni, P. Texier, G. Tchendjou, R. Kouamou et al., An Early Warning Surveillance Platform for Developing Countries, Online Journal of Public Health Informatics, vol.6, issue.1, p.10, 2014.

, Business Process Model and Notation V2.0, OMG, 2010.

M. Donald-r-olson, . Paladini, B. William, . Lober, L. David et al., Applying a New Model for Sharing Population Health Data to National Syndromic Influenza Surveillance: DiSTRIBuTE Project Proof of Concept, PLoS Currents, vol.3, p.1251, 2006.

, World Health Organization and Centers For Disease Control. Technical Guidelines for Intergrated Disease Surveillance and Response in the African Region, 2001.

J. Paakki, Attribute Grammar Paradigms -A High-Level Methodology in Language Implementation, ACM Computing Surveys, vol.27, issue.2, pp.196-255, 1995.

G. Papamarkos, A. Poulovassilis, and P. T. Wood, Event-condition-action rule languages for the semantic web, Workshop on Semantic Web, pp.855-864, 2003.

F. Paternò, Model-based design and evaluation of interactive applications, 1999.

L. Pellegrin, C. Gaudin, N. Bonnardel, and H. Chaudet, Collaborative Activities During an Outbreak Early Warning Assisted by a Decision-Supported System (ASTER), International Journal of Human-Computer Interaction, vol.26, issue.2-3, pp.262-277, 2010.

L. Pellegrin, C. Gaudin, N. Bonnardel, G. Texier, J. Meynard et al., Formalizing collaboration in decision-making : a case study in military epidemiological early warning, Proceedings of the 9th Bi-annual International Conference on Naturalistic Decision Making, NDM'09, pp.40-40, 2009.

L. Pellegrin, C. Gaudin, G. Texier, J. Meynard, and H. Chaudet, Near real-time outbreak surveillance system for early warning as a JCS, Annual European Conference on Cognitive Ergonomics -ECCE '10, pp.33-40, 2010.

M. Pesic, M. H. Schonenberg, N. Sidorova, M. P. Wil, and . Van-der-aalst, Constraint-Based Workflow Models: Change Made Easy, On the Move to Meaningful Internet Systems, Part I, pp.77-94, 2007.

S. Rinderle, M. Reichert, and P. Dadam, Correctness criteria for dynamic changes in workflow systems -A survey, Data and Knowledge Engineering, vol.50, pp.9-34, 2004.

M. Henry, S. C. Robert, H. M. Robert, W. J. Robert, D. H. Evans et al., Robert's rules of order newly revised, 2011.

Y. Rogers, HCI Theory: Classical, Modern, and Contemporary, Synthesis Lectures on Human-Centered Informatics, vol.5, issue.2, pp.1-129, 2012.

J. Saraiva and S. Swierstra, Generating Spreadsheet-Like Tools from Strong Attribute Grammars, Generative Programming and Component Engineering, vol.2830, pp.307-323, 2003.

J. Saraiva, S. D. Swierstra, and M. Kuiper, Functional Incremental Attribute Evaluation, Compiler Construction, vol.1781, pp.279-294, 2000.

H. Schonenberg, R. Mans, N. Russell, N. Mulyar, and W. Van-der-alst, Process Flexibility: A survey of contemporary approaches, Lecture Notes in Business Information Processing, vol.10, pp.16-30, 2008.

B. Shi, S. Xia, and J. Liu, A Complex Systems Approach to Infectious Disease Surveillance and Response, pp.524-535, 2013.

M. Simon and . Haskell, , 2010.

N. A. Stanton, Hierarchical task analysis: Developments, applications, and extensions, Applied Ergonomics, vol.37, issue.1, pp.55-79, 2006.

J. K. Strosnider, P. Nandi, S. Kumaran, S. Ghosh, and A. Arsanjani, Model-driven synthesis of SOA solutions, IBM Systems Journal, vol.47, issue.3, pp.451-432, 2008.

K. D. Swenson, Mastering the Unpredictable: How Adaptive Case Management Will Revolutionize the Way That Knowledge Workers Get Things Done, 2010.

P. S-doaitse-swierstra, J. Alcocer, and . Saraiva, Designing and Implementing Combinator Languages, Advanced Functional Programming, pp.150-206

S. , D. Swierstra, and H. Vogt, Higher Order Attribute Grammars, Attribute Grammars, Applications and Systems, vol.545, pp.256-296, 1991.

G. Texier, Méthode d'évaluation des algorithmes de détection temporelle de? epidémies dans le cadre de l'alerte précoce, 2016.

G. Texier and Y. Buisson, From epidemic outbreak detection to anticipation, 2010.

G. Texier, L. Pellegrin, C. Vignal, J. Meynard, X. Deparis et al., Dealing with uncertainty when using a surveillance system, International Journal of Medical Informatics, vol.104, pp.65-73, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01573752

S. Triple and . Project, Assessment of syndromic surveillance in Europe, The Lancet, vol.378, issue.9806, pp.60834-60843, 2011.

R. Vaculín, R. Hull, T. Heath, and C. Cochran, Anil Nigam, and Piyawadee Sukaviriya. Declarative business artifact centric modeling of decision and knowledge intensive business processes, IEEE International Enterprise Distributed Object Computing Workshop, EDOC, pp.151-160, 2011.

M. P. Wil, . Van-der, and . Aalst, the Application of Petri Nets To Workflow Management, Systems and Computers, vol.08, issue.01, pp.21-66, 1998.

M. Wil and A. Van-der, Process Mining -Discovery, Conformance and Enhancement of Business Processes, 2011.

M. P. Wil and . Van-der-aalst, Business Process Management: A Comprehensive Survey, ISRN Software Engineering, pp.1-37, 2013.

M. Wil and A. Van-der, Process Discovery: An Introduction, Process Mining, pp.163-194, 2016.

M. Wil and A. Van-der, Process Mining: The Missing Link, Process Mining, pp.25-52, 2016.

M. Wil, A. Van-der-aalst, and . Hofstede, YAWL: Yet another workflow language, Information Systems, vol.30, issue.4, pp.245-275, 2005.

M. Wil, A. Van-der-aalst, B. Hofstede, A. P. Kiepuszewski, and . Barros, Workflow patterns. Distributed and Parallel Databases, vol.14, pp.5-51, 2003.

. Wil, . Van-der, . Aalst, H. M. Arthur, M. Ter-hofstede et al., Business Process Management : A Survey, Business Process Management: International Conference, pp.1-12, 2003.

. Wil, . Van-der, M. Aalst, D. Weske, and . Gränbauer, Case handling : a new paradigm for business process support, Data & Knowledge Engineering, vol.53, issue.2, pp.129-162, 2005.

M. P. Wil and . Van-der-aalst, Formalization and verification of event-driven process chains, Information and Software Technology, vol.41, issue.10, pp.639-650, 1999.

H. Vogt, S. D. Swierstra, and M. Kuiper, Higher-Order Attribute Grammars, PLDI, pp.131-145, 1989.

G. Wallstrom, A. Brigham, and O. , Handbook of Biosurveillance. Elsevier, 2006.

M. Weske, Business Process Management: Concepts, Languages, Architectures, 2012.

J. W. Klob and R. De-vrijer, First-order term rewriting systems, Term rewriting systems, pp.24-58, 2005.

M. D. Wilson, P. J. Barnard, T. R. Green, and A. Maclean, Knowledge-based task analysis for human-computer systems, Working with Computers: Theory versus Outcome, pp.47-87, 1987.

T. Winograd and F. Flores, Understanding Computer and Cognition: A new Foundation for Design, 1986.

, World Health Organization. Communicable disease surveillance and response systemsGuide to monitoring and evaluating, 2006.

, World Health Organization. WHO | International Health Regulations, 2005.

E. Van-wyk, Implementing aspect-oriented programming constructs as modular language extensions, Science of Computer Programming, vol.68, issue.1, pp.38-61, 2007.

E. Van-wyk, O. De-moor, K. Backhouse, and P. Kwiatkowski, Forwarding in Attribute Grammars for Modular Language Design, Compiler Construction, vol.2304, pp.128-142, 2002.

Y. Xiao, Artifacts and collaborative work in healthcare: methodological, theoretical, and technological implications of the tangible, Journal of Biomedical Informatics, vol.38, issue.1, pp.26-33, 2005.

P. W-a-yasnoff, . Carroll, R. Koo, E. Linkins, and . Kilbourne, Public health informatics: improving and transforming public health in the information age, JPHMP, vol.6, issue.6, pp.67-75, 2000.

. Daniel and . Zeng, Infectious disease informatics and biosurveillance, 2011.

X. Zhao, Y. Brun, and L. J. Osterweil, Supporting process undo and redo in software engineering decision making, International Conference on Software and System Process, pp.56-60, 2013.

, If instr k = INC(r1, i) then add rule Inc(k, 1, i) : s k (x, y) ? si(succ(x), y)

, If instr k = INC(r2, i) then add rule Inc(k, 2, i) : s k (x, y) ? si(x, succ

, If instr k = JZDEC(r1, i, j) then add the rules Jz(k, 1, i) : s k (zero, y) ? si(zero, y) Dec(k, 1, j) : s k (succ(x), y) ? sj

, If instr k = JZDEC(r2, i, j) then add the rules Jz(k, 2, i) : s k (x, zero) ? si(x, zero) Dec(k, 2, j) : s k (x, succ(y)) ? sj

A. Computing and . Sep, , vol.15, p.23, 2015.

S. Abiteboul, J. Baumgarten, A. Bonifati, G. Cobena, C. Cremarenco et al., Managing distributed workspaces with active XML, VLDB, pp.1061-1064, 2003.

S. Abiteboul, O. Benjelloun, I. Manolescu, T. Milo, and R. Weber, Active XML: A data-centric perspective on web services, BDA'02, 2002.

P. Astagneau and T. Ancelle, Surveillanceépidémio-logique, 2011.

J. L. Austin, How to Do Things with Words, 1962.

K. Backhouse, A functional semantics of attribute grammars, Tools and Algorithms for the Construction and Analysis of Systems, TACAS, volume 2280 of LNCS, pp.142-157, 2002.

H. Chen, D. Zeng, and P. Yan, Infectious Disease Informatics: Syndromic Surveillance for Public Health and Bio-Defense, 2009.

L. M. Chirica and D. F. Martin, An order-algebraic definition of Knuthian semantics, Mathematical Systems Theory, vol.13, pp.1-27, 1979.

, World Health Organization / Centers For Disease Control. Technical Guidelines for Intergrated Disease Surveillance and Response in the African Region, WHO/CDC, 2001.

B. Courcelle and P. Franchi-zannettacci, Attribute grammars and recursive program schemes (i) and (ii)

. Theor, Comput. Sci, vol.17, pp.163-191, 1982.

E. Damaggio, A. Deutsch, and V. Vianu, Artifact systems with data dependencies and arithmetic, ACM Trans. Database Syst, vol.37, issue.3, p.22, 2012.

E. Damaggio, R. Hull, and R. Vaculín, On the equivalence of incremental and fixpoint semantics for business artifacts with guard-stage-milestone lifecycles, Inf. Syst, vol.38, issue.4, pp.561-584, 2013.

V. Dato, R. Shephard, and M. M. Wagner, Outbreaks and investigations, Handbook of Biosurveillance, pp.13-26, 2006.

G. De-michelis and C. A. Ellis, Computer supported cooperative work and Petri nets, Advanced Course on Petri Nets, vol.1492, pp.125-153, 1996.

P. Deransart and J. Maluszynski, Relating logic programs and attribute grammars, J. Log. Program, vol.2, issue.2, pp.119-155, 1985.
URL : https://hal.archives-ouvertes.fr/inria-00076163

P. Deransart and J. Maluszynski, A grammatical view of logic programming, 1993.
URL : https://hal.archives-ouvertes.fr/inria-00075671

S. Swierstra, P. R. Azero-alcocer, and J. Saraiva, Designing and implementing combinator languages, Advanced Functional Programming, pp.150-206, 1998.

C. A. Ellis and K. Keddara, Ml-dews: Modeling language to support dynamic evolution within workflow APPLIED COMPUTING REVIEW SEP, Computer Supported Cooperative Work, vol.15, issue.3, pp.293-333, 2000.

R. Eshuis, R. Hull, Y. Sun, and R. Vaculín, Splitting GSM schemas: A framework for outsourcing of declarative artifact systems, In BPM, vol.8094, pp.259-274, 2013.

J. Fokker, Advanced Functional Programming, First International Spring School, vol.925, pp.1-23, 1995.

H. Ganzinger, Increasing modularity and languageindependency in automatically generated compilers, Sci. Comput. Program, vol.3, issue.3, pp.223-278, 1983.

H. Ganzinger and R. Giegerich, Attribute coupled grammars, SIGPLAN Symposium on Compiler Construction, pp.157-170, 1984.

, Business process model and notation, OMG, 2011.

L. Hélouët and A. Benveniste, Document based modeling of web services choreographies using active XML, ICWS, pp.291-298, 2010.

R. Hull, Artifact-centric business process models: Brief survey of research results and challenges, OTM 2008, vol.5332, pp.1152-1163

. Springer, , 2008.

R. Hull, E. Damaggio, R. De-masellis, F. Fournier, M. Gupta et al., Business artifacts with guard-stage-milestone lifecycles: managing artifact interactions with conditions and events, Fifth ACM International Conference on Distributed Event-Based Systems, pp.51-62, 2011.

T. Johnsson, Attribute grammars as a functional programming paradigm, In Functional Programming Languages and Computer Architecture, FPCA, vol.274, pp.154-173, 1987.

P. Klint, R. Lämmel, and C. Verhoef, Toward an engineering discipline for grammarware, ACM Trans. on Soft. Eng. Meth, vol.14, issue.3, pp.331-380, 2005.

D. E. Knuth, Semantics of context free languages, Mathematical System Theory, vol.2, issue.2, pp.127-145, 1968.

N. Lohmann and K. Wolf, Artifact-centric choreographies, Service-Oriented Computing -8th Int. Conf., ICSOC 2010, pp.32-46, 2010.

A. Martelli and U. Montanari, An efficient unification algorithm, ACM Trans. Program. Lang. Syst, vol.4, issue.2, pp.258-282, 1982.

B. H. Mayoh, Attribute grammars and mathematical semantics, SIAM J. Comput, vol.10, issue.3, pp.503-518, 1981.

A. Nigam and N. S. Caswell, Business artifacts: An approach to operational specification, IBM Syst. J, vol.42, pp.428-445, 2003.

, Web services business process execution language, OASIS, 2007.

J. Paakki, Attribute grammar paradigms -a high-level methodology in language implementation, ACM Computing Surveys, vol.27, issue.2, pp.196-255, 1995.

J. Saraiva and S. D. Swierstra, Generating spreadsheet-like tools from strong attribute grammars, Generative Programming and Component Engineering, vol.2830, pp.307-323, 2003.

J. Saraiva, S. D. Swierstra, and M. F. Kuiper, Functional incremental attribute evaluation, Compiler Construction' 2000, vol.1781, pp.279-294

. Springer, , 2000.

I. Sommerville, Software Engineering, 2011.

S. D. Swierstra and H. Vogt, Higher order attribute grammars, Attribute Grammars, Applications and Systems, vol.545, pp.256-296, 1991.

W. M. Van-der-aalst, Process Mining -Discovery, Conformance and Enhancement of Business Processes

. Springer, , 2011.

W. M. Van-der-aalst, Business Process Management: A Comprehensive Survey, ISRN Software Engineering, pp.1-37, 2013.

E. Van-wyk, Implementing aspect-oriented programming constructs as modular language extensions, Sci. Comput. Program, vol.68, issue.1, pp.38-61, 2007.

E. Van-wyk, O. De-moor, K. Backhouse, and P. Kwiatkowski, Forwarding in attribute grammars for modular language design, In Compiler Construc., ETAPS, vol.2304, pp.128-142, 2002.

H. Vogt, S. D. Swierstra, and M. F. Kuiper, Higher-order attribute grammars, ACM SIGPLAN'89 Conference on Programming Language Design and Implementation (PLDI), pp.131-145, 1989.

M. M. Wagner, L. S. Gresham, and V. Dato, Case detection, outbreak detection, and outbreak characterization, Handbook of Biosurveillance, pp.27-50, 2006.

T. Winograd and F. Flores, Understanding Computer and Cognition: A new Foundation for Design, 1986.

E. Badouel, L. Helouet, G. Kouamou, C. Morvan, R. Fondze et al., Active Workspaces : Distributed Collaborative Systems based on Guarded Attribute Grammars, ACM SIGAPP Applied Computing Review, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01237131

C. Di-ciccio, A. Marrella, and A. Russo, Knowledge-Intensive Processes: Characteristics, Requirements and Analysis of Contemporary Approaches, Journal on Data Semantics, pp.29-57, 2014.

R. Hull, E. Damaggio, F. Fournier, M. Gupta, F. T. Heath et al., Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles, Web Services and Formal Methods7th International Workshop, WS-FM 2010, vol.6551, pp.1-24, 2011.

V. Kunzle and M. Reichert, PHILharmonicFlows: towards a framework for object-aware process management Journal of Software Maintenance and Evolution: Research and Practice, 2011.

M. M. Wagner, L. S. Gresham, and V. Dato, Chapter 3 -case detection, outbreak detection, and outbreak characterization, Handbook of Biosurveillance, pp.27-50, 2006.

, International Society for Disease Surveillance. Final Recommendation: Core Processes and EHR Requirements for Public Health Syndromic Surveillance, ISDS, 2011.

R. Nsaibirni, G. Texier, and G. E. Kouamou, Modelling Disease Surveillance using Active Workspaces. Conference de Recherche en Informatique (CRI), 2015.

, Centers For Disease Control World Health Organization. Technical Guidelines for Intergrated Disease Surveillance and Response in the African Region, WHO/CDC, Georgia, 2001.

A. Marrella, M. Mecella, and S. S. Smartpm, An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical Planning Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014.

M. F. Roger-atsa-etoundi, G. Ndjodo, and . Aloo, A Formal Framework for Business Process Modeling, International Journal of Computer Applications, vol.13, issue.6, pp.27-32, 2011.

C. Di-ciccio, A. Marrella, and A. Russo, Knowledge-intensive Processes: An overview of contemporary approaches, CEUR Workshop Proceedings, vol.861, pp.33-47, 2012.

M. Reichert, S. Rinderle, and U. Kreher, Dadam P Adaptive Process Management with ADEPT2 ICDE, 2005.

A. Ter-hofstede, W. Van-der-aalst, M. Adams, and N. Russell, Modern Business Process Automation: YAWL and its Support Environment, 2009.

, Friess Michael Business spaces for human-centric BPM , Part 1: Introduction and concepts. IBM DeveloperWorks, 2011.

R. Vaculín, R. Hull, T. Heath, C. Cochran, A. Nigam et al., Declarative business artifact centric modeling of decision and knowledge intensive business processes, Proceedings -IEEE International Enterprise Distributed Object Computing Workshop, EDOC, number Edoc, pp.151-160, 2011.

M. P. Wil and . Van-der-aalst, Business Process Management: A Comprehensive Survey, ISRN Software Engineering, pp.1-37, 2013.

W. M. Van-der-aalst, M. Pesic, and H. , Schonenberg Declarative workflows: Balancing between flexibility and support Computer Science -Research and Development, pp.99-113, 2009.

. Active-workspaces, A Dynamic Collaborative Business Process Model for Disease Surveillance Systems

, Eric Badouel 2 , Gaëtan Texier 3,5 , and Georges-Edouard Kouamou 4 1 LIRIMA, Nsaibirni Robert Fondze Jr, vol.1

, Centre d'épidémiologie et de santé publique des armées (CESPA), UMR 912 -SESSTIM -INSERM/IRD/Aix-Marseille Université 4 LIRIMA, vol.8390

E. Badouel, L. Hélouët, G. Kouamou, C. Morvan, R. Fondze et al., Active Workspaces : Distributed Collaborative Systems based on Guarded Attribute Grammars
URL : https://hal.archives-ouvertes.fr/hal-01237131

, ACM SIGAPP Applied Computing Review, vol.15, issue.3, pp.6-34, 2015.

C. Di-ciccio, A. Marrella, and A. Russo, Knowledge-Intensive Processes: Characteristics, Requirements and Analysis of Contemporary Approaches, Journal on Data Semantics, pp.29-57, 2014.

R. Hull, E. Damaggio, F. Fournier, M. Gupta, F. T. Heath et al., Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles, Web Services and Formal Methods -7th International Workshop, WS-FM 2010, vol.6551, pp.1-24

. Springer, , 2011.

V. Kunzle and M. Reichert, PHILharmonicFlows: towards a framework for object-aware process management Journal of Software Maintenance and Evolution: Research and Practice, 2011.

M. M. Wagner, L. S. Gresham, and V. Dato, Chapter 3 -case detection, outbreak detection, and outbreak characterization, Handbook of Biosurveillance, pp.27-50, 2006.

, International Society for Disease Surveillance. Final Recommendation: Core Processes and EHR Requirements for Public Health Syndromic Surveillance, ISDS, 2011.

R. Hull, E. Damaggio, and R. De-masellis, Business artifacts with guard-stage-milestone lifecycles: managing artifact interactions with conditions and events, pp.51-62, 2011.

, Centers For Disease Control World Health Organization. Technical Guidelines for Intergrated Disease Surveillance and Response in the African Region, WHO/CDC, 2001.

M. F. Roger-atsa-etoundi, G. Ndjodo, and . Aloo, A Formal Framework for Business Process Modeling, International Journal of Computer Applications, vol.13, issue.6, pp.27-32, 2011.

C. Di-ciccio, A. Marrella, and A. Russo, Knowledge-intensive Processes: An overview of contemporary approaches, CEUR Workshop Proceedings, vol.861, pp.33-47, 2012.

M. Reichert, S. Rinderle, and U. Kreher, Dadam P Adaptive Process Management with ADEPT2 ICDE, 2005.

A. Ter-hofstede, W. Van-der-aalst, M. Adams, and N. Russell, Modern Business Process Automation: YAWL and its Support Environment, 2009.

, Business Process Model and Notation V2.0, 2010.

M. P. Wil and . Van-der-aalst, Business Process Management: A Comprehensive Survey, ISRN Software Engineering, pp.1-37, 2013.

G. Texier and Y. Buisson, From epidemic outbreak detection to anticipation, 2010.

W. M. , Van Der Aalst. the Application of Petri Nets To Workflow Management, Systems and Computers, vol.08, issue.01, pp.21-66, 1998.

C. Calba, L. Flavie, L. Goutard, P. Hoinville, A. Hendrikx et al., Surveillance systems evaluation: a systematic review of the existing approaches, BMC public health, vol.15, p.448, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01154186

W. M. Van-der-aalst and A. Hofstede, YAWL: Yet another workflow language, Information Systems, vol.30, issue.4, pp.245-275, 2005.

W. M. Van-der-aalst, Formalization and verification of event-driven process chains, Information and Software Technology, vol.41, issue.10, pp.639-650, 1999.

W. M. Van-der-aalst, R. S. Mans, and N. C. Russell, Workflow Support Using Proclets: Divide, Interact, and Conquer, Bulletin of the IEEE Computer Society Technical Committee on Data Engineering, 2009.

W. Yasnoff, P. Carroll, R. Koo, E. Linkins, and . Kilbourne, Public health informatics: improving and transforming public health in the information age, JPHMP, vol.6, issue.6, pp.67-75, 2000.

K. Bhattacharya, C. Gerede, R. Hull, R. Liu, and J. Su, Towards Formal Analysis of Artifact-Centric Business Process Models, vol.4714, pp.288-304, 2007.

D. Cohn and R. Hull, Business Artifacts : A Data-centric Approach to Modeling Business Operations and Processes, Bulletin of the IEEE Computer Society Technical Committee on Data Engineering, vol.32, issue.3, pp.1-7, 2009.

H. Chaudet, P. Liliane, J. Meynard, G. Texier, O. Tournebize et al., Web Services Based Syndromic Surveillance for Early Warning within French Forces, Studies in health technology and informatics, vol.124, pp.666-671, 2006.

L. Pellegrin, C. Gaudin, N. Bonnardel, and H. Chaudet, Collaborative activities during an outbreak early warning assisted by a decision-supported system (ASTER), Int. J. Hum. Comput. Interaction, vol.26, issue.2&3, pp.262-277, 2010.

D. Zeng, H. Chen, C. Castillo-chavez, and W. B. Lober, Infectious Disease Informatics and Biosurveillance, vol.28, 2012.

M. Nkuchia and J. K. Iskander, Concepts and Methods in Infectious Disease Surveillance, 2014.

R. E. Brian-e-dixon, S. J. Gamache, and . Grannis, Towards public health decision support: a systematic review of bidirectional communication approaches, Journal of the American Medical Informatics Association : JAMIA, vol.20, issue.3, pp.577-83, 2013.

R. Zaruhi, J. Mnatsakanyan, and . Lombardo, Decision Support Models for Public Health Informatics, John Hopkins APL Technican Digest, vol.27, issue.4, pp.332-339, 2008.

D. Gagne, A. Trudel, and L. Fisher, The Temporal Perspective: Expressing Temporal Constraints and Dependencies in Process Models, BPM and Workflow Handbook, pp.247-260, 2008.

D. Gagne and A. Trudel, Time-bpmn, Proceedings of the 2009 IEEE Conference on Commerce and Enterprise Computing, CEC '09, pp.361-367, 2009.

J. F. Allen, Maintaining knowledge about temporal intervals, Commun. ACM, vol.26, issue.11, pp.832-843, 1983.

E. Badouel, L. Helouet, G. Kouamou, C. Morvan, R. Fondze et al., Active Workspaces : Distributed Collaborative Systems based on Guarded Attribute Grammars, ACM SIGAPP Applied Computing Review, vol.2, p.5, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01237131

E. Badouel, L. Helouet, G. Kouamou, and C. Morvan, Approach to Datacentric Case Management in a, Distributed Collaborative Environment, issue.2, p.38, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01193222

H. Chen, D. Zeng, and P. Yan, Infectious Disease Informatics: Syndromic Surveillance for Public Health and Bio-Defense, 2009.

V. Dato, R. Shephard, and M. M. Wagner, Chapter 2 -outbreaks and investigations, Handbook of Biosurveillance, pp.13-26, 2006.

, International Society for Disease Surveillance. Final Recommendation: Core Processes and EHR Requirements for Public Health Syndromic Surveillance, ISDS, issue.2, 2011.

G. Texier and Y. Buisson, From epidemic outbreak detection to anticipation, 2010.

, Centers For Disease Control World Health Organization. Technical Guidelines for Intergrated Disease Surveillance and Response in the African Region, WHO/CDC, vol.2, p.208, 2001.