loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Author: Yoshiyuki Shinkawa

Affiliation: Ryukoku University, Japan

ISBN: 978-972-8865-43-6

Keyword(s): Component reuse, software engineering, colored Petri nets, formal methods.

Related Ontology Subjects/Areas/Topics: Enterprise Information Systems ; Information Systems Analysis and Specification ; Modeling Formalisms, Languages and Notations

Abstract: One of the major activities in component based software development is to identify the adaptable components to the given requirements. We usually compare requirement specifications with the component specifications, in order to evaluate the equality between them. However, there could be several differences between those specifications, e.g. granularity, expression forms, viewpoints, or the level of detail, which make the component evaluation difficult. In addition, recent object oriented approaches require many kinds of models to express software functionality, which make the comparison of the specification complicated. For rigorous component evaluation, it is desirable to use concise and simple expression forms of specifications, which can be used commonly between requirements and components. This paper presents a formal evaluation technique for component adaptation. In order to relieve the granularity difference, the concept of a virtual component is introduced, which is the reusabl e unit of this approach. A virtual component is a set of components that can acts as single component. In order to express requirements and components commonly and rigorously, algebraic specification and Colored Petri Nets (CPNs) are used. Algebraic specification provides the theoretical foundation of this technique, while CPNs help us to use it intuitively. (More)

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.205.109.82

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Shinkawa Y. and (2006). CPN BASED COMPONENT ADAPTATION.In Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 978-972-8865-43-6, pages 261-268. DOI: 10.5220/0002456502610268

@conference{iceis06,
author={Yoshiyuki Shinkawa},
title={CPN BASED COMPONENT ADAPTATION},
booktitle={Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2006},
pages={261-268},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002456502610268},
isbn={978-972-8865-43-6},
}

TY - CONF

JO - Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - CPN BASED COMPONENT ADAPTATION
SN - 978-972-8865-43-6
AU - Shinkawa, Y.
PY - 2006
SP - 261
EP - 268
DO - 10.5220/0002456502610268

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.