Lecture Building reliable component-based systems - Chapter 2: Specification of software components. This chapter presents the following content: Current component specification techniques, specifying the semantics of components, specifying extra-functional properties of components. | Chapter 2 Specification of Software Components Page Building Reliable Component-based Systems Chapter 2 -Specification of Software Components Overview Current Component Specification Techniques Specifying the Semantics of Components Specifying Extra-Functional Properties of Components Summary Page Building Reliable Component-based Systems Chapter 2 -Specification of Software Components What Is a Component Comprised of? Some Code The code represents the operations that the component will perform when invoked An interface The interface tells the component-user everything he needs to know in order to deploy the component The interface of a component should provide all the information needed by its users The specification of a component is therefore the specification of its interface Page Building Reliable Component-based Systems Chapter 2 -Specification of Software Components The Specification of an Interface This must consist solely of: A precise definition of the . | Chapter 2 Specification of Software Components Page Building Reliable Component-based Systems Chapter 2 -Specification of Software Components Overview Current Component Specification Techniques Specifying the Semantics of Components Specifying Extra-Functional Properties of Components Summary Page Building Reliable Component-based Systems Chapter 2 -Specification of Software Components What Is a Component Comprised of? Some Code The code represents the operations that the component will perform when invoked An interface The interface tells the component-user everything he needs to know in order to deploy the component The interface of a component should provide all the information needed by its users The specification of a component is therefore the specification of its interface Page Building Reliable Component-based Systems Chapter 2 -Specification of Software Components The Specification of an Interface This must consist solely of: A precise definition of the component's operations. All context dependencies. Page Building Reliable Component-based Systems Chapter 2 -Specification of Software Components Usefulness of Component Specification For users, The specification provides a definition of its interface, viz. its operations and context dependencies. Since it is only the interface that is visible to users, its specification must be precise and complete. For developers, The specification of a component also provides an abstract definition of its internal structure. Page Building Reliable Component-based Systems Chapter 2 -Specification of Software Components Current Component Specification Techniques syntactic specifications Microsoft’s Component Object Model (COM) Common Object Request Broker Architecture (CORBA) JavaBeans Page Building Reliable Component-based Systems Chapter 2 -Specification of Software Components Components and Interfaces A component provides: The implementation of a set of named interfaces, or types, each .
