Towards a Rigorous Approach to UML-Based Development

Authors:
Zhiming Liu;Jifeng He;Xiaoshan Li
Affiliations:
International Institute for Software Technology, The United Nations University, Macao SAR, China;International Institute for Software Technology, The United Nations University, Macao SAR, China;Faculty of Science and Technology, University of Macau, Macao SAR, China
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2005

Citing 22
Cited 1

Predicate calculus and program semantics

Predicate calculus and program semantics
Using Z: specification, refinement, and proof

Using Z: specification, refinement, and proof
Objects, components, and frameworks with UML: the catalysis approach

Objects, components, and frameworks with UML: the catalysis approach
The unified software development process

The unified software development process
A methodology for specifying and analyzing consistency of object-oriented behavioral models

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
The Rational Unified Process: An Introduction, Second Edition

The Rational Unified Process: An Introduction, Second Edition
Software Development: A Rigorous Approach

Software Development: A Rigorous Approach
Executable UML: A Foundation for Model-Driven Architectures

Executable UML: A Foundation for Model-Driven Architectures
Using UML: Software Engineering with Objects and Rules

Using UML: Software Engineering with Objects and Rules
Towards a Rigorous Semantics of UML Supporting Its Multiview Approach

FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Formal and Use-Case Driven Requirement Analysis in UML

COMPSAC '01 Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development
Using Transition Systems to Unify UML Models

ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
The UML as a Formal Modeling Notation

«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
Object-oriented programming and software development: a critical assessment

Programming methodology
Scalable Consistency Checking Between Diagrams-The ViewIntegra Approach

Proceedings of the 16th IEEE international conference on Automated software engineering
A Formal Semantics of UML Sequence Diagram

ASWEC '04 Proceedings of the 2004 Australian Software Engineering Conference
Linking UML Models of Design and Requirement

ASWEC '04 Proceedings of the 2004 Australian Software Engineering Conference
Consistent Code Generation from UML Models

ASWEC '05 Proceedings of the 2005 Australian conference on Software Engineering
Unifying Views of UML

Electronic Notes in Theoretical Computer Science (ENTCS)
A predicative semantic model for integrating UML models

ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Generating a prototype from a UML model of system requirements

ICDCIT'04 Proceedings of the First international conference on Distributed Computing and Internet Technology
Checking the consistency of UML class diagrams using larch prover

ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods

BAS: A Case Study for Modeling and Verification in Trustable Model Driven Development

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

We discuss the promises and problems of UML-based development. We then suggest a framework in which UML can be used precisely and more disciplined so as to solve the problems and meet the promises better.