UnSCom: A Standardized Framework for the Specification of Software Components

This paper proposes a standardized framework for the specification of components, which focuses on providing the information necessary to facilitate component development, discovery, and composition. To be applicable in all these fields, the Unified Specification of Components (UnSCom) framework ties together a mix of different specification aspects and unifies the specification of components using a single, coherent approach. The framework is based on the notion of design by contract which it extends to component-based software engineering by introducing service and composition contracts. It supports the specification of composition contracts, which describe the required and provided interfaces of components on various contract levels. These contract levels are thematically grouped into colored pages: white pages contain general and commercial information, yellow pages comprise component classifications, blue pages describe the required and provided functionality, green pages comprise the architectural design of the required and provided interfaces, and grey pages describe the required and provided quality.

[1]  Clemens A. Szyperski,et al.  Component software - beyond object-oriented programming , 2002 .

[2]  Daniel M. Yellin,et al.  Protocol specifications and component adaptors , 1997, TOPL.

[3]  Alan W. Brown.  Large Scale Component Based Development , 2000 .

[4]  Ivica Crnkovic.  Component-based software engineering - new challenges in software development , 2003 .

[5]  Ethan Cerami,et al.  Web Services Essentials , 2002 .

[6]  Fatemeh Zahedi,et al.  Knowledge-Based Repository Scheme for Storing and Retrieving Business Components: A Theoretical Design and an Empirical Analysis , 2003, IEEE Trans. Software Eng..

[7]  Kurt C. Wallnau,et al.  Volume III: A Technology for Predictable Assembly from Certifiable Components , 2003 .

[8]  Mary Shaw,et al.  Software architecture - perspectives on an emerging discipline , 1996 .

[9]  C. A. Petri.  Fundamentals of a Theory of Asynchronous Information Flow , 1962, IFIP Congress.

[10]  Ralf H. Reussner.  Using Parameterised Contracts to Predict Properties of Component Based Software Architectures , 2002 .

[11]  Jeannette M. Wing,et al.  Specification matching of software components , 1997 .

[12]  Jyrki Kontio,et al.  A case study in applying a systematic method for COTS selection , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

[13]  Bertrand Meyer,et al.  Object-Oriented Software Construction, 2nd Edition , 1997 .

[14]  Joseph R. Kiniry,et al.  Leading to a Kind Description Language: Thoughts on Component Specification , 1999 .

[15]  Elaine J. Weyuker,et al.  The trouble with testing components , 2001 .

[16]  T. William Olle.  Information Systems Methodologies , 1990 .

[17]  John Daniels,et al.  Designing Object Systems , 1994 .

[18]  Jeannette M. Wing,et al.  Signature matching: a tool for using software libraries , 1995, TSEM.

[19]  Alan W. Brown.  Component-Based Development , 2000 .

[20]  John Daniels,et al.  Designing object systems: object-oriented modelling with Syntropy , 1995 .

[21]  John Daniels,et al.  UML Components: A Simple Process for Specifying Component-Based Software , 2000 .

[22]  R. Prieto-Diaz,et al.  Implementing faceted classification for software reuse , 1990, [1990] Proceedings. 12th International Conference on Software Engineering.

[23]  Erich Ortner,et al.  Normative Language Approach - A Framework for Understanding , 1996, ER.

[24]  Karl E. Wiegers,et al.  Software Requirements , 1999 .

[25]  Peter Thomas,et al.  WS-Specification: Specifying Web Services Using UDDI Improvements , 2002, Web, Web-Services, and Database Systems.

[26]  Clemens A. Szyperski,et al.  Component software - beyond object-oriented programming, 2nd Edition , 2002, Addison-Wesley component software series.

[27]  Jean-Marc Jézéquel,et al.  Making Components Contract Aware , 1999, Computer.

[28]  David Garlan,et al.  Architectural Mismatch: Why Reuse Is So Hard , 1995, IEEE Softw..

[29]  Desmond D'Souza,et al.  Objects, Components, and Frameworks with UML: The Catalysis Approach , 1998 .

[30]  Ian M. Graham,et al.  Migrating to object technology , 1994 .

[31]  Oscar Nierstrasz,et al.  Regular types for active objects , 1993, OOPSLA '93.

[32]  Erhard Rahm,et al.  Web, Web-Services, and Database Systems , 2003, Lecture Notes in Computer Science.

[33]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[34]  Alan M. Davis,et al.  Software Requirements: Objects, Functions and States , 1993 .

[35]  Bernhard Thalheim,et al.  Conceptual Modeling — ER '96 , 1996, Lecture Notes in Computer Science.

[36]  Henk Sol,et al.  Information Systems Methodologies: A Framework for Understanding , 1988 .

[37]  Krzysztof Czarnecki,et al.  Generative programming - methods, tools and applications , 2000 .

[38]  Mark T True,et al.  Software Requirements , 2005 .