Specifying internet applications with DiCons

It is not easy to build Internet applications with common techniques, such as CGr scripts and Perl. Therefore, we designed the DiCons language, which supports the develop­ ment of a range of Internet applications at the appropriate level of abstraction. In this paper we discuss the design of DiCons, we give an overview of the tool support and we explain the language by means of an example.

[1]  A Newman,et al.  Special Edition Using Java , 1996 .

[2]  Roland Carl Backhouse,et al.  Final dialgebras: From categories to allegories , 1999, RAIRO Theor. Informatics Appl..

[3]  Roland Carl Backhouse,et al.  Calculating a Round-Robin Scheduler , 1998, MPC.

[4]  Vaj Tijn Borghuis,et al.  Belief revision with explicit justifications : an exploration in type theory , 2000 .

[5]  Thomas Kistler,et al.  WebL - A Programming Language for the Web , 1998, Comput. Networks.

[6]  Jan Friso Groote,et al.  An algorithm for the asynchronous Write-All problem based on process collision , 2001, Distributed Computing.

[7]  Ag Engels,et al.  Why men (and octopuses) cannot juggle a four ball cascade , 1997 .

[8]  Jan A. Bergstra,et al.  Deadlock Behaviour in Split and ST Bisimulation Semantics , 1998, EXPRESS.

[9]  SuciuDan,et al.  Declarative specification of data-intensive Web sites , 1999 .

[10]  Mauricio Cortes,et al.  DCWPL: a programming language for describing collaborative work , 1996, CSCW '96.

[11]  Oren Etzioni,et al.  A scalable comparison-shopping agent for the World-Wide Web , 1997, AGENTS '97.

[12]  R. Veltkamp,et al.  Efficient evaluation of triangular B-splines , 1999 .

[13]  Jozef Hooman,et al.  Semantical aspects of an architecture for distributed embedded systems , 2000, SAC '00.

[14]  Jon Udell,et al.  Practical Internet Groupware , 1999 .

[15]  Jason Hunter.  Java servlet programming , 1998, Java series.

[16]  Twan Basten,et al.  Partial-Order Process Algebra (and its Relation to Petri Nets) , 2001, Handbook of Process Algebra.

[17]  Jeffrey E. F. Friedl.  Mastering regular expressions - powerful techniques for Perl and other tools , 1997, Powerful techniques for Perl and other tools.

[18]  Luca Cardelli,et al.  Obliq, a language with distributed scope , 1996 .

[19]  Jcm Jos Baeten,et al.  Process algebra with explicit termination , 2000 .

[20]  Richard R. Muntz,et al.  COCA: collaborative objects coordination architecture , 1998, CSCW '98.

[21]  Wil M. P. van der Aalst,et al.  Formalization and verification of event-driven process chains , 1999, Inf. Softw. Technol..

[22]  Rr Rob Hoogerwoord.  A formal development of distributed summation , 2000 .

[23]  Krishna Bharat,et al.  Building distributed, multi-user applications by direct manipulation , 1994, UIST '94.

[24]  J. Christopher Ramming,et al.  Programming the Web: An Application-Oriented Language for Hypermedia Service Programming , 1996, World Wide Web journal.

[25]  Suzana Andova,et al.  Process Algebra with Probabilistic Choice , 1999, ARTS.

[26]  Sjouke Mauw,et al.  Message sequence charts in the software engineering process , 2001 .

[27]  H.M.A. van Beek.  Internet protocols for distributed consensus : the DiCons language , 2000 .

[28]  Jan Friso Groote,et al.  Checking Verifications of Protocols and Distributed Systems by Computer , 1998, CONCUR.

[29]  Gjpm Geert-Jan Houben,et al.  A software architecture for generating hypermedia applications for ad-hoc database output , 1999 .

[30]  van Km Kees Hee,et al.  A framework for component based software architectures , 1999 .

[31]  Jan Tretmans,et al.  A Case Study in Formal Methods: Specification and Validation of the OM/RR Protocol , 2000 .

[32]  Martijn Oostdijk.  An Interactive Viewer for Mathematical Content Based On Type Theory , 2000 .

[33]  Guy L. Steele,et al.  The Java Language Specification , 1996 .

[34]  Jos C. M. Baeten,et al.  Termination in timed process algebra , 2000 .

[35]  Jjm Jozef Hooman,et al.  Requirements specification and analysis of command and control systems , 1999 .

[36]  Luca Cardelli,et al.  Service Combinators for Web Computing , 1999, DSL.

[37]  Mgj Franssen,et al.  Tools for the construction of correct programs : an overview , 1997 .

[38]  Dennis Dams.  Flat Fragments of CTL and CTL*: Separating the Expressive and Distinguishing Powers , 1999, Log. J. IGPL.

[39]  Jjm Jozef Hooman,et al.  A programming-language extension for distributed real-time systems , 1997 .

[40]  Jozef Hooman,et al.  Process Algebra in PVS , 1999, TACAS.

[41]  Marty Hall and Larry Brown,et al.  Core Servlets and JavaServer Pages , 2003 .

[42]  I. D. van den Ende,et al.  Grammars compared : a study on determining a suitable grammar for parsing and generating natural language sentences in order to facilitate the translation of natural language and MSC use cases , 2000 .

[43]  Richard Anderson.  Professional Active Server Pages 3.0 , 1999 .

[44]  F. Galton.  Vox Populi , 1907, Nature.

[45]  Guy L. Steele,et al.  Java Language Specification, Second Edition: The Java Series , 2000 .

[46]  S. Andova.  Process algebra with interleaving probabilistic parallel composition , 1999 .

[47]  J. Bergstra,et al.  Mode transfer in process algebra , 2000 .

[48]  van Km Kees Hee,et al.  An analytical method for assessing business processes , 1998 .

[49]  Dan Suciu,et al.  Declarative specification of data-intensive Web sites , 1999, DSL '99.

[50]  Thomas Ball,et al.  Mawl: A Domain-Specific Language for Form-Based Services , 1999, IEEE Trans. Software Eng..