Component-Based Algebraic Specification

Behavioural Specification for Component-Based Software Engineering
  • Shusaku Iida
  • Kokichi Futatsugi
  • Răzvan Diaconescu
Part of the The Springer International Series in Engineering and Computer Science book series (SECS, volume 523)


Component-based software development becomes an important technique to build reliable, huge and distributed systems. An important characteristic of components is that components are usuallyprovided in binary code and users of components cannot debug them. So, components should be carefully implemented and the users need rigorous specifications of them. Specifications of components should provide information not only of their interface but also their behaviour with highly abstracted representation. In addition, a system specification (consists of several component specifications) should provide the architecture of the system (how the components are combined). Inthis article, we propose a formal method based on algebraic specification, which supports component composition. Our component composition technique can handle synchronization


Behavioural Property Projection Operation Primitive Component Algebraic Specification Compound Object 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [A98]
    Aoyama, Mikio: New Age of Software Development: How Component-Based Software Engineering Changes the Way of Software Development? In: ICSE’98 International Workshop on Component-Based Software Engineering, 1998Google Scholar
  2. [DF98a]
    Diaconescu, Răzvan; Futatsugi, Kokichi: AMAST series in Computing. Bd. 6: CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification. World Scientific, 1998Google Scholar
  3. [DF98b]
    Dlaconescu, Răzvan; Futatsugi, Kokichi: Logical Semantics for CafeOBJ. In: ICSE’98 Workshop on Precise Semantics for Software Modeling Techniques, 1998.-obsolete version in the technical report of Japan Advanced Institute of Science and Technology (IS-RR-96-0024S)Google Scholar
  4. [DFI99]
    Dlaconescu, Răzvan; Futatsugi, Kokichi; Ilda, Shusaku: Component-based Algebraic Specification and Verification in CafeOBJ. In: Proc. of The World Congress on Formal Methods’ 99, 1999.-to appearGoogle Scholar
  5. [D98]
    Dlaconescu, Răzvan: Behavioural Coherence in Object-Oriented Alge-braic Specification/Japan Advanced Institute of Science and Technology. 1998 (IS-RR-98-0017F).-ForschungsberichtGoogle Scholar
  6. [FGJM85]
    Futatsugi, Kokichi; Goguen, Joseph; Jouannaud, Jean-Pierre; Meseguer, José: Principles of OBJ2. In: Proceedings of the 12th ACM Symposium on Principles of Programming Languages, ACM, 1985, S. 52–66Google Scholar
  7. [FN97]
    Futatsugi, Kokichi; Nakagawa, Ataru: An Overview of Cafe Specification Environment — an algebraic approach for creating, verifying and maintaining formal specifications over the NET —. In: First IEEE International Conference on Formal Engineering Methods, IEEE, 1997Google Scholar
  8. [GD94]
    Goguen, Joseph; Dlaconescu, Răzvan: Towards an algebraic semantics for the object paradigm. In: Ehrig, Harmut (Hrsg.); Orejas, Fernando (Hrsg.): Recent Trends in Data Type Specification Bd. 785. Bd. 785, Springer, 1994Google Scholar
  9. [GHJV95]
    Gamma, Erich; Helm, Richard; Johnson, Ralph; Vlissides, John: Design Patterns: Elements of Reusable Object-Oriented Design. Addison-Wesley, 1995Google Scholar
  10. [GM92]
    Goguen, Joseph; Meseguer, José: Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. In: Theoretical Computer Science 105(2) (1992)Google Scholar
  11. [GM97]
    Goguen, Joseph; Malcolm, Grant: A hidden agenda/UCSD Technical Report. 1997 (CS97-538).-ForschungsberichtGoogle Scholar
  12. [G89]Goguen, Joseph: Memories of ADJ. 36 (1989), S. 96-102.-Guest column in the’ Algebraic Specification Column’. Also in Current Trends in Theoretical Computer Science: Essays and Tutorials World Scientific, 1993, pages 76–81Google Scholar
  13. [GWM 93]
    Goguen, Joseph; Winkler, Timothy; Mesegure, José Futatsugi, Kokichi; Jouannaud, Jean-Pierre: Introducing OBJ/SRI International, Computer Science Laboratory. 1993.-ForschungsberichtGoogle Scholar
  14. [H90]
    Hennicker, R.: Context Induction: a proof principle for behavioural abstractions. In: Mlola, A. (Hrsg.): Design and Implementation of Symbolic Computation Systems. International Symposium DISCO 1990. Springer-Verlag, 1990 (LNCS 429)Google Scholar
  15. [I99]
    Iida, Shusaku: An Algebraic Formal Method for Component based Software Developments. 1999.-PhD. thesisGoogle Scholar
  16. [IIT097]
    Iso; Itu-T; Odp: Information technology-Open Distributed Prosessing-Trading Function-Parti: Specification, Revised 2nd DIS text. 1997.-Draft ITU-T Rec. X950-1, ISO/IEC pp13235-1 (E)Google Scholar
  17. [IMD98]
    Ilda, Shusaku; Matsumoto, Michihiro; Dlaconescu, Răzvan; futatugi, Kokichi; Lucanu, Dorel: Concurrent Object Composition in CafeOBJ/Japan Advanced Institute of Science and Technology. 1998 (IS-RR-98-0009S).-ForschungsberichtGoogle Scholar
  18. [J99]
    Javasoft: JavaBeans Documentation.1999.-
  19. [M92]
    Meseguer, José: Conditional Rewriting Logic as a Unified Model of Concurrency. In: Theoretical Computer Science 96 (1992), S. pp.73–155Google Scholar
  20. [MF98]
    Matsumoto, Michihiro; Futatsugi, Kokichi: Test Set Coinduction-Toward Automated Verification of Behavioural Properties. In: Proc. of Second Workshop on Rewriting Logic and its Applications, Elsevier Science Publishers B.V., 1998Google Scholar
  21. [M99]
  22. [MIF99]
    Matsumiya, Chiyo; Ilda Shusaku; Futatsugi, Kokichi: A Component-based Algebraic Specification of ODP Trading Function and the Interactive Browsing Environment. 1999.-submitted for publicationGoogle Scholar
  23. [OF97]
    Ogata, Kazuhiro; Futatsugi, Kokichi: Tram: An Abstract Machine for Order-Sorted Conditional Term Rewriting System. In: Proc. of RTA97, 1997Google Scholar
  24. [OMG99]
    OMG:Object Management Group Home Page.1999.-
  25. [S 97]
    Sortware, Rational [ u. a. ]: UML Notation Guide. September 1997.-version 1.1Google Scholar
  26. [SG96]
    Shaw, Mary; Garlan, David: Software Architecture-Perspectives on an Emarging Dicipline-.Prentice Hall, 199Google Scholar

Copyright information

© Springer Science+Business Media New York 1999

Authors and Affiliations

  • Shusaku Iida
    • 1
  • Kokichi Futatsugi
    • 2
  • Răzvan Diaconescu
    • 3
  1. 1.Graduate School of Information ScienceJapan Advanced Institute of Science and Technology (Research Fellow of the Japan Society for the Promotion)Japan
  2. 2.Graduate School of Information ScienceJapan Advanced Institute of Science and Technology (Research Fellow of the Japan Society for the Promotion)Japan
  3. 3.Institute of Mathematics of the Romanian AcademyItaly

Personalised recommendations