A Coalgebraic Semantic Framework for Component-based Development in UML

Authors:
Sun Meng;Bernhard K. Aichernig;Luís S. Barbosa;Zhang Naixiao
Affiliations:
LMAM, School of Mathematical Science, Peking University, Beijing, China;International Institute for Software Technology, The United Nations University;Department of Informatics, Minho University, Braga, Portugal;LMAM, School of Mathematical Science, Peking University, Beijing, China
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2005

Citing 11
Cited 2

Object-oriented development in an industrial environment

OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Objects and classes, co-algebraically

Object orientation with parallelism and persistence
Component software: beyond object-oriented programming

Component software: beyond object-oriented programming
The Unified Modeling Language reference manual

The Unified Modeling Language reference manual
Universal coalgebra: a theory of systems

Theoretical Computer Science - Modern algebra and its applications
Specification and development of interactive systems: focus on streams, interfaces, and refinement

Specification and development of interactive systems: focus on streams, interfaces, and refinement
Inheritance and Cofree Constructions

ECCOP '96 Proceedings of the 10th European Conference on Object-Oriented Programming
Exercises in Coalgebraic Specification

Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Towards a Formal Operational Semantics of UML Statechart Diagrams

Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
On Semantics and Refinement of UML Statecharts: A Coalgebraic View

SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference
Data Refinement: Model-Oriented Proof Methods and their Comparison

Data Refinement: Model-Oriented Proof Methods and their Comparison

A refinement calculus for software components and architectures

Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Components as coalgebras: the refinement dimension

Theoretical Computer Science - Algebraic methodology and software technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper introduces a generic semantic framework for component-based development, expressed in the unified modelling language UML. The principles of a coalgebraic semantics for class, object and statechart diagrams as well as for use cases, are developed. It is also discussed how to formalize the refinement steps in the development process based upon a suitable notion of behavior refinement. In this way, a formal basis for component-based development in UML is studied, which allows the construction of more complex and specific systems from independent components.