A software component model and its preliminary formalisation

Authors:
Kung-Kiu Lau;Mario Ornaghi;Zheng Wang
Affiliations:
School of Computer Science, the University of Manchester, Manchester, United Kingdom;Dipartimento di Scienze dell'Informazione, Universita' degli studi di Milano, Milano, Italy;School of Computer Science, the University of Manchester, Manchester, United Kingdom
Venue:
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Year:
2005

Citing 17
Cited 15

Software architecture: perspectives on an emerging discipline

Software architecture: perspectives on an emerging discipline
Acme: architectural description of component-based systems

Foundations of component-based systems
Towards a taxonomy of software connectors

Proceedings of the 22nd international conference on Software engineering
Specification and development of interactive systems: focus on streams, interfaces, and refinement

Specification and development of interactive systems: focus on streams, interfaces, and refinement
Component-based software engineering: putting the pieces together

Component-based software engineering: putting the pieces together
Component-based product line engineering with UML

Component-based product line engineering with UML
Component Software: Beyond Object-Oriented Programming

Component Software: Beyond Object-Oriented Programming
Essential COM

Essential COM
The Koala Component Model for Consumer Electronics Software

Computer
The IWIM Model for Coordination of Concurrent Activities

COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
A Component Model for Field Devices

CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
The grand challenge of Trusted Components

Proceedings of the 25th International Conference on Software Engineering
SOFA/DCUP: Architecture for Component Trading and Dynamic Updating

CDS '98 Proceedings of the International Conference on Configurable Distributed Systems
High Integrity Software: The SPARK Approach to Safety and Security

High Integrity Software: The SPARK Approach to Safety and Security
Service-Oriented Architecture: Concepts, Technology, and Design

Service-Oriented Architecture: Concepts, Technology, and Design
A Taxonomy of Software Component Models

EUROMICRO '05 Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications
Exogenous connectors for software components

CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering

Software Component Models

IEEE Transactions on Software Engineering
Verified component-based software in SPARK: experimental results for a missile guidance system

Proceedings of the 2007 ACM international conference on SIGAda annual international conference
A semantic web environment for components

The Knowledge Engineering Review
Domain-Specific Software Component Models

CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
Control Encapsulation: A Calculus for Exogenous Composition of Software Components

CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
Data encapsulation in software components

CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
Towards composing software components in both design and deployment phases

CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
Composite connectors for composing software components

SC'07 Proceedings of the 6th international conference on Software composition
A catalogue of component connectors to support development with reuse

Journal of Systems and Software
A component model that is both control-driven and data-driven

Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
Deriving functional interface specifications for composite components

SC'11 Proceedings of the 10th international conference on Software composition
(Behavioural) design patterns as composition operators

CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
Systems-theoretic view of component-based software development

FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
Incremental construction of component-based systems

Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Controller patterns for component-based reactive control software systems

Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

A software component model should define what components are, and how they can be composed. That is, it should define a theory of components and their composition. Current software component models tend to use objects or port-connector type architectural units as components, with method calls and port-to-port connections as composition mechanisms. However, these models do not provide a proper composition theory, in particular for key underlying concepts such as encapsulation and compositionality. In this paper, we outline our notion of these concepts, and give a preliminary formalisation of a software component model that embodies these concepts.