Skip to main content
SpringerLink
Log in

A Specification Model for Interface Suites

  • Conference paper
  • First Online:
≪UML≫ 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools (UML 2001)

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

Included in the following conference series:

  • 1428 Accesses

Abstract

The paper describes a model and tool support for a UMLbased specification approach, extending UML with templates for structured specifications deriving from the ISpec approach. The approach is component-oriented where the unit of description is an interface suite: a coherent collection of interfaces defining interactions that transcend component boundaries. To handle complexity, descriptions from various points of view are necessary, expressed by UML diagrams, templates, etc. The issue is to ensure that the views are consistent. For this, we provide a model to integrate the views. The model is sequence-based; the elements of the sequences are carefully designed tuples that reflect the interface suite approach. Abstractions from the model reflect the views. The model provides the underlying structure for tooling. We developed extensions to Rational Rose by customizing specifications, automating diagram generation and enabling some consistency checks.

Supported by PROGRESS grant EES.5141 and ITEA grant IT990211.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • 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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Carrier Sense Multiple Access\Collision Detection (CSMA\CD), http://webopedia.internet.com/TERM/C/CSMA?CD.html. 1998.

  2. A. Evans and R. France and K. Lano and B. Rumpe. The UML as a Formal Modeling Notation. The Unified Modeling Language. UML’98: Beyond the Notation, LNCS 1618:336–348, 1998.

    Google Scholar 

  3. G. Booch, J. Rubaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, Amsterdam, 1999.

    Book  Google Scholar 

  4. C. Szyperski. Component Software Beyond Object-Oriented Programming. Addison-Wesley, New-York, 1998.

    Google Scholar 

  5. D. D’Souza and A. Wills. Objects, Components and Frameworks with UML. The Catalysis Approach. Addison-Wesley, 1999.

    Google Scholar 

  6. E. E. Roubtsova and J. van Katwijk and W. J. Toetenel and C. Pronk and R. C. M. de Rooij. The Specification of Real-Time Systems in UML. MCTS2000, http://www.elsevier.nl/locate/entcs/volume39.html, 2000.

  7. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns. Elements of Reusable Object-Oriented Software. Addison-Wesley, New-York, 1994.

    Google Scholar 

  8. H. B. M. Jonkers. ISpec: Towards Practical and Sound Interface Specifications. Integrated Formal Methods, LNCS1945:116–135, 2000.

    Chapter  Google Scholar 

  9. H. B. M. Jonkers. Interface-Centric Architecture Descriptions. WICSA 2001, The Working IEEE/IFIP Conference on Software Architecture, August 2001.

    Google Scholar 

  10. J. Cheesman, and J. Daniels. UML Components: A Simple Process for Specifying Component-Based Software. Addison Wesley, 2000.

    Google Scholar 

  11. R. Kling. Application Development with IDL. Ronn Kling Consulting, http://www.rlkling.com, 1999.

  12. L. C. M. van Gool. Cylindrische Componenten Calculus. (in Dutch). Eindhoven University ofT echnology, Department ofComputer Science, 2000.

    Google Scholar 

  13. J. Lilius and I. P. Palor. Formalising UML StateMachines for Model Checking. UML’99. Beyond the Standard, LNCS 1723, pages 430–445, 1999.

    Google Scholar 

  14. Rational Software Corporation. Rational Rose. http://www.rational.com/products/rose, 2000.

  15. Rational Software Corporation. Rose Extensibility Reference 2000e, 2000.

    Google Scholar 

  16. T. Reenskaug. Working with objects. Manning Publications, 1995.

    Google Scholar 

  17. R. Helm and I. M. Holland and D. Gangopadhyay. Contracts: Specifying Behavioral Compositions in Object-Oriented Systems. Proc. ECOOP/OOPSLA’ 90, ACM, pages 169–180, 1990.

    Google Scholar 

  18. D. Riehle. Framework Design: A Role Modeling Approach. Ph.D. Thesis, No. 13509. Zurich, Switzerland, ETH Zurich, 2000.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Mathematics and Computing Science, TU Eindhoven, Den Dolech 2, P.O. Box 513, 5600MB, Eindhoven, The Netherlands

    E. E. Roubtsova, L. C. M. van Gool & R. Kuiper

  2. Philips Research Laboratories Eindhoven, Prof. Holstlaan 4, 5656AA, Eindhoven, The Netherlands

    H. B. M. Jonkers

Authors
  1. E. E. Roubtsova
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. L. C. M. van Gool
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. R. Kuiper
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. H. B. M. Jonkers
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Mathematics and Computer Science Database Systems Group, University of Bremen, P.O. Box 33 04 40, 28334, Bremen, Germany

    Martin Gogolla

  2. Telelogic Technologies, P.O. Box 23 20, Fallbrook, CA, 92088, USA

    Cris Kobryn

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Roubtsova, E.E., van Gool, L.C.M., Kuiper, R., Jonkers, H.B.M. (2001). A Specification Model for Interface Suites. In: Gogolla, M., Kobryn, C. (eds) ≪UML≫ 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools. UML 2001. Lecture Notes in Computer Science, vol 2185. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45441-1_33

Download citation

  • DOI: https://doi.org/10.1007/3-540-45441-1_33

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42667-7

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation