article

Free access

A problem-oriented analysis of basic UML static requirements modeling concepts

Author:

Robert FranceAuthors Info & Claims

ACM SIGPLAN Notices, Volume 34, Issue 10

Pages 57 - 69

https://doi.org/10.1145/320385.320390

Published: 01 October 1999 Publication History

PDF eReader

Abstract

The Unified Modeling Language (UML) is a standard modeling language in which some of the best object-oriented (OO) modeling experiences are embedded. In this paper we illustrate the role formal specification techniques can play in developing a precise semantics for the UML. We present a precise characterization of requirements-level (problem-oriented) Class Diagrams and outline how the characterization can be used to semantically analyze requirements Class Diagrams.

References

[1]

A. S. Evans. Reasoning with UML class diagrams. In Workshop on Industrial Strength Formal Techniques (WIFT'98). IEEE Press, 1988.

Digital Library

Google Scholar

[2]

F.Civello. Roles for composite objects in objectoriented analysis and design, in Proceedings of OOPSLA '93, 1993.

Digital Library

Google Scholar

[3]

R. France, E. Grant, and J-M. Bruel. FUZed: An UML-based rigorous object-oriented analysis technique. CSU technical report, Colorado State University, Fort Collins, Colorado, USA, February 1999.

Google Scholar

[4]

Robert B. France, Jean-Michel Bruel, Maria M. Larrondo-Petrie, and Emanuel Grant. Rigorous object-oriented modeling: Integrating formal and informal notations. In Proceedings of the 6th International AMAST Conference, 1997.

Digital Library

Google Scholar

[5]

Robert B. France, Jean-Michel Bruel, and Gopal Raghavan. Towards rigorous analysis of fusion models: The mirg experience, In Proceedings of the 2nd Northern Formal Methods Workshop, Springer- Verlag, 1997.

Digital Library

Google Scholar

[6]

J. Anthony Hall. Using Z as a specification calculus for object-oriented systems. In D. Bjcrner, C. A. R. Hoare, and H. Langmaack, editors, VDM and Z- Formal Methods in Software Development, volume 428 of Lecture Notes in Computer Science, pages 290-318. VDM-Europe, Springer- Verlag, New York, 1990.

Digital Library

Google Scholar

[7]

J. Anthony Hall. Specifying and Interpreting Class Hierarchies in Z. In jonathan P. Bowen and J. Anthony Hall, editors, Z User Workshop, Cambridge 199~, Workshops in Computing, pages 120-138. Springer-Verlag, New York, 1994.

Google Scholar

[8]

H. Kilov and J. Ross. Information Modeling: An Object-Oriented Approach. Object-Oriented Series. Prentice Hall, 1994.

Digital Library

Google Scholar

[9]

R. B. France M. Saksena and M. M. Larrondo- Petrie. A characterization of aggregation. In 5th. International Conference on Object Oriented Information Systems. Springer, 1998.

Google Scholar

[10]

The Object Management Group (OMG). Unified Modeling Language. Version 1.3, OMG, http://www.omg.org, June 1999.

Google Scholar

[11]

J. Michael Spivey. The Z Notation: A Reference Manual. Prentice Hall, Englewood Cliffs, N J, Second edition, 1992.

Digital Library

Google Scholar

Cited By

View all

Badreddin OForward ALethbridge T(2014)Improving Code Generation for Associations: Enforcing Multiplicity Constraints and Ensuring Referential IntegritySoftware Engineering Research, Management and Applications10.1007/978-3-319-00948-3_9(129-149)Online publication date: 2014
https://doi.org/10.1007/978-3-319-00948-3_9
Shen YXing LPeng Y(2007)Study and Application of Web-based Data Mining in E-BusinessProceedings of the Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing - Volume 0110.1109/SNPD.2007.508(812-816)Online publication date: 30-Jul-2007
https://dl.acm.org/doi/10.1109/SNPD.2007.508
Ahrendt WBaar TBeckert BBubel RGiese MHähnle RMenzel WMostowski WRoth ASchlager SSchmitt P(2005)The KeY toolSoftware and Systems Modeling (SoSyM)10.1007/s10270-004-0058-x4:1(32-54)Online publication date: 1-Feb-2005
https://dl.acm.org/doi/10.1007/s10270-004-0058-x
Show More Cited By

Index Terms

A problem-oriented analysis of basic UML static requirements modeling concepts
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Requirements analysis
  2. Software notations and tools
    1. Formal language definitions
      1. Semantics
    2. General programming languages
      1. Language types
2. Theory of computation
  1. Semantics and reasoning
    1. Program semantics

Recommendations

A problem-oriented analysis of basic UML static requirements modeling concepts
OOPSLA '99: Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

The Unified Modeling Language (UML) is a standard modeling language in which some of the best object-oriented (OO) modeling experiences are embedded. In this paper we illustrate the role formal specification techniques can play in developing a precise ...
Formalizing the Semantics of UML Statecharts with Z*
CIT '04: Proceedings of the The Fourth International Conference on Computer and Information Technology

UML is a semi-formal laguage, with a precisely defined syntax and static semantics but with an only informally specified dynamic semantics. UML statechart diagrams are a notation for describing behaviors in the framework of UML. UML statechart diagrams ...
Domain-specific language modelling with UML profiles by decoupling abstract and concrete syntaxes

UML profiling presents some acknowledged deficiencies, among which the lack of expressiveness of the profiled notations, together with the high coupling between abstract and concrete syntaxes outstand. These deficiencies may cause distress among UML-...

Comments

Information & Contributors

Information

Published In

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: 01 October 1999

Published in SIGPLAN Volume 34, Issue 10

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

23
Total Citations
View Citations
3,786
Total Downloads

Downloads (Last 12 months)58
Downloads (Last 6 weeks)16

Reflects downloads up to 16 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Badreddin OForward ALethbridge T(2014)Improving Code Generation for Associations: Enforcing Multiplicity Constraints and Ensuring Referential IntegritySoftware Engineering Research, Management and Applications10.1007/978-3-319-00948-3_9(129-149)Online publication date: 2014
https://doi.org/10.1007/978-3-319-00948-3_9
Shen YXing LPeng Y(2007)Study and Application of Web-based Data Mining in E-BusinessProceedings of the Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing - Volume 0110.1109/SNPD.2007.508(812-816)Online publication date: 30-Jul-2007
https://dl.acm.org/doi/10.1109/SNPD.2007.508
Ahrendt WBaar TBeckert BBubel RGiese MHähnle RMenzel WMostowski WRoth ASchlager SSchmitt P(2005)The KeY toolSoftware and Systems Modeling (SoSyM)10.1007/s10270-004-0058-x4:1(32-54)Online publication date: 1-Feb-2005
https://dl.acm.org/doi/10.1007/s10270-004-0058-x
Whittle J(2002)Transformations and Software Modeling Languages: Automating Transformations in UML≪UML≫ 2002 — The Unified Modeling Language10.1007/3-540-45800-X_19(227-242)Online publication date: 20-Sep-2002
https://doi.org/10.1007/3-540-45800-X_19
Álvarez AAlemán J(2000)Formally Modeling UML and its Evolution: A Holistic ApproachFormal Methods for Open Object-Based Distributed Systems IV10.1007/978-0-387-35520-7_9(183-206)Online publication date: 2000
https://doi.org/10.1007/978-0-387-35520-7_9
Dasso AFunes A(2019)The What, How, and When of Formal MethodsAdvanced Methodologies and Technologies in Network Architecture, Mobile Computing, and Data Analytics10.4018/978-1-5225-7598-6.ch118(1600-1614)Online publication date: 2019
https://doi.org/10.4018/978-1-5225-7598-6.ch118
Dasso AFunes A(2018)The What, How, and When of Formal MethodsEncyclopedia of Information Science and Technology, Fourth Edition10.4018/978-1-5225-2255-3.ch662(7609-7621)Online publication date: 2018
https://doi.org/10.4018/978-1-5225-2255-3.ch662
Funes ADasso A(2014)Formal Methods OverviewEncyclopedia of Information Science and Technology, Third Edition10.4018/978-1-4666-5888-2.ch704(7152-7161)Online publication date: 31-Jul-2014
https://doi.org/10.4018/978-1-4666-5888-2.ch704
Dasso AFunes A(2009)Formalization Process in Software DevelopmentEncyclopedia of Information Science and Technology, Second Edition10.4018/978-1-60566-026-4.ch247(1559-1565)Online publication date: 2009
https://doi.org/10.4018/978-1-60566-026-4.ch247
Lee HChoi E(2009)Comparison of Test Case Effectiveness Based on Dynamic Diagrams Using Mutation TestingThe KIPS Transactions:PartD10.3745/KIPSTD.2009.16-D.4.51716D:4(517-526)Online publication date: 31-Aug-2009
https://doi.org/10.3745/KIPSTD.2009.16-D.4.517
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Index Terms

Recommendations