Topological properties for characterizing well-formedness of process components

RHODES is an environment for modelling software processes, in which software processes are described by using a Process Modelling Language called PBOOL+. In this environment, a software process is built from PBOOL+ process components that can be reused to construct other processes. To identify well-formed process components, we study properties to be able to characterize topological structure of the components. These properties should relate intrinsically to cohesion of a component, and coupling between components. We will consider two classical properties that originated from graph theory, which are connection and transitive closure. These two properties are sometimes too strict to be applied, so we propose several weaker properties that are still useful for characterizing good components. The article aims to present these topological properties and their applications to reusable process components in context of the RHODES environment. Copyright © 2005 John Wiley & Sons, Ltd.

[1]  Bernard Coulette,et al.  Managing Processes through Base of Reusable Components , 2001, ICEIS.

[2]  Bernard Coulette,et al.  PBOOL: an Object-Oriented Language for Definition and Reuse of Enactable Processes , 1997, Softw. Concepts Tools.

[3]  Johannes Sametinger,et al.  Software Engineering with Reusable Components , 1997, Springer Berlin Heidelberg.

[4]  C. Berge.  Graphes et hypergraphes , 1970 .

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

[6]  C. Berge.  Théorie des graphes et ses applications , 1958 .

[7]  Doo-Hwan Bae,et al.  A cohesion measure for object‐oriented classes , 2000 .

[8]  Mihalis Yannakakis,et al.  Graph-theoretic methods in database theory , 1990, PODS.

[9]  Edward Yourdon,et al.  Object-oriented design , 1991, Yourdon Press Computing Series.

[10]  Setrag Khoshafian,et al.  The Jasmine Object Database: Multimedia Applications for the Web , 1998 .

[11]  Tom Mens,et al.  A Graph-Based Metamodel for Object-Oriented Software Metrics , 2002, Electron. Notes Theor. Comput. Sci..

[12]  Panos M. Pardalos,et al.  A survey of combinatorial optimization problems in multicast routing , 2005, Comput. Oper. Res..

[13]  Samir Khuller,et al.  Graph and network algorithms , 1996, CSUR.

[14]  Alberto O. Mendelzon,et al.  A graphical query language supporting recursion , 1987, SIGMOD '87.

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

[16]  Gunter Saake,et al.  Transitive dependencies in transaction closures , 1998, Proceedings. IDEAS'98. International Database Engineering and Applications Symposium (Cat. No.98EX156).

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

[18]  Martin Hitz,et al.  Measuring coupling and cohesion in object-oriented systems , 1995 .

[19]  Wolfgang Pree.  Component-based software development-a new paradigm in software engineering? , 1997, Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference.

[20]  Sallie M. Henry,et al.  Object-oriented metrics that predict maintainability , 1993, J. Syst. Softw..

[21]  Henrik Bærbak Christensen,et al.  Modularisation of Software Configuration Management , 2000, JMLC.

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

[23]  Scott W. Ambler,et al.  Process patterns: building large-scale systems using object technology , 1998 .

[24]  Letha H. Etzkorn,et al.  Clarifying specialized forms of association in UML and OML , 1998 .

[25]  Mourad Badri.  A New Class Cohesion Criterion : An empirical study on several systems , 2003 .

[26]  Norman E. Fenton,et al.  Software Metrics: A Rigorous Approach , 1991 .

[27]  Bernard Coulette,et al.  RHODES, A Process Component Centered Software Engineering Environment , 2000, ICEIS.

[28]  Chris F. Kemerer,et al.  A Metrics Suite for Object Oriented Design , 2015, IEEE Trans. Software Eng..

[29]  Michael J. Flaherty,et al.  Review of Practical software metrics for project management and process improvement by Robert B. Grady, Prentice Hall, Englewood Cliffs 1992 , 1993 .

[30]  Bernard Coulette,et al.  Towards a View Based Unified Modeling Language , 2003, ICEIS.

[31]  Glenford J. Myers,et al.  Structured Design , 1974, IBM Syst. J..

[32]  Manfred Broy,et al.  A Formal Model for Componentware , 1999, FBT.

[33]  D. M. Hutton,et al.  Process Patterns: Building Large‐Scale Systems Using Object Technology , 1999 .

[34]  Alfred V. Aho,et al.  Universality of data retrieval languages , 1979, POPL.

[35]  Kenneth L. Morris,et al.  Metrics for object-oriented software development environments , 1989 .

[36]  Letha H. Etzkorn,et al.  A Class Cohesion Metric For Object-Oriented Designs , 1999, J. Object Oriented Program..

[37]  Timothy E. Lindquist,et al.  Component-based software process support , 1998, Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239).

[38]  Denis Avrilionis,et al.  A unified framework for software process enactment and improvement , 1996, Proceedings of Software Process 1996.

[39]  N. V. Balasubramanian.  Object-oriented metrics , 1996, Proceedings 1996 Asia-Pacific Software Engineering Conference.

[40]  Mark Lorenz,et al.  Object-oriented software metrics - a practical guide , 1994 .

[41]  Dewayne E. Perry,et al.  System Compositions and Shared Dependencies , 1996, SCM.