Abstract
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
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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, 1998
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, 1998
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)
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 appear
Dlaconescu, Răzvan: Behavioural Coherence in Object-Oriented Alge-braic Specification/Japan Advanced Institute of Science and Technology. 1998 (IS-RR-98-0017F).-Forschungsbericht
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–66
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, 1997
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, 1994
Gamma, Erich; Helm, Richard; Johnson, Ralph; Vlissides, John: Design Patterns: Elements of Reusable Object-Oriented Design. Addison-Wesley, 1995
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)
Goguen, Joseph; Malcolm, Grant: A hidden agenda/UCSD Technical Report. 1997 (CS97-538).-Forschungsbericht
[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–81
Goguen, Joseph; Winkler, Timothy; Mesegure, José Futatsugi, Kokichi; Jouannaud, Jean-Pierre: Introducing OBJ/SRI International, Computer Science Laboratory. 1993.-Forschungsbericht
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)
Iida, Shusaku: An Algebraic Formal Method for Component based Software Developments. 1999.-PhD. thesis
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)
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).-Forschungsbericht
Javasoft: JavaBeans Documentation.1999.-http://www.javasoft.com/beans/docs/
Meseguer, José: Conditional Rewriting Logic as a Unified Model of Concurrency. In: Theoretical Computer Science 96 (1992), S. pp.73–155
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., 1998
Micrisift:Com Home.1999. http://www.microsoft.com/com/default.asp
Matsumiya, Chiyo; Ilda Shusaku; Futatsugi, Kokichi: A Component-based Algebraic Specification of ODP Trading Function and the Interactive Browsing Environment. 1999.-submitted for publication
Ogata, Kazuhiro; Futatsugi, Kokichi: Tram: An Abstract Machine for Order-Sorted Conditional Term Rewriting System. In: Proc. of RTA97, 1997
OMG:Object Management Group Home Page.1999.-http://www.omg.org/
Sortware, Rational [ u. a. ]: UML Notation Guide. September 1997.-version 1.1
Shaw, Mary; Garlan, David: Software Architecture-Perspectives on an Emarging Dicipline-.Prentice Hall, 199
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media New York
About this chapter
Cite this chapter
Iida, S., Futatsugi, K., Diaconescu, R. (1999). Component-Based Algebraic Specification. In: Kilov, H., Rumpe, B., Simmonds, I. (eds) Behavioral Specifications of Businesses and Systems. The Springer International Series in Engineering and Computer Science, vol 523. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-5229-1_8
Download citation
DOI: https://doi.org/10.1007/978-1-4615-5229-1_8
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-7383-4
Online ISBN: 978-1-4615-5229-1
eBook Packages: Springer Book Archive