Component-based software engineering
Programming paradigms |
---|
|
Component-based software engineering (CBSE) (also known as component-based development (CBD)) is a branch of software engineering that emphasizes the separation of concerns in respect of the wide-ranging functionality available throughout a given software system. It is a reuse-based approach to defining, implementing and composing loosely coupled independent components into systems. This practice aims to bring about an equally wide-ranging degree of benefits in both the short-term and the long-term for the software itself and for organizations that sponsor such software.
Software engineers regard components as part of the starting platform for service-orientation. Components play this role, for example, in web services, and more recently, in service-oriented architectures (SOA), whereby a component is converted by the web service into a service and subsequently inherits further characteristics beyond that of an ordinary component.
Components can produce or consume events and can be used for event-driven architectures (EDA).
Definition and characteristics of components
An individual software component is a software package, a web service, a web resource, or a module that encapsulates a set of related functions (or data).
All system processes are placed into separate components so that all of the data and functions inside each component are semantically related (just as with the contents of classes). Because of this principle, it is often said that components are modular and cohesive.
With regard to system-wide co-ordination, components communicate with each other via interfaces. When a component offers services to the rest of the system, it adopts a provided interface that specifies the services that other components can utilize, and how they can do so. This interface can be seen as a signature of the component - the client does not need to know about the inner workings of the component (implementation) in order to make use of it. This principle results in components referred to as encapsulated. The UML illustrations within this article represent provided interfaces by a lollipop-symbol attached to the outer edge of the component.
However, when a component needs to use another component in order to function, it adopts a used interface that specifies the services that it needs. In the UML illustrations in this article, used interfaces are represented by an open socket symbol attached to the outer edge of the component.
Another important attribute of components is that they are substitutable, so that a component can replace another (at design time or run-time), if the successor component meets the requirements of the initial component (expressed via the interfaces). Consequently, components can be replaced with either an updated version or an alternative without breaking the system in which the component operates.
As a general rule of thumb for engineers substituting components, component B can immediately replace component A, if component B provides at least what component A provided and uses no more than what component A used.
Software components often take the form of objects (not classes) or collections of objects (from object-oriented programming), in some binary or textual form, adhering to some interface description language (IDL) so that the component may exist autonomously from other components in a computer.
When a component is to be accessed or shared across execution contexts or network links, techniques such as serialization or marshalling are often employed to deliver the component to its destination.
Reusability is an important characteristic of a high-quality software component. Programmers should design and implement software components in such a way that many different programs can reuse them. Furthermore, component-based usability testing should be considered when software components directly interact with users.
It takes significant effort and awareness to write a software component that is effectively reusable. The component needs to be:
- fully documented
- thoroughly tested
- robust - with comprehensive input-validity checking
- able to pass back appropriate error messages or return codes
- designed with an awareness that it will be put to unforeseen uses
In the 1960s, programmers built scientific subroutine libraries that were reusable in a broad array of engineering and scientific applications. Though these subroutine libraries reused well-defined algorithms in an effective manner, they had a limited domain of application. Commercial sites routinely created application programs from reusable modules written in Assembler, COBOL, PL/1 and other second- and third-generation languages using both system and user application libraries.
As of 2010, modern reusable components encapsulate both data structures and the algorithms that are applied to the data structures. It builds on prior theories of software objects, software architectures, software frameworks and software design patterns, and the extensive theory of object-oriented programming and the object oriented design of all these. It claims that software components, like the idea of hardware components, used for example in telecommunications,[1] can ultimately be made interchangeable and reliable. On the other hand, it is argued that it is a mistake to focus on independent components rather than the framework (without which they would not exist).[2]
History
The idea that software should be componentized - built from prefabricated components - first became prominent with Douglas McIlroy's address at the NATO conference on software engineering in Garmisch, Germany, 1968, titled Mass Produced Software Components.[3] The conference set out to counter the so-called software crisis. McIlroy's subsequent inclusion of pipes and filters into the Unix operating system was the first implementation of an infrastructure for this idea.
Brad Cox of Stepstone largely defined the modern concept of a software component.[4] He called them Software ICs and set out to create an infrastructure and market for these components by inventing the Objective-C programming language. (He summarizes this view in his book Object-Oriented Programming - An Evolutionary Approach 1986.)
The software components are used in two different contexts and two kinds: (i) using components as parts to build a single executable, or (ii) each executable is treated as a component in a distributed environment, where components collaborate with each other using internet or intranet communication protocols for IPC (Inter Process Communications). The above belongs to former kind, while the below belongs to later kind.
IBM led the path with their System Object Model (SOM) in the early 1990s. As a reaction, Microsoft paved the way for actual deployment of component software with OLE and COM.[5] As of 2010 many successful software component models exist.
Differences from object-oriented programming
Proponents of object-oriented programming (OOP) maintain that software should be written according to a mental model of the actual or imagined objects it represents. OOP and the related disciplines of object-oriented analysis and object-oriented design focus on modeling real-world[citation needed] interactions and attempting to create "nouns" and "verbs" that can be used in more human-readable ways, ideally by end users as well as by programmers coding for those end users.
Component-based software engineering, by contrast, makes no such assumptions, and instead states that developers should construct software by gluing together prefabricated components - much like in the fields of electronics or mechanics. Some peers will even talk of modularizing systems as software components as a new programming paradigm. Example for possible paradigm: many experts feel adaptable to evolving needs is more important than reuse, since 80% of software engineering deals with maintaining or releasing new versions. So it is desirable to build complex system by assembling highly cohesive loosely coupled large components, where cost of redesigning each of such adoptable components (or replacing by a better component) must be minimized.
Some argue that earlier computer scientists made this distinction, with Donald Knuth's theory of "literate programming" optimistically assuming there was convergence between intuitive and formal models, and Edsger Dijkstra's theory in the article The Cruelty of Really Teaching Computer Science, which stated that programming was simply, and only, a branch of mathematics.[6][7]
In both forms, this notion has led to many academic debates about the pros and cons of the two approaches and possible strategies for uniting the two. Some consider the different strategies not as competitors, but as descriptions of the same problem from different points of view.[citation needed]
Architecture
A computer running several software components is often called an application server. This combination of application servers and software components is usually called distributed computing. Typical real-world application of this is in, e.g., financial applications or business software.
Models
A component model is a definition of standards for component implementation, documentation and deployment. Examples of component models are: Enterprise JavaBeans (EJB) model, Component Object Model (COM) model, .NET model and Common Object Request Broker Architecture (CORBA) component Model. The component model specifies how interfaces should be defined and the elements that should be included in an interface definition.[8]
Technologies
- Business object technologies
- Component-based software frameworks for specific domains
- Component-oriented programming
- Bundles as defined by the OSGi Service Platform
- Component web platform for modular js, css, and other assets
- Component Object Model (OCX/ActiveX/COM) and DCOM from Microsoft
- TASCS - SciDAC Center for Technology for Advanced Scientific Component Software
- Eiffel programming language
- Enterprise JavaBeans from Sun Microsystems (now Oracle)
- Flow-based programming
- Fractal component model from ObjectWeb
- MidCOM component framework for Midgard and PHP
- Oberon, Component Pascal, and BlackBox Component Builder
- rCOS method of component-based model driven design from UNU-IIST
- SOFA component system from ObjectWeb
- The
System.ComponentModel
namespace in Microsoft .NET - Unity3D developed by Unity Technologies
- UNO from the OpenOffice.org office suite
- VCL and CLX from Borland and similar free LCL library.
- XPCOM from Mozilla Foundation
- Compound document technologies
- Active Documents in Oberon System and BlackBox Component Builder
- KPart, the KDE compound document technology
- Object linking and embedding (OLE)
- OpenDoc
- Distributed computing software components
- .NET Remoting from Microsoft
- 9P distributed protocol developed for Plan 9, and used by Inferno and other systems.
- CORBA and the CORBA Component Model from the Object Management Group
- D-Bus from the freedesktop.org organization
- DCOM and later versions of COM (and COM+) from Microsoft
- DSOM and SOM from IBM (now scrapped)
- ICE from ZeroC
- Java EE from Sun
- Kompics[10] from SICS
- Universal Network Objects (UNO) from OpenOffice.org
- Web services
- REST
- Zope from Zope Corporation
- Generic programming emphasizes separation of algorithms from data representation
- Interface description languages (IDLs)
- Open Service Interface Definitions (OSIDs)
- Part of both COM and CORBA
- Platform-Independent Component Modeling Language
- SIDL - Scientific Interface Definition Language
- SOAP IDL from World Wide Web Consortium (W3C)
- WDDX
- XML-RPC, the predecessor of SOAP
- Inversion of Control (IoC) and Plain Old C++/Java Object (POCO/POJO) component frameworks
- Pipes and Filters
See also
- Business logic
- Modular programming
- Service Component Architecture
- Third party software component
- Web service
Further reading
- Brad J. Cox, Andrew J. Novobilski (1991). Object-Oriented Programming: An Evolutionary Approach. 2nd ed. Addison-Wesley, Reading ISBN 0-201-54834-8
- Bertrand Meyer (1997). Object-Oriented Software Construction. 2nd ed. Prentice Hall.
- George T. Heineman, William T. Councill (2001). Component-Based Software Engineering: Putting the Pieces Together. Addison-Wesley Professional, Reading 2001 ISBN 0-201-70485-4
- Richard Veryard (2001). Component-based business : plug and play. London : Springer. ISBN 1-85233-361-8
- Clemens Szyperski (2002). Component Software: Beyond Object-Oriented Programming. 2nd ed. Addison-Wesley Professional, Boston ISBN 0-201-74572-0
- David Polberger (2009). Component technology in an embedded system. Master's thesis in computer science, available online. ISSN 1651-6389
References
- ↑ Foukalas et al "Protocol Reconfiguration Using Component-Based Design"
- ↑ Wallace, Bruce (May 19, 2010). "A hole for every component, and every component in its hole". Existential Programming. "There is no such thing as a Component"
- ↑ McIlroy, Malcolm Douglas (January 1969). "Mass produced software components". Software Engineering: Report of a conference sponsored by the NATO Science Committee, Garmisch, Germany, 7-11 Oct. 1968. Scientific Affairs Division, NATO. p. 79.
- ↑ Rainer Niekamp. "Software Component Architecture". Gestión de Congresos - CIMNE/Institute for Scientific Computing, TU Braunschweig. p. 4. Retrieved 2011-07-29. "The modern concept of a software component largely defined by Brad Cox of Stepstone, => Objective-C programming language"
- ↑ Raphael Gfeller (December 9, 2008). "Upgrading of component-based application". HSR - Hochschule für Technik Rapperswill. p. 4. Retrieved 2011-07-29. "1990, IBM invents their System Object Model. 1990, as a reaction, Microsoft released OLE 1.0 OLE custom controls (OCX)"
- ↑ "Dijkstra, Wybe Edsger". Encyclopedia.com. Retrieved 2011-07-29. "In his view, the key to a good computing science program was to consider it as a branch of mathematics."
- ↑ Donald E. Knuth (September 1983). "Literate Programming". Literate Programming/The Computer Journal. p. 15. Retrieved 2011-07-29. "Thus, WEB may be only for the subset of computer scientists who like to write and to explain what they are doing. My hope is that the ability to make explanations more natural will cause more programmers to discover the joys of literate programming, because I believe it’s quite a pleasure to combine verbal and mathematical skills; but perhaps I’m hoping for too much. The fact that at least one paper has been written that is a syntactically correct ALGOL 68 program22 encourages me to persevere in my hopes for the future. Perhaps we will even one day find Pulitzer prizes awarded to computer programs."
- ↑ http://www.comp.lancs.ac.uk/computing/resources/IanS/SE7/Presentations/PDF/Ch19.pdf
- ↑ MASH defines assets as people, property and information and management as monitoring, control and configuration. Presented at the 2013 IEEE IoT conference in Mountain View MASH includes a full IDE, Android client and runtime. "MASH YouTube channel"
- ↑ Arad, Cosmin (April 2013). "Programming Model and Protocols for Reconfigurable Distributed Systems". Doctoral Dissertation. Stockholm, Sweden: KTH Royal Institute of Technology. ISBN 978-91-7501-694-8.
External links
- Planning the Software Industrial Revolution The history of manufacturing vs software compared.
- The independence of notion of component-orientation.
- Cox's feasibility demonstration of a usage-based mechanism for incentivizing component producers.
- Why Software Reuse has Failed and How to Make It Work for You by Douglas C. Schmidt
- comprehensive list of Component Systems on SourceForge
- VirCA - Virtual Collaboration Arena framework, a component based, Future Internet collaboration platform powered by RT-Middleware
- The existing paradigm of CBSD is evolved by relying on erroneous unsubstantiated assumptions by violating basic scientific processes/principles-- A scientific dissent