Abstract
The recent proliferation of computing devices and the contexts in which they are used demand diversity in distributed applications as well. The objective of our research is the development of a medical framework where information from patients can be accessed from heterogeneous and (possibly) mobile computing environments. Moreover, high availability and reliability are also milestones in that system. The former objective is achieved by using eXtensible Markup Language (XML) for the communication medium, in combination with eXtensible Stylesheet Language (XSL) transformations to allow different kinds of clients access the data. High availability is achieved by using a concurrent and distributed language, Erlang/OTP, for the development on the server side. Also, in the server side, techniques coming from the formal methods area are applied to improve the system design and performance and to ensure the system correctness. And finally, reliability, confidentially and authentication, fundamental items in the data communications, are accomplished by mean of the Secure Socket Layer (SSL) protocol.
Partially supported by MCyT Project TIC 2002-02859 and Xunta de Galicia Project PGIDT01PXI10502PR.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Extensible markup language: http://www.w3.org/xml , See also http://www.w3.org/xml
Megginson, D.: Structuring XML Documents. The Definitive XML Series from Charles F.Goldfarb. Prentice-Hall, Englewood Cliffs (1998)
Bray, T., Paoli, J., Sperberg-McQueen, C.M., Maler, E. (eds.): Extensible Markup Language (XML) 1.0, 2nd edn. W3C Recommendation (2000), http://www.w3.org/TR/1999/REC-xml-19980210
Clark, J.: XSL Transformations (XSLT) Specification Version 1.0 (1999), URL: http://www.w3.org/TR/1999/WD-xslt-19990121
St.Laurent, S., Johnston, J., Dumbill, E.: Programming Web Services with XML-RPC. O’Reilly, Sebastopol (2001)
Freier, A.O., Kariton, P., Kocher, P.C.: The SSL protocol: Version 3.0. Technical report, Internet draft (1996), Will be eventually replaced by TLS
Pardo, F., Leborán, V., Mariño, C., Penedo, M.G., Carreira, M.J., Mosquera, A., Cabello, D., GómezUlla, F., González, F.: Retinal angiography image registration applied to hemodynamic variable measurement. In: Proceedings of the IX Spanish Symposium on Pattern Recognition and Image Analysis, vol. II, pp. 139–144 (2001)
Mosquera, A., Dosil, R., Leborn, V., Pardo, F., Gomez-Ulla, F., Hayik, B., Pose, A., Rodriguez, M.: Art-vena: Retinal vascular caliber measurement. In: Perales, F.J., Campilho, A.C., Pérez, N., Sanfeliu, A. (eds.) IbPRIA 2003. LNCS, vol. 2652. Springer, Heidelberg (2003) (publication pending)
Orfali, R., Harkey, D., Edwards, J.: Client/Server Survival Guide, 3rd edn. John Wiley & Sons, Chichester (1999)
Gamma, E., Helm, R., Jonson, R., Vlissides, J.: Design Patterns, Elements of Reusable Object-Oriented Software. Professional Computing Series. Addison-Wesley, Reading (1995)
Grand, M.: Patterns in Java: a catalog of reusable design patterns illustrated with UML, vol. 1. John Wiley & Sons, New York (1998-1999)
Java 2 sdk, standard edition version 1.3.1, plug-in installation notes, http://java.sun.com/j2se/1.3/install-linux-sdk.html
Hickman, K.E.B.: The SSL protocol (December 1995), http://www.netscape.com/newsref/ssl.html
Henning, M., Vinoski, S.: Advanced CORBA Programming with C++. Addison-Wesley, Reading (1999)
Brose, G., Vogel, A., Duddy, K.: Java Programming with CORBA: Advanced Techniques for Building Distributed Applications, 3rd edn. OMG Press (2001)
Armstrong, J.L., Williams, M.C., Wikström, C., Virding, S.R.: Concurrent Programming in Erlang, 2nd edn. Prentice-Hall, Englewood Cliffs (1996)
Sánchez, J.J., Gulías, V.M., Abalde, C.: Lambda goes to hollywood. In: Dahl, V., Wadler, P. (eds.) PADL 2003. LNCS, vol. 2562, pp. 391–407. Springer, Heidelberg (2002)
Arts, T., Earle, C.B.: Verifying Erlang code: a resource locker case-study. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol. 2391, pp. 183–202. Springer, Heidelberg (2002)
Arts, T., Penas, J.J.S.: Global scheduler properties derived from local restrictions. In: Proceedings of ACM Sigplan Erlang Workshop. ACM, New York (October 2002)
Wiger, U.: Four-fold increase in productivity and quality; industrial-strength functional programming in telecom-class products. In: Workshop on Formal Design of Safety Critical Embedded Systems (2001)
Fisler, K.: A Unified Approach to Hardware Verification Through a Heterogeneous Logic of Design Diagrams. PhD thesis, Indiana University (1996)
Havelund, K., Shankar, N.: Experiments in theorem proving and model checking for protocol verification. In: Gaudel, M.-C., Woodcock, J.C.P. (eds.) FME 1996. LNCS, vol. 1051, pp. 662–681. Springer, Heidelberg (1996)
Marttila, O., Vuorimaa, P.: XML based mobile services. In: Proceedings of 8 th Intl. Conf. in Central Europe Computer Graphics, Visualization, and Interactive Digital Media (2000)
Alexander, A.: A Pattern Language: Towns, Buildings, Constructions. Oxford University Press, Oxford (1977)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mariño, C., Abalde, C., Penedo, M.G., Penas, M. (2003). Design of a Medical Application Using XML Based Data Interchange. In: Moreno-Díaz, R., Pichler, F. (eds) Computer Aided Systems Theory - EUROCAST 2003. EUROCAST 2003. Lecture Notes in Computer Science, vol 2809. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45210-2_24
Download citation
DOI: https://doi.org/10.1007/978-3-540-45210-2_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20221-9
Online ISBN: 978-3-540-45210-2
eBook Packages: Springer Book Archive