Article

Free access

An object-oriented modeling method for algebraic specifications in CafeOBJ

Authors:

Shin Nakajima,

Kokichi FutatsugiAuthors Info & Claims

ICSE '97: Proceedings of the 19th international conference on Software engineering

Pages 34 - 44

https://doi.org/10.1145/253228.253238

Published: 01 May 1997 Publication History

PDF eReader

References

[1]

Alencar, A. and Goguen, J. : OOZE: An Object Oriented Z Environment, Proc. ECOOP'91, pp.180-199 (1991).

Digital Library

Google Scholar

[2]

Booch, G. : Object-Oriented Analysis and Design with Applications, Prentice HaII 1993.

Digital Library

Google Scholar

[3]

Booch, G., Rumbaugh, J. and Hopkins, J. : The Evolution of Object Methods, Handout, Rational Software Corporation, 1995.

Google Scholar

[4]

Carrington, D. et aI : Object-Z : An Object-Oriented Extension to Z, Proc. FOBTE'89, pp.281-296 (1990).

Digital Library

Google Scholar

[5]

Carroll, J.M. (ed.) : Scenario-Eased Design, John Wiley & Sons 1995.

Google Scholar

[6]

Coleman, D. et aI : Object-Oriented Development : The Fusion Approach, Prentice-Hall 1994.

Digital Library

Google Scholar

[7]

Cook, W. : Object-Oriented Programming Versus Abstract Data Types, in Foundations of Object-Oriented Languages, LNCS 489, pp.151-178 (1991).

Digital Library

Google Scholar

[8]

Diaconescu, R. : Foundations of Behavioural Specification in Rewriting Logic, Proc. 1st Int. Workshop of Rewriting Logic and its Applications (1996).

Crossref

Google Scholar

[9]

Diaconescu, R. and Futatsugi, K. : Logical Semantics for CafeOBJ, JAIST Research Report IS-RR-96 22s (1996).

Google Scholar

[10]

Futatsugi, K., Goguen, J., Jouannaud, J-P., and Meseguer, J. : Principles of OBJ2, Proc. 12th POPL, pp.52-66 (1985).

Digital Library

Google Scholar

[11]

Futatsugi,K. : Trends in Formal Specification Methods based on Algebraic Specification Techniques - from Abstract Data Types to Software Processes: A Personal Perspective -, Proc. Info Japan '90, pp.59-66, (1990).

Google Scholar

[12]

Futatsugi, K. and Sawada, T. : Design Consideration for CAFE Specification Environment, Proc. The 10th Anniversary of OBJ2 (1995).

Google Scholar

[13]

Goguen, J. and Meseguer, J. : Unifying Functional, Object-Oriented and Relational Programming in Logical Semantics, in Research Directions in Object- Oriented Programming (Shriver and Wegner ed), pp.417-477, MIT Press 1987.

Crossref

Google Scholar

[14]

Goguen, J., Winkler, T., Meseguer, J., Futatsugi, K., and Jouannaud, J-P.: Introducing OBJ, SRI-CSL-92-03 (1992).

Google Scholar

[15]

Goguen, J. and Malcolm, G. : A hidden agenda (draft), UCSD (1996).

Google Scholar

[16]

Guttag, J. and Horning, J. : Larch: Languages and Tools for Formal Specification, Springer-Verlag 1993.

Digital Library

Google Scholar

[17]

Jacobson, I. et al : Object-Oriented Software Engineering, Addison-Wesley 1992.

Crossref

Google Scholar

[18]

Jensen, K. : Coloured Petri Nets 1, Springer-Verlag 1992.

Google Scholar

[19]

Lano, K. and Haughton, H. (ed) : Object-Oriented Specification Case Studies, Prentice Hall 1994.

Digital Library

Google Scholar

[20]

Leavens, G. and Cheon, Y. : Preliminary Design of Larch/C++, Proc. 1st Workshop on Larch, pp.159-184 (1993).

Digital Library

Google Scholar

[21]

Meseguer, J. : A Logical Theory of Concurrent Objects and its Realization in the Maude Language, in Research Directions in Concurrent Object-Oriented Programming (Agha, Wegner and Yonezawa ed.), pp.314- 390, MIT Press 1993.

Digital Library

Google Scholar

[22]

Moreira, A. and Clark, R. : Combining Object-Oriented Analysis and Formal Description Techniques, Proc. ECOOP'94, pp.344-364 (1994).

Digital Library

Google Scholar

[23]

Nakajima, S. : Formalizing Object-Oriented Software with Algebraic Specification Techniques, in Understanding Object-Model Concepts, Bringham Young University, BYU-CS-93-12 (1993).

Google Scholar

[24]

Nakajima, S. and Futatsugi, K. : Constructing OBJ Specifications with Object-Oriented Design Methodology, Talk at 7th NEC Research Symposium (1996).

Google Scholar

[25]

Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., and Lorensen, W.: Object-Oriented Modeling and Design, Prentice-Hall 1991.

Digital Library

Google Scholar

[26]

Saiedian, H. (ed.) : An Invitation to Formal Methods, IEEE Computer, pp.16-30 (April 1996).

Digital Library

Google Scholar

[27]

Sawada, T. and Futatsugi, K. : CAFE as an Extensible Specification Environment, Proc. Kunming International CASE Symposium '94, pp.6A.1-6A.21 (1994).

Google Scholar

[28]

Sharble, R. and Cohen, S. : The Object-Oriented Brewery : A Comparison of Two Object-Oriented Development Methods, ACM SIGSOFT Soft. Engin. Notice 18 (2), pp.60-73 (1993).

Digital Library

Google Scholar

[29]

Spivey, J. : The 2 Notation (2ed edition), Prentice Hall 1992.

Google Scholar

[30]

Tamai, T. : How Modeling Methods Affect the Process of Architectural Design Decisions: A Comparative Study, Proc. IWSSD-8, pp.125-134 (1996).

Digital Library

Google Scholar

[31]

Wirfs-Brock, R., WiIkerson, B., and Wiener, L.: Designing Object-Oriented Software, Prentice-Hall 1990.

Digital Library

Google Scholar

[32]

Wirsing, M. : A Formal Approach to Object-Oriented Design, 1995.

Google Scholar

[33]

Yamasaki, T. : Surveys of Program Design Methods Using a Common Example Problem (in Japanese), Journal of IPS Japan, vol. 25, No. 9, p.934 (1984).

Google Scholar

[34]

Zave, P. and Jackson, M. : Conjunction as Composition, ACM Trans. Soft. Engin. Meth. 2(4), pp.379-411 (1993).

Digital Library

Google Scholar

[35]

CafeOBJ User's Manual (ver 1.0a) can be obtained from the URL of "http://ww.ipa.go.jp/STC/CafeP/index.html". The CafeOBJ system can also be obtained from the same URL.

Google Scholar

Cited By

View all

Kamburjan EHähnle R(2018)Prototyping Formal System Models with Active ObjectsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.279.7279(52-67)Online publication date: 4-Oct-2018
https://doi.org/10.4204/EPTCS.279.7
Nakajima S(2014)Everlasting Challenges with the OBJ Language FamilySpecification, Algebra, and Software10.1007/978-3-642-54624-2_24(478-493)Online publication date: 2014
https://doi.org/10.1007/978-3-642-54624-2_24
Hennicker RKlarl A(2014)Foundations for Ensemble Modeling – The Helena ApproachSpecification, Algebra, and Software10.1007/978-3-642-54624-2_18(359-381)Online publication date: 2014
https://doi.org/10.1007/978-3-642-54624-2_18
Show More Cited By

Index Terms

An object-oriented modeling method for algebraic specifications in CafeOBJ

Recommendations

From ASN.1 into CafeOBJ: Some First Steps
SEEFM '09: Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods

Abstract Syntax Notation One (ASN.1) is a very popular specification language with many applications in networking. We work towards the correct translation from ASN.1, into the powerful algebraic specification language CafeOBJ. Our aim is to create a ...
An overview of CAFE specification environment-an algebraic approach for creating, verifying, and maintaining formal specifications over networks
ICFEM '97: Proceedings of the 1st International Conference on Formal Engineering Methods

CAFE is the name of a network based environment now under development for supporting systematic creation, checking, verification, and maintenance of formal specifications. CAFE has an algebraic specification language called CafeOBJ as its main ...
Embedding domain-specific modelling languages in Maude specifications

We propose a formal approach for the definition and analysis of domain-specific modelling languages (dsml). The approach uses standard model-driven engineering artifacts for defining a language's syntax (using metamodels) and its operational semantics (...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ICSE '97: Proceedings of the 19th international conference on Software engineering

May 1997

713 pages

ISBN:0897919149

DOI:10.1145/253228

Chairman:
W. Richards Adrion
Univ. of Massachuetts, Amherst

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 May 1997

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ICSE97

Sponsor:

SIGSOFT
IEEE-CS\TCSE

ICSE97: 19th International Conference on Software Engineering

May 17 - 23, 1997

Massachusetts, Boston, USA

Acceptance Rates

Overall Acceptance Rate 276 of 1,856 submissions, 15%

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

18
Total Citations
View Citations
616
Total Downloads

Downloads (Last 12 months)54
Downloads (Last 6 weeks)3

Reflects downloads up to 02 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Kamburjan EHähnle R(2018)Prototyping Formal System Models with Active ObjectsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.279.7279(52-67)Online publication date: 4-Oct-2018
Nakajima S(2014)Everlasting Challenges with the OBJ Language FamilySpecification, Algebra, and Software10.1007/978-3-642-54624-2_24(478-493)Online publication date: 2014
Hennicker RKlarl A(2014)Foundations for Ensemble Modeling – The Helena ApproachSpecification, Algebra, and Software10.1007/978-3-642-54624-2_18(359-381)Online publication date: 2014
Meseguer J(2012)Twenty years of rewriting logicThe Journal of Logic and Algebraic Programming10.1016/j.jlap.2012.06.00381:7-8(721-781)Online publication date: Oct-2012
Meseguer JRoşu G(2011)The rewriting logic semantics projectProceedings of the 18th international conference on Fundamentals of computation theory10.5555/2034214.2034215(1-37)Online publication date: 22-Aug-2011
Clavel MDurán FEker SLincoln PMartí-Oliet NMeseguer JTalcott C(2007)All about maude - a high-performance logical frameworkundefinedOnline publication date: 1-Jan-2007
Nakajima STamai TBruschi DDe Win BMonga M(2006)Formal specification and analysis of JAAS frameworkProceedings of the 2006 international workshop on Software engineering for secure systems10.1145/1137627.1137637(59-64)Online publication date: 20-May-2006
Chrząszcz JJouannaud J(2006)From OBJ to ML to CoqAlgebra, Meaning, and Computation10.1007/11780274_12(216-234)Online publication date: 2006
Wirsing MKnapp A(2002)A formal approach to object-oriented software engineeringTheoretical Computer Science10.1016/S0304-3975(01)00367-X285:2(519-560)Online publication date: 28-Aug-2002
Martí-Oliet NMeseguer J(2002)Rewriting logicTheoretical Computer Science10.1016/S0304-3975(01)00357-7285:2(121-154)Online publication date: 28-Aug-2002
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.

Cited By

Index Terms

Recommendations

From ASN.1 into CafeOBJ: Some First Steps

An overview of CAFE specification environment-an algebraic approach for creating, verifying, and maintaining formal specifications over networks

Embedding domain-specific modelling languages in Maude specifications