Article

System level modeling of component based software systems

Authors:

Aleksandar Dimov,

Sylvia IlievaAuthors Info & Claims

CompSysTech '04: Proceedings of the 5th international conference on Computer systems and technologies

Pages 1 - 6

https://doi.org/10.1145/1050330.1050351

Published: 17 June 2004 Publication History

Abstract

One of the main problems in the area of Component-Based Software Engineering (CBSE) is how to facilitate the integration of software components into large-scale and complex systems. A possible solution is to enforce on software architecture of the system. The increased importance of architecture in CBSE raises the necessity to explore and develop methods for its formal description. Several languages and notations, named architecture description languages (ADL), were developed for formal system level specification. This paper overviews them and outlines the main directions for their evolution.

References

[1]

Allen, R. and D. Garlan: A formal basis for architectural connection; In ACM Transactions on Software Engineering and Methodology, 1997.

Digital Library

[2]

Brown, A.: Large-Scale Component-Based Development; Prentice Hall Inc. 2000.

Digital Library

[3]

Crnkovic, I. and M. Larsson (Editors): Building Reliable Component Based Systems, ©2002, Artech House, Inc.

Digital Library

[4]

Dimov, A. and S. Ilieva: Towards the distinction and classification of software component wrappers and connectors; In proceedings of SAER 2004, Bulgaria (to appear).

[5]

Dean, J. and M. Vigder: System Implementation using Commercial-Off-The-Shelf (COTS) Software; 1997.

[6]

Dashofy, E., A. Hoek, R. Taylor: A highly exstensible, XML-Based Architecture Description Language; in Proceedings of the Working IEEE/IFIP Conference on Software Architectures, Netherlands, 2001, pp. 103--113.

Digital Library

[7]

Garlan, D., R. Monroe, D. Wile: Acme: Architectural Description of Component-Based Systems; Foundations of Component-Based Systems; Gray T. Leavens and Murali Sitaraman (eds); Cambridge University Press, 2000, pp. 47--68.

Digital Library

[8]

Garlan, D. and Mary Shaw: An introduction to Software Architecture, CMU SEI Technical Report, 1994.

Digital Library

[9]

Garlan, D. and Mary Shaw: Formulations and Formalisms in Software Architecture; Lecture Notes in Computer Science; Springer-Verlag 1996, pp. 307--323.

[10]

Harold, E.: XML Bible, John Wiley & Sons; 2001

Digital Library

[11]

Hoare, C.: Communicating Sequential Processes; Prentice Hall, 1985.

Digital Library

[12]

Luckham, D., et all; Specification and Analysis of System Architecture Using Rapide. IEEE Transactions on Software Engineering, 1995, vol. 21, No. 4, pp. 336--355.

Digital Library

[13]

J. Magee, N. Dulay, S. Eisenbach, and J. Kramer; Specifying Distributed Software Architectures; In Proceedings of the Fifth European Software Engineering Conference Barcelona, 1995, pp. 137--153.

Digital Library

[14]

Mehta, N., and N. Medvidovic: Composing Architectural Styles From Architectural Primitives; In Proceedings of the 11th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC-FSE'03), Finland, 2003, pp 347--350.

Digital Library

[15]

Medvidovic, N., P. Oreizy, and R. Taylor: Reuse of Off-the-Shelf Components in C2-Style Architectures; In Proceedings of the 19th international conference on Software engineering, Boston, 1997, pp. 692--700.

Digital Library

[16]

Medvidovic, N. and R. Taylor: A classification and comparison framework for Software Architecture Description Languages; IEEE Transactions on Software Engineering, Vol. 26, No. 1, 2000, pp.70--93.

Digital Library

[17]

N. Medvidovic, R. Taylor, and E. Whitehead, Jr. Formal Modeling of Software Architectures at Multiple Levels of Abstraction. In Proceedings of the California Software Symposium 1996, Los Angeles, CA, April 1996, pp. 28--40.

[18]

Parrow, J.: An Introduction to π-calculus; In Handbook of Process Algebra, available at http://user.it.uu.se/~joachim/intro.ps.

[19]

Shaw, M.: Procedure calls are the assembly language of system interconnection: Connectors deserve first-class status, In: Proceedings of the Workshop on Studies of Software Design, LNCS, Springer-Verlag, 1993, pp. 17--32.

Digital Library

[20]

J. M. Spivey, The Z notation: a reference manual. Prentice Hall, New York, 1989.

Digital Library

Cited By

Altunel YZaim A(2014)Implementation of Variants in Component Based Software ProductionNew Trends in Networking, Computing, E-learning, Systems Sciences, and Engineering10.1007/978-3-319-06764-3_62(485-492)Online publication date: 8-Nov-2014
https://doi.org/10.1007/978-3-319-06764-3_62
Altunel YZaim A(2012)How Variability Helps to Make Components More Flexible and ReusableInnovations and Advances in Computer, Information, Systems Sciences, and Engineering10.1007/978-1-4614-3535-8_92(1115-1128)Online publication date: 28-Aug-2012
https://doi.org/10.1007/978-1-4614-3535-8_92
Dimov AIlieva SVatchkov PZhechev B(2007)Reliability models in architecture description languagesProceedings of the 2007 international conference on Computer systems and technologies10.1145/1330598.1330619(1-6)Online publication date: 14-Jun-2007
https://dl.acm.org/doi/10.1145/1330598.1330619

System level modeling of component based software systems
1. Software and its engineering
  1. Software organization and properties
    1. Software system structures

Recommendations

Component-based software engineering: technologies, development frameworks, and quality assurance schemes
APSEC '00: Proceedings of the Seventh Asia-Pacific Software Engineering Conference

Component-based software development approach is based on the idea to develop software systems by selecting appropriate off-the-shelf components and then to assemble them with a well-defined software architecture. Because the new software development ...
A three-level component model in component based software development
GPCE '12

Component-based development promotes a software development process that focuses on component reuse. How to describe a desired component before searching in the repository? How to find an existing component that fulfills the required functionalities? ...
A three-level component model in component based software development
GPCE '12: Proceedings of the 11th International Conference on Generative Programming and Component Engineering

Component-based development promotes a software development process that focuses on component reuse. How to describe a desired component before searching in the repository? How to find an existing component that fulfills the required functionalities? ...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

CompSysTech '04: Proceedings of the 5th international conference on Computer systems and technologies

June 2004

661 pages

ISBN:9549641384

DOI:10.1145/1050330

Conference Chair:
Kiril Boyanov
Bulgaria

Copyright © 2004 ACM.

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: 17 June 2004

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 241 of 492 submissions, 49%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 25 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Altunel YZaim A(2014)Implementation of Variants in Component Based Software ProductionNew Trends in Networking, Computing, E-learning, Systems Sciences, and Engineering10.1007/978-3-319-06764-3_62(485-492)Online publication date: 8-Nov-2014
https://doi.org/10.1007/978-3-319-06764-3_62
Altunel YZaim A(2012)How Variability Helps to Make Components More Flexible and ReusableInnovations and Advances in Computer, Information, Systems Sciences, and Engineering10.1007/978-1-4614-3535-8_92(1115-1128)Online publication date: 28-Aug-2012
https://doi.org/10.1007/978-1-4614-3535-8_92
Dimov AIlieva SVatchkov PZhechev B(2007)Reliability models in architecture description languagesProceedings of the 2007 international conference on Computer systems and technologies10.1145/1330598.1330619(1-6)Online publication date: 14-Jun-2007
https://dl.acm.org/doi/10.1145/1330598.1330619

View Options

View options

Figures

Tables

Media

View Table of Conten