[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
research-article

Component behavior relativity analysis

Published: 01 March 2008 Publication History

Abstract

Component-Based Development, CBD for short, is becoming a main stream software development paradigm which reuses the off-the-shelf components and assembles them together to form a component-based application. CBD paradigm obviously has aroused a great attention among the engineering and academic domain and many new concepts, tools, and development methodologies have been coming out. However, CBD paradigms are usually questioned by its feasibility and performance. The inherent reason of this dilemma is lacking a methodology to guide researchers or engineers to clarify the behavior relativity among components. In this paper we proposed a new formalism, named component network, which is an extension of Petri net and its powerful capability to modeling distributed system is the guarantee of successful modeling component-based system. Further more, a series operation and theorems are presented, which are concerned to be the footstone of component behavior relativity analysis and software evolution research.

References

[1]
Tadao Murata. Petri Nets: Properties, Analysis and Applications Proceeding of the IEEE, VOL. 77, NO 4, APRIL 1989
[2]
Nabil Hameurlain. On Usability and Behavioural Substitutability of Component Protocols. Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05). pp. 394-403. 2005
[3]
A. Martens. Analyzing Web Service Based Business. FASE'2005, pp 19-33, Vol. 3442, LNCS, Springer, 2005.
[4]
N. Hameurlain. On Compatibility and Behavioural Substitutability of Component Protocols. The 3rd IEEE International Conference on Software Engineering and Formal Methods, SEFM 2005, IEEE Computer Society, pp394-403, 2005.
[5]
F. Plasil, S. Visnovsky. "Behaviour Protocols for Software Components". In Transactions on Software Engineering, IEEE (2002).
[6]
R.H. Reussner, J. Happe, A. Habel. Modelling Parametric Component Contracts and the State Space of Composite components by Graph Grammars. In ETAPS/FASE 2005, LNCS 3442, pp 80-90, Springer.
[7]
D.M. Rao, P.A. Wilsey. Dynamic component substitution in Web-based simulation. 2000 Winter Simulation Conference (WSC'00) Volume 2. December 2000. pp. 1840-1848.
[8]
Premysl Brada, Lukas Valenta. Practical Verification of Component Substitutability Using Subtype Relation. 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO'06). August 2006. pp. 38-45
[9]
Xiangang Zhao, Bai Wang, Liutong Xu. Grid Application Scheduling Model Based on Petri Net with Changeable Structure. Sixth International Conference on Grid and Cooperative Computing (GCC 2007). August 2007. pp. 733-736
[10]
Xianwen Fang, Zhicai Xu, Zhixiang Yin. A Study about the Mapping of Process-Processor based on Petri Nets. Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2007). July 2007. pp. 622-626
[11]
Tomasz Gubala, Daniel Herezlak, Marian Bubak, Maciej Malawski. Semantic Composition of Scientific Workflows Based on the Petri Nets Formalism. Second IEEE International Conference on e-Science and Grid Computing. December 2006. pp. 12
[12]
Franck Barbier, Nicolas Belloir. Component Behavior Prediction and Monitoring through Built-In Test. 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems. April 2003. pp. 17
[13]
Pengcheng Zhang, Yu Zhou, Bixin Li. A service-oriented methodology supporting automatic synthesis and verification of component behavior model. Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing. July 2007. pp. 511-516

Cited By

View all
  • (2010)Research on Component Behavior Relativity AnalysisProceedings of the 2010 International Symposium on Computational Intelligence and Design - Volume 0210.1109/ISCID.2010.85(3-5)Online publication date: 29-Oct-2010

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes  Volume 33, Issue 2
March 2008
98 pages
ISSN:0163-5948
DOI:10.1145/1350802
Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 March 2008
Published in SIGSOFT Volume 33, Issue 2

Check for updates

Qualifiers

  • Research-article

Funding Sources

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 11 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2010)Research on Component Behavior Relativity AnalysisProceedings of the 2010 International Symposium on Computational Intelligence and Design - Volume 0210.1109/ISCID.2010.85(3-5)Online publication date: 29-Oct-2010

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media