Specifying Internet applications with DiCons

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2001, Pages 576-584

  Baeten, J C M ^a   Van Beek, H M A ^a   Mauw, S ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

DiCons; Distributed consensus; Internet applications; Language design

Indexed keywords

CGI SCRIPT; DICONS; DISTRIBUTED CONSENSUS; INTERNET APPLICATION; LANGUAGE DESIGN; LEVEL OF ABSTRACTION; TOOL SUPPORT;

COMPUTATION THEORY;

EID: 84969393869     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/372202.372466     Document Type: Conference Paper

References (28)

1. D. L. Atkins, T. Ball, G. Bruns, and K. Cox. Mawl: A domain-specific language for form-based services. IEEE Transactions on Software Engineering, 25(3):334-346, May/June 1999. Special Section: Domain-Specific Languages (DSL).
2. H. v. Beek. Internet protocols for distributed consensus-the dicons language. Master's thesis, Eindhoven University of Technology, Aug. 2000.
3. K. Bharat and M. H. Brown. Building distributed, multi-user applications by direct manipulation. In Proceedings of the ACM Symposium on User Interface Software and Technology, Groupware and 3D Tools, pages 71-81, 1994.
4. K. Bharat and L. Cardelli. Distributed applications in a multimedia setting. In Proceedings of the First International Workshop on Hypermedia Design, pages 185-192, Montpellier, Prance, 1995.
5. L. Cardelli. Obliq A language with distributed scope. SRC Research Report 122, Digital Equipment, June 1994.
6. L. Cardelli and R. Davies. Service combinators for web computing. IEEE Transactions on Software Engineering, 25(3):309-316, May/June 1999.
7. M. Cortes and P. Mishra. DCWPL: A programming language for describing collaborative work. In Proceedings of ACM CSCW'96 Conference on Computer-Supported Cooperative Work, Language Support for Groupware, pages 21-29, 1996.
8. R. B. Doorenbos, O. Etzioni, and D. S. Weld. A scalable comparison-shopping agent for the world-wide web. In W. L. Johnson and B. Hayes-Roth, editors, Proceedings of the First International Conference on Autonomous Agents (Agents'97), pages 39-48, Marina del Rey, CA, USA, 1997. ACM Press.
9. Virtua-fastvote support, 1997-1999. http://www.virtua.com/fastvote/, Virtua Communications Corporation.
10. M. Fernandez, D. Suciu, and I. Tatarinov. Declarative specification of data-intensive Web sites. ACM SIGPLAN Notices, 35(1):135-148, 2000.
11. J. Friedl and A. Oram. Mastering Regular Expressions: Powerful Techniques for Perl and Other Tools (O'Reilly Nutshell). O'Reilly & Associates, Inc., first edition, Jan. 1997.
12. J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java Language Specification. Java Series. Addison-Wesley, second edition, June 2000.
13. M. Hall. Core Servlets and JavaServer Pages. Sun Microsystems Press/Prentic Hall PTR, June 2000.
14. N. Heinle and R. Koman. Designing with JavaScript. O'Reilly & Associates, Inc., May 2000.
15. A. Homer, D. Sussman, and B. Francis. Professional Active Server Pages 3.0. Wrox Press Ine, Sept. 1999.
16. J. Hunter and W. Crawford. Java Servlet Programming. O'Reilly & Associates, Inc., 981 Chestnut Street, Newton, MA 02164, USA, 1998.
17. ITU-TS. ITU-T S Recommendation Z.120: Message Sequence Chart (MSG). ITU-TS, Geneva, 1997.
18. T. Kistler and H. Marais. WebL-a programming language for the Web. Computer Networks and ISDN Systems, 30(1-7):259-270, Apr. 1998.
19. D. Ladd and J. Ramming. Programming the web: An application-oriented language for hypermedia service programming. In Proc. 4th WWW Confi, WWW Consortium, pages 567-586, 1995.
20. D. Li and R. Muntz. Building online auctions from the perspective of coca. Submitted to HICSS-33, Jan. 2000.
21. D. Li and R. R. Muntz. COCA: Collaborative objects coordination architecture. In Proceedings of ACM CSCW'98 Conference on Computer-Supported Cooperative Work, Infrastructures for Collaboration, pages 179-188, 1998.
22. S. Mauw, M. Reniers, and T. Willemse. Message Sequence Charts in the software engineering process. In Handbook of Software Engineering and Knowledge Engineering, S.K. Chang, editor. World Scientific, 2001. To appear.
23. Metamata home page: Javacc documentation. http://www.metamata.com/JavaCC/docs/, Fremont, California.
24. L. O'Brien. Vox populi. Java Pro Magazine, June 1999.
25. D. Raggett, A. L. Hors, and I. Jacobs. Html 4.01 specification. Technical report, W3C User Interface Domain Recommendation, Dec. 1999.
26. Siteoption home page, http://www.siteoption.com/, SiteOption.com, Green Cove Springs, USA.
27. J. Udell. Practical Internet Groupware. O'Reilly & Associates, Inc., Oct. 1999.
28. A. Williamson. Special Edition Using Java Servlet API. Que Corporation, Indianapolis, IN, USA, 1997.