Skip to main content
SpringerLink
Log in
Book cover

International SDL Forum

SDL 2001: SDL 2001: Meeting UML pp 328–347Cite as

An MSC Based Representation of DiCons

Part of the Lecture Notes in Computer Science book series (LNCS,volume 2078)

Abstract

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

This is a preview of subscription content, access via your institution.

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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).

    CrossRef  Google Scholar 

  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. H. v. Beek. Internet protocols for distributed consensus-the DiCons language. Master’s thesis, Eindhoven University of Technology, Aug. 2000.

    Google Scholar 

  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. L. Cardelli. Obliq A language with distributed scope. SRC Research Report 122, Digital Equipment, June 1994.

    Google Scholar 

  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. 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. 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. 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. 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. ITU-TS. ITU-TS Recommendation Z.120: Message Sequence Chart (MSC2000). ITU-TS, Geneva, 2000.

    Google Scholar 

  12. T. Kistler and H. Marais. WebL-a programming language for theWeb. Computer Networks and ISDN Systems, 30(1-7):259–270, Apr. 1998.

    CrossRef  Google Scholar 

  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. 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. 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. 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. 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. K. Moss. Java Servlets. Computing McGraw-Hill, July 1998.

    Google Scholar 

  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. 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. 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. J. Udell. Practical Internet Groupware. O’Reilly & Associates, Inc., Oct. 1999.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics and Computing Science, Eindhoven University of Technology, P.O. Box 513, NL-5600, MB Eindhoven, The Netherlands

    J. C. M. Baeten, H. M. A. van Beek & S. Mauw

Authors
  1. J. C. M. Baeten
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. H. M. A. van Beek
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. S. Mauw
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Telecommunications Software Engineering Ltd., 13Weston House, 18-22 Church Street, Lutterworth, Leicestershire, LE17 4AW, UK

    Rick Reed  & Jeanne Reed  & 

Rights and permissions

Reprints and Permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Baeten, J.C.M., van Beek, H.M.A., Mauw, S. (2001). An MSC Based Representation of DiCons . In: Reed, R., Reed, J. (eds) SDL 2001: Meeting UML. SDL 2001. Lecture Notes in Computer Science, vol 2078. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48213-X_21

Download citation

  • DOI: https://doi.org/10.1007/3-540-48213-X_21

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42281-5

  • Online ISBN: 978-3-540-48213-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

search

Navigation