PORE : Procurement Oriented Requirements Engineering Method for the Component-Based Systems Engineering Development Paradigm

Most current research in Component-Based Systems Engineering (CBSE) focuses on design and integration processes. There is little interest in the requirements engineering and product evaluation/selection processes that must precede design and integration. Also most current methods and tools support systems design and integration but neglect the requirements engineering and product evaluation/selection processes. However, in spite of this lack of focus on requirements engineering, a consensus seems to be emerging that the CBSE development process should be an iterative one of requirements engineering, systems design, product evaluation/selection and systems integration. This paper proposes a new method, PORE, to address the lack of requirements engineering methods and product evaluation/selection process guidance for the CBSE process. The paper ends with a ‘vision’ for future research directions for component-based systems engineering development process.

[1]  Ivar Jacobson,et al.  Software Reuse: Architecture, Process And Organization For Business Success , 1998, Proceedings. Technology of Object-Oriented Languages. TOOLS 26 (Cat. No.98EX176).

[2]  Xiaobing Zhang,et al.  A rigorous approach to comparison of representational properties of object-oriented analysis and design methods , 1997 .

[3]  Dan Craigen,et al.  An International Survey of Industrial Applications of Formal Methods , 1992, Z User Workshop.

[4]  Mark Vigder.  An Architecture for COTS Based Software Systems Prepared for Defence Research Development Branch , 1998 .

[5]  Tom Digre.  Business Object Component Architecture , 1998, IEEE Softw..

[6]  John V. E. Ridgway,et al.  Why IDLs are not ideal , 1998, Proceedings Ninth International Workshop on Software Specification and Design.

[7]  K. Kang.  Issues in Component-Based Software Engineering , 1999 .

[8]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[9]  David Garlan,et al.  A formal basis for architectural connection , 1997, TSEM.

[10]  William B. Frakes,et al.  An Empirical Study of Representation Methods for Reusable Software Components , 1994, IEEE Trans. Software Eng..

[11]  John Penix,et al.  Using formal specifications for component retrieval and reuse , 1998, Proceedings of the Thirty-First Hawaii International Conference on System Sciences.

[12]  Patrick A. V. Hall,et al.  Object oriented module interconnection languages , 1993, [1993] Proceedings Advances in Software Reuse.

[13]  Guijun Wang,et al.  SoftBean Composer: a visual environment for component assembly , 1998, Proceedings. 1998 IEEE Symposium on Visual Languages (Cat. No.98TB100254).

[14]  Dar-Biau Liu,et al.  A procurement-centric model for engineering component-based software systems , 1997, Proceedings Fifth International Symposium on Assessment of Software Tools and Technologies.

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

[16]  Mary Shaw,et al.  Abstractions for Software Architecture and Tools to Support Them , 1995, IEEE Trans. Software Eng..

[17]  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.

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

[19]  David A Chappell.  Understanding ActiveX and OLE , 1996 .

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

[21]  Donald Cowan,et al.  Using view-based models to formalize architecture description , 1998, ISAW '98.

[22]  Bertrand Meyer,et al.  Reusable Software: The Base Object-Oriented Component Libraries , 1994 .

[23]  Xavier Castellani,et al.  Development Process for the Creation and Reuse of Object-Oriented Generic Applications and Components , 1998, J. Object Oriented Program..

[24]  Lucy Suchman.  Plans and situated actions: the problem of human-machine communication , 1987 .

[25]  David Garlan,et al.  Architectural Mismatch or Why it's hard to build systems out of existing parts , 1995, 1995 17th International Conference on Software Engineering.

[26]  Jun Han.  A comprehensive interface definition framework for software components , 1998, Proceedings 1998 Asia Pacific Software Engineering Conference (Cat. No.98EX240).

[27]  Victoria Stavridou,et al.  Secure Interoperation of Secure Distributed Databases , 1999, World Congress on Formal Methods.

[28]  Geoff W. Hamilton,et al.  Hypertext: The Next Maintenance Mountain , 1998, Computer.

[29]  Victor R. Basili,et al.  How reuse influences productivity in object-oriented systems , 1996, CACM.

[30]  Roland Mittermeir,et al.  Object-Oriented Re-Architecturing , 1995, ESEC.

[31]  Paul Clements,et al.  Software Architecture: An Executive Overview , 1996 .

[32]  Guijun Wang,et al.  A framework supporting component assembly for distributed systems , 1998, Proceedings Second International Enterprise Distributed Object Computing (Cat. No.98EX244).

[33]  Yuliang Zheng,et al.  Security Characterisation and Integrity Assurance for Software Components and Component-Based System , 1998 .

[34]  Chris Dollin,et al.  Object-oriented development: the fusion method , 1994 .

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

[36]  Hans H. Kron,et al.  Programming-in-the-Large Versus Programming-in-the-Small , 1975, IEEE Transactions on Software Engineering.

[37]  Stuart Frost,et al.  Planning team roles for CBD , 2001 .

[38]  Paul Clements,et al.  From subroutines to subsystems: component-based software development , 2001 .

[39]  Ana I. Anton,et al.  Goal identification and refinement in the specification of software-based information systems , 1997 .

[40]  Roel Wieringa,et al.  Requirements Engineering: Frameworks for Understanding , 1996 .

[41]  Paulo S. C. Alencar,et al.  A Formal Description of Evolving Software Systems Architectures , 1995, Sci. Comput. Program..

[42]  G. Fox,et al.  A software development process for COTS-based information system infrastructure , 1997, Proceedings Fifth International Symposium on Assessment of Software Tools and Technologies.

[43]  Oscar Nierstrasz,et al.  Object-oriented software composition , 1995 .

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

[45]  Batya Friedman,et al.  Educating computer scientists: linking the social and the technical , 1994, CACM.

[46]  David Garlan,et al.  Architectural Styles, Design Patterns, And Objects , 1997, IEEE Softw..

[47]  Andreas Rausch,et al.  An Integrated View On Componentware – Concepts, Description Techniques, and Development Process , 1999 .

[48]  Andreas Rausch,et al.  A Componentware Development Methodology based on Process Patterns , 1998 .

[49]  David Garlan,et al.  Formal modeling and analysis of the HLA component integration standard , 1998, SIGSOFT '98/FSE-6.

[50]  M. Gordon,et al.  Introduction to HOL: a theorem proving environment for higher order logic , 1993 .

[51]  Rogério de Lemos,et al.  Dynamic Selection of Software Components in the Face of Changing Requirements , 1999 .

[52]  David Garlan,et al.  Introduction to the Special Issue on Software Architecture , 1995, IEEE Trans. Software Eng..

[53]  David S. Rosenblum.  Challenges in Exploiting Architectural Models for Software Testing , 1998 .

[54]  David Alex Lamb,et al.  A theory model core for module interconnection languages , 1994, CASCON.

[55]  Mikio Aoyama,et al.  New Age of Software Development: How Component-Based Software Engineering Changes the Way of Software Development ? , 1998 .

[56]  Yacov Y. Haimes,et al.  Multiobjective Decision Making: Theory and Methodology , 1983 .

[57]  Neil A. M. Maiden,et al.  ACRE: selecting methods for requirements acquisition , 1996, Softw. Eng. J..

[58]  Edmund M. Clarke,et al.  Formal Methods: State of the Art and Future Directions Working Group Members , 1996 .

[59]  Harald C. Gall,et al.  Object-model driven abstraction-to-code mapping , 1997 .

[60]  Xiaolei Qian,et al.  Correct Architecture Refinement , 1995, IEEE Trans. Software Eng..

[61]  Martin L. Griss,et al.  Making Reuse Work At Hewlett-Packard , 1995, IEEE Softw..

[62]  Naranker Dulay,et al.  Specifying Distributed Software Architectures , 1995, ESEC.

[63]  Jean-Marc Jézéquel,et al.  Design by Contract: The Lessons of Ariane , 1997, Computer.

[64]  David B. Leblang.  The CM challenge: configuration management that works , 1995 .

[65]  Barbara Paech,et al.  Managing Componentware Development - Software Reuse and the V-Modell Process , 1999, CAiSE.

[66]  Michael D. Rice,et al.  A Formal Model for Module Interconnection Languages , 1994, IEEE Trans. Software Eng..

[67]  F. B. Vernadat,et al.  Decisions with Multiple Objectives: Preferences and Value Tradeoffs , 1994 .

[68]  Trucy Levine.  Reusable software components , 1997, ALET.

[69]  Kevin J. Sullivan,et al.  Using Formal Methods to Reason about Architectural Standards , 1996, Proceedings of the (19th) International Conference on Software Engineering.

[70]  Murali Sitaraman,et al.  Special feature: component-based software using resolve , 1994 .

[71]  John Penix,et al.  Declarative specification of software architectures , 1997, Proceedings 12th IEEE International Conference Automated Software Engineering.

[72]  Bertrand Meyer,et al.  On To Components , 1999, Computer.

[73]  Rudy Hirschheim,et al.  Information Systems and User Resistance: Theory and Practice , 1988, Comput. J..

[74]  Alan W. Brown,et al.  On components and objects: the foundations of component-based development , 1997, Proceedings Fifth International Symposium on Assessment of Software Tools and Technologies.

[75]  David C. Luckham,et al.  An Event-Based Architecture Definition Language , 1995, IEEE Trans. Software Eng..

[76]  Jack C. Wileden,et al.  Toward Painless Polylingual Persistence , 1996, POS.

[77]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[78]  Watts S. Humphrey,et al.  Managing the software process , 1989, The SEI series in software engineering.

[79]  D. Budgen,et al.  Component reuse in software design: an observational study , 1999, STEP '99. Proceedings Ninth International Workshop Software Technology and Engineering Practice.

[80]  E. Rowland.  Theory of Games and Economic Behavior , 1946, Nature.

[81]  Craig Thompson.  Workshop on compositional software architectures: workshop report , 1998, SOEN.

[82]  Willemien Visser.  Strategies in programming programmable controllers: a field study on a professional programmer , 1987 .

[83]  Don S. Batory,et al.  The design and implementation of hierarchical software systems with reusable components , 1992, TSEM.

[84]  Alan W. Brown,et al.  The Current State , 2016 .

[85]  Jim Q. Ning.  CBSE Research at Andersen Consulting , 1998 .

[86]  P. Krutchen,et al.  The Rational Unified Process: An Introduction , 2000 .

[87]  Raymonde Guindon,et al.  Knowledge Exploited by Experts during Software System Design , 1990, Int. J. Man Mach. Stud..

[88]  B.W. Weide,et al.  The Effects of Layering and Encapsulation on Software Development Cost and Quality , 1995, IEEE Trans. Software Eng..

[89]  Mats Per Erik Heimdahl,et al.  Specification and Analysis of Intercomponent Communication , 1998, Computer.

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

[91]  David Garlan,et al.  Exploiting style in architectural design environments , 1994, SIGSOFT '94.

[92]  K. C. Kang,et al.  Software methodology in the harsh light of economics , 1989 .

[93]  Natarajan Shankar,et al.  PVS: A Prototype Verification System , 1992, CADE.

[94]  Bill Curtis,et al.  A field study of the software design process for large systems , 1988, CACM.

[95]  David Notkin.  Letter from the executive committee , 1996, SOEN.

[96]  Peter Bumbulis,et al.  Validating Properties of Component-based Graphical User Interfaces , 1996, DSV-IS.

[97]  정인기,et al.  [서평]「Applying UML and Patterns - An Introduction to Object-Oriented Analysis and Design」 , 1998 .

[98]  Neil A. M. Maiden,et al.  Acquiring COTS software selection requirements , 1998, Proceedings of IEEE International Symposium on Requirements Engineering: RE '98.

[99]  Santiago Comella-Dorda,et al.  Custom vs. off-the-shelf architecture , 1999, Proceedings Third International Enterprise Distributed Object Computing. Conference (Cat. No.99EX366).

[100]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[101]  Robert C. Seacord,et al.  AGORA: A Search Engine for Software Components , 1998, IEEE Internet Comput..

[102]  Wojtek Kozaczynski,et al.  Toward software plug-and-play , 1997, SSR '97.

[103]  Barbara Ann Kitchenham,et al.  Evaluating software engineering methods and tools part 6: identifying and scoring features , 1997, SOEN.

[104]  Robyn R. Lutz.  Targeting safety-related errors during software requirements analysis , 1993, SIGSOFT '93.

[105]  Richard N. Taylor,et al.  A Type Theory for Software Architectures , 1998 .

[106]  David Jordan,et al.  The Object Database Standard: ODMG 2.0 , 1997 .

[107]  R. M. Adelson,et al.  Utility Theory for Decision Making , 1971 .

[108]  Jack C. Wileden,et al.  Automated support for seamless interoperability in polylingual software systems , 1996, SIGSOFT '96.

[109]  Paul Clements,et al.  Software architecture in practice , 1999, SEI series in software engineering.

[110]  P. N. Le Quesne.  Individual and Organisational Factors and the Design of IPSEs , 1988, Comput. J..

[111]  Sallie M. Henry,et al.  On the Relationship Between the Object-Oriented Paradigm and Software Reuse: An Empirical Investigation , 1992 .

[112]  Mary Shaw,et al.  Truth vs. knowledge: the difference between what a component does and what we know it does , 1996, Proceedings of the 8th International Workshop on Software Specification and Design.