article

Free access

Graphical specification of object oriented systems

Authors:

Stephen Bear,

Phillip Allen,

Derek Coleman,

Fiona HayesAuthors Info & Claims

ACM SIGPLAN Notices, Volume 25, Issue 10

Pages 28 - 37

https://doi.org/10.1145/97946.97950

Published: 01 September 1990 Publication History

PDF eReader

Abstract

The graphical notation Objectcharts, introduced in this paper, allows a developer to precisely specify the behaviour of object classes and to reason about the behaviour of particular configurations of objects.

Objectcharts combine object oriented analysis and design techniques and Harel's statecharts to give a diagrammatic specification technique for object oriented systems.

References

[1]

Jones C.B. Systematic Software Development Using VDM. Prentice-Hall, 1986.

Digital Library

Google Scholar

[2]

ttarel D. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231-274, 1987.

Digital Library

Google Scholar

[3]

Harel D., Pnueli A., Pruzan-Schmidt J., and Sherman R. On the formal semantics of statecharts. In Proceedings of the Second IEEE Symposium on Logic in Computer Science, pages 54-64, 1987.

Google Scholar

[4]

Jackson D. Composing data and process descriptions in the design of software systems. Master's thesis, MIT, 1988.

Google Scholar

[5]

Mellor S.J. and Shlaer S. Object Oriented Systems Analysis: Modelling the world in data. Prentice-Hall, 1988.

Digital Library

Google Scholar

Cited By

View all

Wieringa R(1998)A survey of structured and object-oriented software specification methods and techniquesACM Computing Surveys (CSUR)10.1145/299917.29991930:4(459-527)Online publication date: 1-Dec-1998
https://dl.acm.org/doi/10.1145/299917.299919
Mohanty HAcharya SShyamasundar RGhosh R(2003)Mobichart for modeling mobile computing tasksTENCON 2003. Conference on Convergent Technologies for Asia-Pacific Region10.1109/TENCON.2003.1273313(193-197)Online publication date: 2003
https://doi.org/10.1109/TENCON.2003.1273313
Acharya SMohanty HShyamasundar R(2003)MOBICHARTS: a notation to specify mobile computing applications36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the10.1109/HICSS.2003.1174844(11 pp.)Online publication date: 2003
https://doi.org/10.1109/HICSS.2003.1174844
Show More Cited By

Index Terms

Graphical specification of object oriented systems
1. Software and its engineering
  1. Software creation and management

Recommendations

Graphical specification of object oriented systems
OOPSLA/ECOOP '90: Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications

The graphical notation Objectcharts, introduced in this paper, allows a developer to precisely specify the behaviour of object classes and to reason about the behaviour of particular configurations of objects.

Objectcharts combine object oriented ...
A formal rule-based approach for the consistency and completeness of a graphical representation of object-oriented designs
Formal Specification of Object-Oriented Meta-modelling
FASE '00: Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000

Modelling languages such as the Unified Modeling Language are used during the early phases of system development to capture requirements and to express high-level designs. Many such languages have no universally fixed interpretations since different ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM SIGPLAN Notices Volume 25, Issue 10

Oct. 1990

320 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/97946

Editor:
Norman Meyrowitz

Issue’s Table of Contents

OOPSLA/ECOOP '90: Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
September 1990
336 pages
ISBN:0897914112
DOI:10.1145/97945
Chairman:
Akinori Yonezawa
Univ. of Tokyo, Tokyo, Japan

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 September 1990

Published in SIGPLAN Volume 25, Issue 10

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

12
Total Citations
View Citations
412
Total Downloads

Downloads (Last 12 months)52
Downloads (Last 6 weeks)17

Reflects downloads up to 21 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Wieringa R(1998)A survey of structured and object-oriented software specification methods and techniquesACM Computing Surveys (CSUR)10.1145/299917.29991930:4(459-527)Online publication date: 1-Dec-1998
https://dl.acm.org/doi/10.1145/299917.299919
Mohanty HAcharya SShyamasundar RGhosh R(2003)Mobichart for modeling mobile computing tasksTENCON 2003. Conference on Convergent Technologies for Asia-Pacific Region10.1109/TENCON.2003.1273313(193-197)Online publication date: 2003
https://doi.org/10.1109/TENCON.2003.1273313
Acharya SMohanty HShyamasundar R(2003)MOBICHARTS: a notation to specify mobile computing applications36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the10.1109/HICSS.2003.1174844(11 pp.)Online publication date: 2003
https://doi.org/10.1109/HICSS.2003.1174844
Ramaswamy S(2000)A Petri net based approach for establishing necessary software design and testing requirementsSMC 2000 Conference Proceedings. 2000 IEEE International Conference on Systems, Man and Cybernetics. 'Cybernetics Evolving to Systems, Humans, Organizations, and their Complex Interactions' (Cat. No.00CH37166)10.1109/ICSMC.2000.884472(3087-3092)Online publication date: 2000
https://doi.org/10.1109/ICSMC.2000.884472
Purao SJain HNazareth D(1996)Derivation of traffic volumes for effective distribution of object-oriented applicationsProceedings of HICSS-29: 29th Hawaii International Conference on System Sciences10.1109/HICSS.1996.495319(119-128 vol.4)Online publication date: 1996
https://doi.org/10.1109/HICSS.1996.495319
Eckert GGolder P(1994)Improving object-oriented analysisInformation and Software Technology10.1016/0950-5849(94)90087-636:2(67-86)Online publication date: Jan-1994
https://doi.org/10.1016/0950-5849(94)90087-6
Briggs TWerth J(1994)A specification language for object-oriented analysis and designObject-Oriented Programming10.1007/BFb0052192(365-385)Online publication date: 1994
https://doi.org/10.1007/BFb0052192
Clyde SEmbley DWoodfield S(1992)Turnable formalism in object-oriented systems analysisACM SIGPLAN Notices10.1145/141937.14197227:10(452-465)Online publication date: 31-Oct-1992
https://dl.acm.org/doi/10.1145/141937.141972
Clyde SEmbley DWoodfield SPugh J(1992)Turnable formalism in object-oriented systems analysisConference proceedings on Object-oriented programming systems, languages, and applications10.1145/141936.141972(452-465)Online publication date: 31-Oct-1992
https://dl.acm.org/doi/10.1145/141936.141972
Shaw A(1992)Communicating Real-Time State MachinesIEEE Transactions on Software Engineering10.1109/32.15984018:9(805-816)Online publication date: 1-Sep-1992
https://dl.acm.org/doi/10.1109/32.159840
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

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