A strategy for component-based modeling and refinement

Jing Liu; Huaikou Miao

doi:10.1109/ICECCS.2005.14

A strategy for component-based modeling and refinement

Jing Liu
, Huaikou Miao

Shanghai University

Research output: Contribution to journal › Conference article › peer-review

Abstract

We present a formal model for component-based development system that provides precise mathematical definitions for concepts like component, connector, software architecture as well as interface, type and behavior. Based on these concepts, we develop a refinement approach that captures the essential nature and principles of component-based design.

Original language	English
Pages (from-to)	26-27
Number of pages	2
Journal	Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
DOIs	https://doi.org/10.1109/ICECCS.2005.14
State	Published - 2005
Externally published	Yes
Event	10th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2005 - Shanghai, China Duration: 16 Jun 2005 → 20 Jun 2005

Access to Document

10.1109/ICECCS.2005.14

Cite this

@article{3e0d1e60a93045679651b6bddba0a9b4,

title = "A strategy for component-based modeling and refinement",

abstract = "We present a formal model for component-based development system that provides precise mathematical definitions for concepts like component, connector, software architecture as well as interface, type and behavior. Based on these concepts, we develop a refinement approach that captures the essential nature and principles of component-based design.",

author = "Jing Liu and Huaikou Miao",

year = "2005",

doi = "10.1109/ICECCS.2005.14",

language = "英语",

pages = "26--27",

journal = "Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS",

issn = "2770-8527",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

note = "10th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2005 ; Conference date: 16-06-2005 Through 20-06-2005",

}

TY - JOUR

T1 - A strategy for component-based modeling and refinement

AU - Liu, Jing

AU - Miao, Huaikou

PY - 2005

Y1 - 2005

N2 - We present a formal model for component-based development system that provides precise mathematical definitions for concepts like component, connector, software architecture as well as interface, type and behavior. Based on these concepts, we develop a refinement approach that captures the essential nature and principles of component-based design.

AB - We present a formal model for component-based development system that provides precise mathematical definitions for concepts like component, connector, software architecture as well as interface, type and behavior. Based on these concepts, we develop a refinement approach that captures the essential nature and principles of component-based design.

UR - https://www.scopus.com/pages/publications/27144506020

U2 - 10.1109/ICECCS.2005.14

DO - 10.1109/ICECCS.2005.14

M3 - 会议文章

AN - SCOPUS:27144506020

SN - 2770-8527

SP - 26

EP - 27

JO - Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

JF - Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

T2 - 10th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2005

Y2 - 16 June 2005 through 20 June 2005

ER -

A strategy for component-based modeling and refinement

Abstract

Access to Document

Other files and links

Fingerprint

Cite this