Extending Java for high-level Web service construction

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Extending Java for high-level Web service construction

Full text

Pdf (947 KB)

Source

ACM Transactions on Programming Languages and Systems (TOPLAS) archive
Volume 25 , Issue 6 (November 2003) table of contents

Pages: 814 - 875

Year of Publication: 2003

ISSN:0164-0925

Authors

Aske Simon Christensen	University of Aarhus, Aarhus, Denmark
Anders Møller	University of Aarhus, Aarhus, Denmark
Michael I. Schwartzbach	University of Aarhus, Aarhus, Denmark

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 7, Downloads (12 Months): 120, Citation Count: 28

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/945885.945890 What is a DOI?

ABSTRACT

We incorporate innovations from the <bigwig> project into the Java language to provide high-level features for Web service programming. The resulting language, JWIG, contains an advanced session model and a flexible mechanism for dynamic construction of XML documents, in particular XHTML. To support program development we provide a suite of program analyses that at compile time verify for a given program that no runtime errors can occur while building documents or receiving form input, and that all documents being shown are valid according to the document type definition for XHTML 1.0.We compare JWIG with Servlets and JSP which are widely used Web service development platforms. Our implementation and evaluation of JWIG indicate that the language extensions can simplify the program structure and that the analyses are sufficiently fast and precise to be practically useful.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Alfred V. Aho , Ravi Sethi , Jeffrey D. Ullman, Compilers: principles, techniques, and tools, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986
	2	Appeal Virtual Machines. 2002. JRockit---the faster server JVM. http://www.jrockit.com/.
	3	Leon Atkinson , Zeev Suraski, Core PHP Programming, Third Edition, Prentice Hall Professional Technical Reference, 2003
	4	Behlendorf, B. et al. 2002. The Apache HTTP server project. http://httpd.apache.org/.
	5	Box, D. et al. 2000. Simple object access protocol (SOAP) 1.1. W3C Note. http://www.w3.org/TR/SOAP/.
	6	Boyer, L., Danielsen, P., Ferrans, J., Karam, G., Ladd, D., Lucas, B., and Rehor, K. 2000. Voice eXtensible Markup Language, Version 1.0. W3C. W3C Note. http://www.w3.org/TR/voicexml/.
	7	Brabrand, C. 2000. <bigwig> Version 1.3---Reference Manual. Notes Series NS-00-4. BRICS, Department of Computer Science, University of Aarhus, Aarhus, Denmark.
	8	Claus Brabrand , Anders Møller , Mikkel Ricky , Michael I. Schwartzbach, PowerForms: Declarative client-side form field validation, World Wide Web, v.3 n.4, p.205-214, December 2000 [doi>10.1023/A:1018772405468]
	9	Claus Brabrand , Anders Møller , Anders Sandholm , Michael I. Schwartzbach, A runtime system for interactive Web services, Proceeding of the eighth international conference on World Wide Web, p.1391-1401, May 1999, Toronto, Canada
	10	Claus Braband , Anders Møller , Michael Schwartzbach, Static validation of dynamically generated HTML, Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, p.38-45, June 2001, Snowbird, Utah, United States [doi>10.1145/379605.379657]
	11	Claus Brabrand , Anders Møller , Michael I. Schwartzbach, The <bigwig> project, ACM Transactions on Internet Technology (TOIT), v.2 n.2, p.79-114, May 2002 [doi>10.1145/514183.514184]
	12	Brabrand, C., Schwartzbach, M. I., and Vanggaar, M. 2003. The metafront system: Extensible parsing and transformation. In Proceedings of the 3rd ACM SIGPLAN Workshop on Language Descriptions, Tools and Applications (LDTA' 03).
	13	Bray, T., Hollander, D., and Layman, A. 1999. Namespaces in XML. W3C Recommendation. http://www.w3.org/TR/REC-xml-names/.
	14	Bray, T., Paoli, J., Sperberg-McQueen, C. M., and Maler, E. 2000. Extensible Markup Language (XML) 1.0 (2nd ed.). W3C Recommendation. http://www.w3.org/TR/REC-xml.
	15	David R. Chase , Mark Wegman , F. Kenneth Zadeck, Analysis of pointers and structures, Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation, p.296-310, June 1990, White Plains, New York, United States
	16	Christensen, A. S. and Møller, A. 2002. JWIG User Manual. BRICS, Department of Computer Science, University of Aarhus, Aarhus, Denmark. Available from http://www. jwig.org/manual/.
	17	Christensen, A. S., Møller, A., and Schwartzbach, M. I. 2002. Static analysis for dynamic XML. Tech. rep. RS-02-24, BRICS, Department of Computer Science, University of Aarhus, Aarhus, Denmark. Presented at Programming Language Technologies for XML, PLAN-X, October 2002.
	18	Christensen, A. S., Møller, A., and Schwartzbach, M. I. 2003. Prcise analysis of string expressions. In Proceedings of the 10th International Static Analysis Symposium (SAS'03). Lecture Notes in Computer Science, vol. 2694. Springer-Verlag, Berlin, Germany.
	19	Christensen, E., Curbera, F., Meredith, G., and Weerawarana, S. 2001. Web services description language (WSDL) 1.1. W3C Note. http://www.w3.org/TR/wsdl.
	20	Jeffrey Dean , David Grove , Craig Chambers, Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis, Proceedings of the 9th European Conference on Object-Oriented Programming, p.77-101, August 07-11, 1995
	21	Exolab Group. 2002. Castor. http://castor.exolab.org/.
	22	Mary Fernández , Dan Suciu , Igor Tatarinov, Declarative specification of data-intensive Web sites, Proceedings of the 2nd conference on Domain-specific languages, p.135-148, October 03-06, 1999, Austin, Texas, United States
	23	Wrox Author Team , John Schenken , Jan D. Narkiewicz, ASP.NET Programmer's Reference, Wrox Press Ltd., Birmingham, UK, 2001
	24	John E. Hopcroft , Rajeev Motwani , Rotwani , Jeffrey D. Ullman, Introduction to Automata Theory, Languages and Computability, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2000
	25	Haruo Hosoya , Benjamin C. Pierce, XDuce: A Typed XML Processing Language (Preliminary Report), Selected papers from the Third International Workshop WebDB 2000 on The World Wide Web and Databases, p.226-244, May 18-19, 2000
	26	Hunter, J. and McLaughlin, B. 2001. JDOM. http://jdom.org/.
	27	Kam, J. B. and Ullman, J. D. 1977. Monotone data flow analysis frameworks. Acta Informatica 7, 305--317.
	28	Klarlund, N., Møller, A., and Schwartzbach, M. I. 2000. Document Structure Description 1.0. Notes Series NS-00-7. BRICS, Department of Computer Science, University of Aarhus. Available from http://www.brics.dk/DSD/.
	29	Nils Klarlund , Anders Møller , Michael I. Schwartzbach, The DSD Schema Language, Automated Software Engineering, v.9 n.3, p.285-319, August 2002 [doi>10.1023/A:1016376608070]
	30	Klein, G. 2001. JFlex---the fast scanner generator for Java. http://www.jflex.de/.
	31	Ladd, D. A. and Ramming, J. C. 1996. Programming the Web: An application-oriented language for hypermedia services. World Wide Web J. 1, 1 (Jan.). Also in Proceedings of the 4th International World Wide Web Conference (WWW4).
	32	McClanahan, C. R. et al. 2002. Struts. http://jakarta.apache.org/struts/.
	33	Mohri, M. and Nederhof, M.-J. 2001. Robustness in Language and Speech Technology. Kluwer Academic Publishers, Dordrecht, The Netherlands. See Chap. 9: "Regular Approximation of Context-Free Grammars through Transformation."
	34	Møller, A. 2001a. The <bigwig> runtime system. http://www.brics.dk/bigwig/runwig/.
	35	Møller, A. 2001b. dk.brics.automaton---finite-state automata and regular expressions for Java. http://www.brics.dk/automaton/.
	36	Møller, A. 2002. Document Structure Description 2.0. BRICS, Department of Computer Science, University of Aarhus, Aarhus, Denmark. Available from http://www.brics.dk/DSD/.
	37	Netscape. 1999. Server-side JavaScript. http://developer.netscape.com/docs/manuals/ssjs.html.
	38	Flemming Nielson , Hanne R. Nielson , Chris Hankin, Principles of Program Analysis, Springer-Verlag New York, Inc., Secaucus, NJ, 1999
	39	Oskoboiny, G. 2001. HTML Validation Service. http://validator.w3.org/.
	40	Pemberton, S. et al. 2000. XHTML 1.0: The extensible hypertext markup language. W3C Recommendation. http://www.w3.org/TR/xhtml1.
	41	Raggett, D., Hors, A. L., and Jacobs, I. 1999. HTML 4.01 specification. W3C Recommendation. http://www.w3.org/TR/html4/.
	42	Reps, T. 1998. Program analysis via graph reachability. Inform. Softw. Techn. 40, 11--12 (Nov./Dec.), 701--726.
	43	Anders Sandholm , Michael I. Schwartzbach, A type system for dynamic Web documents, Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.290-301, January 19-21, 2000, Boston, MA, USA [doi>10.1145/325694.325733]
	44	Sun Microsystems. 2001a. Java Servlet Specification, Version 2.3. Available from http://java. sun.com/products/servlet/.
	45	Sun Microsystems. 2001b. JavaServer Pages Specification, Version 1.2. Available from http:// java.sun.com/products/jsp/.
	46	Sun Microsystems. 2002. JAXB. http://java.sun.com/xml/jaxb/.
	47	Vijay Sundaresan , Laurie Hendren , Chrislain Razafimahefa , Raja Vallée-Rai , Patrick Lam , Etienne Gagnon , Charles Godin, Practical virtual method call resolution for Java, Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.264-280, October 2000, Minneapolis, Minnesota, United States
	48	Thompson, H. S., Beech, D., Maloney, M., and Mendelsohn, N. 2001. XML Schema part 1: Structures. W3C Recommendation. http://www.w3.org/TR/xmlschema-1/.
	49	Raja Vallée-Rai , Phong Co , Etienne Gagnon , Laurie Hendren , Patrick Lam , Vijay Sundaresan, Soot - a Java bytecode optimization framework, Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research, p.13, November 08-11, 1999, Mississauga, Ontario, Canada
	50	WAP Forum. 2001. Wireless Markup Language, Version 2.0. Wireless Application Protocol Forum. http://www.wapforum.org/.

CITED BY 28

	Takao Shimomura, A page-transition framework for image-oriented Web programming, ACM SIGSOFT Software Engineering Notes, v.29 n.2, March 2004
	Peter Thiemann, XML templates and caching in WASH, Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, p.19-26, August 28-28, 2003, Uppsala, Sweden
	Xiang Fu , Tevfik Bultan , Jianwen Su, Model checking XML manipulating software, ACM SIGSOFT Software Engineering Notes, v.29 n.4, July 2004
	Christian Kirkegaard , Anders Mller , Michael I. Schwartzbach, Static Analysis of XML Transformations in Java, IEEE Transactions on Software Engineering, v.30 n.3, p.181-192, March 2004
	Yasuhiko Minamide, Static approximation of dynamically generated Web pages, Proceedings of the 14th international conference on World Wide Web, May 10-14, 2005, Chiba, Japan
	Peter Thiemann, An embedded domain-specific language for type-safe server-side web scripting, ACM Transactions on Internet Technology (TOIT), v.5 n.1, p.1-46, February 2005
	Matthew Harren , Mukund Raghavachari , Oded Shmueli , Michael G. Burke , Rajesh Bordawekar , Igor Pechtchanski , Vivek Sarkar, XJ: facilitating XML processing in Java, Proceedings of the 14th international conference on World Wide Web, May 10-14, 2005, Chiba, Japan
	Véronique Benzaken , Giuseppe Castagna , Alain Frisch, CDuce: an XML-centric general-purpose language, ACM SIGPLAN Notices, v.38 n.9, p.51-63, September 2003
	Mihai Christodorescu , Nicholas Kidd , Wen-Han Goh, String analysis for x86 binaries, ACM SIGSOFT Software Engineering Notes, v.31 n.1, January 2006
	Makoto Murata , Dongwon Lee , Murali Mani , Kohsuke Kawaguchi, Taxonomy of XML schema languages using formal language theory, ACM Transactions on Internet Technology (TOIT), v.5 n.4, p.660-704, November 2005
	Robin Message , Alan Mycroft, Controlling Control Flow in Web Applications, Electronic Notes in Theoretical Computer Science (ENTCS), v.200 n.3, p.119-131, May, 2008
	Shriram Krishnamurthi , Peter Walton Hopkins , Jay Mccarthy , Paul T. Graunke , Greg Pettyjohn , Matthias Felleisen, Implementation and use of the PLT scheme Web server, Higher-Order and Symbolic Computation, v.20 n.4, p.431-460, December 2007
	Claus Brabrand , Michael I. Schwartzbach, The metafront system: Safe and extensible parsing and transformation, Science of Computer Programming, v.68 n.1, p.2-20, August, 2007
	Vincent Balat, Ocsigen: typing web interaction with objective Caml, Proceedings of the 2006 workshop on ML, September 16-16, 2006, Portland, Oregon, USA
	Claus Brabrand , Anders Møller , Michael I. Schwartzbach, Dual syntax for XML languages, Information Systems, v.33 n.4-5, p.385-406, June, 2008
	Anders Møller , Michael I. Schwartzbach, XML graphs in program analysis, Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, January 15-16, 2007, Nice, France
	Christian Queinnec, Continuations and Web Servers, Higher-Order and Symbolic Computation, v.17 n.4, p.277-295, December 2004
	Takao Shimomura , Kenji Ikeda , Quan Liang Chen , Nhor Sok Lang , Muneo Takahashi, Visual programming for web applications that use HTML frame facilities, Proceedings of the 2007 annual Conference on International Conference on Computer Engineering and Applications, p.384-389, January 17-19, 2007, Gold Coast, Queensland, Australia
	Takao Shimomura , Kenji Ikeda , Quan Liang Chen , Nhor Sok Lang , Muneo Takahashi, Customizable verifiers for web applications and their implementation, Proceedings of the 2007 annual Conference on International Conference on Computer Engineering and Applications, p.396-401, January 17-19, 2007, Gold Coast, Queensland, Australia
	Kurt Nørmark, Web programming in Scheme with LAML, Journal of Functional Programming, v.15 n.1, p.53-65, January 2005
	Dachuan Yu , Ajay Chander , Hiroshi Inamura , Igor Serikov, Better abstractions for secure server-side scripting, Proceeding of the 17th international conference on World Wide Web, April 21-25, 2008, Beijing, China
	Nhor Sok Lang , Takao Shimomura , Quan Liang Chen , Kenji Ikeda, Customizable pattern-oriented verifiers for web applications, WSEAS Transactions on Information Science and Applications, v.4 n.12, p.1439-1446, December 2007
	Anders Møller , Mads Østerby Olesen , Michael I. Schwartzbach, Static validation of XSL transformations, ACM Transactions on Programming Languages and Systems (TOPLAS), v.29 n.4, p.21-es, August 2007
	Nhor Sok Lang , Quan Liang Chen , Takao Shimomura , Kenji Ikeda, Context-dependent extensible syntax-oriented verifier with recursive verification, WSEAS Transactions on Information Science and Applications, v.5 n.2, p.44-53, February 2008
	Ondřej Lhoták , Laurie Hendren, Relations as an abstraction for BDD-based program analysis, ACM Transactions on Programming Languages and Systems (TOPLAS), v.30 n.4, p.1-63, July 2008
	Stéphane Ducasse , Adrian Lienhard , Lukas Renggli, Seaside: A Flexible Environment for Building Dynamic Web Applications, IEEE Software, v.24 n.5, p.56-63, September 2007
	Jason Sawin , Atanas Rountev, Improving static resolution of dynamic class loading in Java using dynamically gathered environment information, Automated Software Engineering, v.16 n.2, p.357-381, June 2009
	Sven Groppe , Jana Neumann , Volker Linnemann, SWOBE - embedding the semantic web languages RDF, SPARQL and SPARUL into java for guaranteeing type safety, for checking the satisfiability of queries and for the determination of query result types, Proceedings of the 2009 ACM symposium on Applied Computing, March 08-12, 2009, Honolulu, Hawaii