An MSC Based Representation of DiCons

  • J. C. M. Baeten
  • H. M. A. van Beek
  • S. Mauw
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2078)


We present a graphical MSC-based representation of the language DiCons, which is a formal language for the description of Internet applications.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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).CrossRefGoogle Scholar
  2. 2.
    J. Baeten, H. van Beek, and S. Mauw. Specifying internet applications with Di-Cons. In Proceedings of the 16th ACM Symposium on Applied Computing (SAC 2001), Mar. 2001.Google Scholar
  3. 3.
    H. v. Beek. Internet protocols for distributed consensus-the DiCons language. Master’s thesis, Eindhoven University of Technology, Aug. 2000.Google Scholar
  4. 4.
    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.Google Scholar
  5. 5.
    L. Cardelli. Obliq A language with distributed scope. SRC Research Report 122, Digital Equipment, June 1994.Google Scholar
  6. 6.
    L. Cardelli and R. Davies. Service combinators for web computing. IEEE Transactions on Software Engineering, 25(3):309-316, May/June 1999.Google Scholar
  7. 7.
    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.Google Scholar
  8. 8.
    A. Engels. Message refinement: Describing multi-level protocols in MSC. In Y. Lahav, A. Wolisz, J. Fischer, and E. Holz, editors, Proceedings of the 1st Workshop of the SDL Forum Society on SDL and MSC, number 104 in Informatik-Berichte, pages 67–74, Berlin, Germany, June 1998. Humboldt-Universität zu Berlin.Google Scholar
  9. 9.
    A. Engels. Design decisions on data and guards in MSC2000. In S. Graf, C. Jard, and Y. Lahav, editors, SAM2000. 2nd Workshop on SDL and MSC, pages 33–46, Col de Porte, Grenoble, June 2000.Google Scholar
  10. 10.
    A. Engels, L. Feijs, and S. Mauw. MSC and data: Dynamic variables. In R. Dsoulli, G. von Bochmann, and Y. Lahav, editors, SDL’99: The Next Millennium, Proceedings of the 9th SDL Forum, pages 105–120, Montreal, Canada, June 1999. Elsevier.Google Scholar
  11. 11.
    ITU-TS. ITU-TS Recommendation Z.120: Message Sequence Chart (MSC2000). ITU-TS, Geneva, 2000.Google Scholar
  12. 12.
    T. Kistler and H. Marais. WebL-a programming language for theWeb. Computer Networks and ISDN Systems, 30(1-7):259–270, Apr. 1998.CrossRefGoogle Scholar
  13. 13.
    D. Ladd and J. Ramming. Programming the web: An application-oriented language for hypermedia service programming. In Proc. 4th WWW Conf., WWW Consortium, pages 567–586, 1995.Google Scholar
  14. 14.
    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.Google Scholar
  15. 15.
    D. Li, Z. Wang, and R. R. Muntz. Building web auctions from the perspective of collaboration. Technical report, UCLA Department of Computer Science, Sept. 1998.Google Scholar
  16. 16.
    S. Mauw and M. Reniers. High-level Message Sequence Charts. In A. Cavalli and A. Sarma, editors, SDL’97: Time for Testing-SDL, MSC and Trends, Proceedings of the Eighth SDL Forum, pages 291–306, Evry, France, September 1997.Google Scholar
  17. 17.
    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.Google Scholar
  18. 18.
    K. Moss. Java Servlets. Computing McGraw-Hill, July 1998.Google Scholar
  19. 19.
    E. Rudolph, I. Schieferdecker, and J. Grabowski. HyperMSC-a graphical representation of TTCN. In Proceedings of the 2nd Workshop of the SDL Forum Society on SDL and MSC (SAM’2000), Grenoble (France), June 2000.Google Scholar
  20. 20.
    M. Schimitt, A. Ek, J. Grabowski, D. Hogrefe, and B. Koch. Autolink-puting SDL-based test generation into practice. In A. Petrenko, editor, Proceedings of the 11th International Workshop on Testing Comunicating Systems (IWTCS’98), pages 227–243. Kluwer Academic, 1998.Google Scholar
  21. 21.
    J. Tretmans and A. Belinfante. Automatic testing with formal methods. In EuroSTAR’99: 7th European Int. Conference on Software Testing, Analysis & Review, Barcelona, Spain, Nov. 1999. EuroStar Conferences, Galway, Ireland.Google Scholar
  22. 22.
    J. Udell. Practical Internet Groupware. O’Reilly & Associates, Inc., Oct. 1999.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • J. C. M. Baeten
    • 1
  • H. M. A. van Beek
    • 1
  • S. Mauw
    • 1
  1. 1.Department of Mathematics and Computing ScienceEindhoven University of TechnologyMB EindhovenThe Netherlands

Personalised recommendations