Formal interaction specification in public health surveillance systems using π-calculus

Computer Methods and Programs in Biomedicine

Volumn 92, Issue 1, 2008, Pages 115-120

  Baksi, Dibyendu ^a  

^a Emergint Technologies Inc   (United States)

Author keywords

calculus; Formal specification; Mobility; Process algebra; Public health surveillance systems; Verification

Indexed keywords

CALCULATIONS; DIFFERENTIATION (CALCULUS); EPIDEMIOLOGY; FLOW INTERACTIONS; HEALTH CARE; INFORMATION THEORY; MATHEMATICAL TECHNIQUES; SECURITY SYSTEMS; SPECIFICATIONS; STANDARDS;

CONCURRENT SYSTEMS; FORMAL MODELING; FORMAL SPECIFICATION; FORMAL SPECIFICATIONS; HEALTH CARE SYSTEMS; MOBILITY; PROCESS ALGEBRA; PUBLIC HEALTH; PUBLIC HEALTH SURVEILLANCE SYSTEMS; SURVEILLANCE SYSTEMS; VERIFICATION;

HEALTH;

ARTICLE; HEALTH CARE ORGANIZATION; HEALTH CARE QUALITY; HEALTH CARE SYSTEM; HEALTH SERVICE; MATHEMATICAL MODEL; MEDICAL INFORMATICS; PI CALCULUS; PUBLIC HEALTH; STATISTICS;

COMPUTER SIMULATION; INFORMATION SERVICES; INTERINSTITUTIONAL RELATIONS; MODELS, ORGANIZATIONAL; POPULATION SURVEILLANCE; PUBLIC HEALTH ADMINISTRATION; UNITED STATES;

EID: 50049103124     PISSN: 01692607     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.cmpb.2008.05.007     Document Type: Article

References (23)

1. HL7, http://www.hl7.org/.
2. Wirsz N. Overview of IT standards in healthcare. Electromedica 68 1 (2000) 21-24
3. Marco Eichelberg., Thomas Aden., Jörg Reismeier., Asuman Dogac., and Laleci G.B. A Survey and analysis of electronic healthcare record standards. ACM Computing Surveys (2005) 1-47
4. Annette ten Teije, Mar Marcos, Michael Balser, Joyce van Croonenborg, Christoph Duelle, Frank van Harmelen, Peter Lucas, Silvia Miksch, Andreas Seyfang, Improving medical protocols by formal methods, http://www.protocure.org, October 2005.
5. Wieger Wesselink, Arjan J. Mooji, Nicolae Goga, René Spronk, Formal methods impact on ANSI standard HL7/IM-filling gaps in MSC theory, IEEE CCECE/CCGEI, Saskatoon, May 2005, pp. 1659-1659, ISBN: 0-7803-8886-0/05.
6. Regev Aviv., Silverman William., and Shapiro Ehud. Representation and simulation of biochemical processes using the π-calculus process algebra. Pacific Synposium on Biocomputing (2001)
7. Kenneth D. Mandl, Biosurveillance: Using Informatics for Public Health, 2003.
8. Wikipedia, Formal methods, http://en.wikipedia.org/wiki/Formal_methods, 2007.
9. Y. Liu, S. Muller, K. Xu, A static compliance checking framework for business process models. Technical report, IBM Research, November 2006.
10. Ghezzi Carlo., Jazayeri Mehdi., and Mandrioli Dino. Fundamentals of Software Engineering (2003), Prentice Hall
11. Tiu Alwen. Model checking for π-calculus using proof search. pp. 36-50. CONCUR 2005-Concurrency Theory (2005). 3-540-28309-9
12. Peter Henderson, Formal Models of Process Components, in: Proceedings of the First Workshop on the Foundations of Component-Based Systems, Zurich, Switzerland, September, 1997.
13. Robin Milner, The Polyadic π-calculus: a Tutorial, Technical report, Computer Science Department, University of Edinburgh, October 1991.
14. Hoare C.A.R. Communicating Sequenntial Processes (1985), Prentice Hall International
15. Robin Milner, Communication and Concurrency, Prentice Hall, December, 1989.
16. Jane Hillston, Process Algebra for Systems Biology, Technical report, LFCS, University of Edinburgh, November 2005.
17. Andrew Philips, Luca Cardellli, Simulating biological systems using stochastic π-calculus, Technical report, Microsoft Research, 2006.
18. Robin Milner. Communicating and Mobile Systems: The π-Calculus. first ed. (1999), Cambridge University Press
19. Philips Andrew., Eisenbach Susan., and Lister Daniel. From Process Algebra to Java Code (2002), Department of Computing, Imperial College, London, UK
20. S.J. Woodman, D.J. Palmer, A.K. Shrivastava, Notations for the specification and verification of composite web services, 2005.
21. Agarwal Sudheer. Model Checking Expressive Web Service Descriptions (2004), Institute for Applied Informatics and Formal Description Methods (AIFB), University of Karlshrue (TH), Germany
22. ter Beek Maurice., Bucchiarone Antonio., and Gnesi Stefania. Web service composition approaches: from industry standards to formal methods. ISBN: 0-7695-2844-9/07. Second International Conference on Internet and Web Applications and Services IEEE ICIW07 (2007)
23. Anderson B.B., Hansen J., Lowry P.B., and Summers S.L. Model checking for e-business control and assurance. IEEE Transactions on Systems, Man and Cybernetics Part C: Applications and Reviews 35 3 (2005) 445-450