Article

A verification of class structure evolution model and its parameters

Authors:

Mikio Ohki,

Shinjiro Akiyama,

Yasushi KambayashiAuthors Info & Claims

IWPSE '02: Proceedings of the International Workshop on Principles of Software Evolution

Pages 52 - 56

https://doi.org/10.1145/512035.512049

Published: 19 May 2002 Publication History

Get Access

Abstract

It is widely accepted that the role of software "architect" that provide frameworks to program developers is important in the object-oriented software development processes. When developers try to extend the base classes given by the architect, they may want some guidelines that tell them how many subclasses and how many methods in one subclass are reasonable. So far we are not aware of such guidelines. Through measurements of Java and Delphi class libraries, we have distilled formulae that forecast the number of methods and the number of subclasses when constructing class trees from the base classes. We propose that we should focus to extract methods and attributes rather than class structure. The formulae we have formulated support this proposition.

References

[1]

I. Jacobson,G. Booch,J. Rumbaugh,"The Unifield Software Development Process," Addison Wesley (1999)

Digital Library

Google Scholar

[2]

Chidamber&Kamemer, "A Metrics Suite for Object Oriented Design,"IEEE Trans. SE Vol.20, No.6 pp.476-493 (1994)

Digital Library

Google Scholar

[3]

Takako Nakatani, Tetuo Tamai, "A Study on Statistic Characteristics of Inheritance Tree Evolution," Proceedings of Object-Oriented Symposium, IPSJ, pp.137-144 (1999). In Japanese.

Google Scholar

[4]

Mikio Ohki,Shoijiro Akiyama,"A Class Structure Evolutional Model and Analysis of its Parameters," IPSJ Vol.2001 No.92 SE-133-3 pp.15-22(2001). In Japanese.

Google Scholar

[5]

Wirfs-Brock, B. Wilkerson, "Object-Oriented Design: A Responsibility-Driven Approach," Proc of OOPSLA'89, ACM, pp. 71-75, 1989.

Digital Library

Google Scholar

[6]

Wirfs-Brock,"Designing Objects and Their Interactions: A Brief Look at Responsibility-Driven Design," Carroll, J. M. ed., Scenario-Based Design, John Wiley & Sons, 1995

Digital Library

Google Scholar

[7]

Mikio Ohki,Kohei Akiyama,"A Proposal of Conceptual Modeling Criteria and their Validity Evaluation," IEICE VOL.184-D-1 No.6 pp.723-735(2001) In Japanese

Google Scholar

Recommendations

A Perfect Model for Bounded Verification
LICS '12: Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science

A class of languages C is perfect if it is closed under Boolean operations and the emptiness problem is decidable. Perfect language classes are the basis for the automata-theoretic approach to model checking: a system is correct if the language ...
Towards Constructing a Class Evolution Model
APSEC '97: Proceedings of the Fourth Asia-Pacific Software Engineering and International Computer Science Conference

Software tends to change itself according to user requirements changes. In the object-oriented technology, it is important to find a way how classes evolve to cope with new user requirements or to obtain reusability. We propose that developers need to ...
Temporal logics with language parameters
Abstract
We develop a generic framework to extend the logics LTL, CTL⁺ and CTL^⁎ by automata-based connectives from formal language classes and analyse this framework with regard to regular languages, visibly pushdown languages, deterministic and non-...

Comments

Information & Contributors

Information

Published In

IWPSE '02: Proceedings of the International Workshop on Principles of Software Evolution

May 2002

155 pages

ISBN:1581135459

DOI:10.1145/512035

Conference Chair:
Mikio Aoyama
Nanzan University, Japan
,
Program Chairs:
Katsuro Inoue
Osaka University, Japan
,
Vaclav Rajlich
Wayne State University, USA

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 19 May 2002

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

IWPSE02

Sponsor:

SIGSOFT

IWPSE02: International Workshop on Principles of Software Evolution

May 19 - 20, 2002

Florida, Orlando

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

0
Total Citations
157
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 12 Aug 2024

Other Metrics

View Author Metrics

Citations

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Recommendations

A Perfect Model for Bounded Verification

Towards Constructing a Class Evolution Model

Temporal logics with language parameters