nach oben

Erschienen in:

2003 | OriginalPaper | Buchkapitel

Past, Present, and Future of SRA Implementation of CafeOBJ

Annex

verfasst von : Toshimi Sawada, Kouichi Kishida, Kokichi Futatsugi

Erschienen in: FME 2003: Formal Methods

Verlag: Springer Berlin Heidelberg

Enthalten in: Professional Book Archive

Zugang erhalten

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

CafeOBJ is a formal language for specifying or defining models of real problems, and also for analyzing and/or verifying the properties of the models [1, 7, 8]. It is based on algebraic specification techniques and is a member of OBJ [6, 14, 19] language family.

Vorheriges Kapitel Looking Back to the Future

Nächstes Kapitel On Failures and Faults

Diaconescu, R., Futatsugi, K.: CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object?Oriented Algebraic Specification. AMAST Series in Computing, vol. 6, p. 174. World Scientific, Singapore (1998)CrossRef

Diaconescu, R., Futatsugi, K.: Logical Foundations of CafeOBJ. Theoretical Computer Science 285, 289–318 (2002)MathSciNetCrossRef

Diaconescu, R., Futatsugi, K.: Behavioural Coherence in Object- Oriented Algebraic Specification. Journal of Universal Computer Science 6(1), 74–96 (2000)MathSciNetMATH

Diaconescu, R., Futatsugi, K., Iida, S.: Component-based Algebraic Specification and Verification in CafeOBJ. In: Wing, J.M., Woodcock, J.C.P., Davies, J. (eds.) FM 1999. LNCS, vol. 1708, pp. 1644–1663. Springer, Heidelberg (1999)

Futatsugi, K.: Hierarchical Software Development in HISP. In: Kitagawa, T. (ed.) Computer Science and Technologies 1982. Japan Annual Review in Electronics, Computers and Telecommunications Series, pp. 151–174. OHMSHA/North-Holland (1982)

Futatsugi, K.: An Overview of OBJ2. In: Fuchi, K., Nivat, M. (eds.) Proc. of Franco-Japanese Symp. on Programming of Future Generation Computers, published as Programming of Future Generation Computers, Tokyo, October 1986, pp. 139–160. North-Holland, Amsterdam (1988)

Futatsugi, K.: Trends in Formal Specification Methods based on Algebraic Specification Techniques – from Abstract Data Types to Software Processes: A Personal Perspective –. In: Proceedings of the International Conference of Information Technology to Commemorating the 30th Anniversary of the Information Processing Society of Japan (InfoJapan 1990), October 1990, pp. 59–66 (1990)

Futatsugi, K.: Formal Methods in CafeOBJ. In: Hu, Z., Rodríguez-Artalejo, M. (eds.) FLOPS 2002. LNCS, vol. 2441, pp. 1–20. Springer, Heidelberg (2002)CrossRef

Futatsugi, K., Okada, K.: Specification Writing as Construction of hierarchically Structured Clusters of Operators. In: Proc. of IFIP Congress 1980, Tokyo, October 1980, pp. 287–292 (1980)

10.

Futatsugi, K., Okada, K.: A Hierarchical Structuring Method for Functional Software Systems. In: Proc. of the 6th ICSE, pp. 393–402 (1982)

11.

Futatsugi, K., Nakagawa, A.: An Overview of CAFE Specification Environment – an algebraic approach for creating,verifying, and maintaining formal specifications over networks. In: Proc. Pst Intl. Conf. on Formal Engineering Methods, pp. 170–181. IEEE, Los Alamitos (1997)

12.

Futatsugi, K., Goguen, J., Meseguer, J. (eds.): OBJ/CafeOBJ/Maude at Formal Methods 1999, The Theta Foundation, Bucharest, Romania, 241 pages (1999) ISBN 973-99097-1-X

13.

Futatsugi, K., Nakagawa, A., Tamai, T. (eds.): CAFE: An Industiral-Strength Algebraic Formal Method, xiv+194 pages. Elsevier, Amsterdam (2000)

14.

Futatsugi, K., Goguen, J.A., Jouannaud, J.-P., Meseguer, J.: Principles of OBJ2. In: Proceedings of the 12th ACM Symposium on Principles of Programming Languages, pp. 52–66. ACM, New York (1985)

15.

Futatsugi, K., Goguen, J.A., Meseguer, J., Okada, K.: Parameterized Programming in OBJ2. In: Proc. of the 9th ICSE, pp. 51–60. IEEE, Los Alamitos (1987)

16.

Goguen, J.A., Meseguer, J.: Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations. Theoretical Computer Science 105(2), 217–273 (1992)MathSciNetCrossRef

17.

Goguen, J., Malcolm, G.: A hidden agenda. Theoretical Computer Science 245(1), 55–101 (2000)MathSciNetCrossRef

18.

Goguen, J.A., Lin, K., Rosu, G.: Circular Coinductive Rewriting. In: Proceedings, Automated Software Enginnering 2000, pp. 123–131. IEEE, Los Alamitos (2000)

19.

Goguen, J., Winkler, T., Meseguer, J., Futatsugi, K., Jouannaud, J.P.: Introducing OBJ. In: Goguen, J., Malcolm, G. (eds.) Software Engineering with OBJ, pp. 3–167. Kluwer Academic Publishers, Dordrecht (2000)CrossRef

20.

Matsumoto, M., Futatsugi, K.: Highly Reliable Component-Based Software Development by using Algebraic Behavioral Specification. In: Proceedings of ICFEM 2000, pp. 35–43. IEEE CS Press, Los Alamitos (2000)

21.

McCune, W.: Otter 3.0 Reference Manual and Guide, http://www-unix.mcs.anl.gov/AR/otter/

22.

Meseguer, J.: A logical theory of cuncurrent objects. In: ECOOP-OOPSLA 1990 Conference on Object-Oriented Programming, pp. 101–115. ACM, New York (1990)

23.

Meseguer, J.: Conditional rewriting logic as a unified model of cuncurrency. Theoretical Computer Science 96, 73–155 (1992)MathSciNetCrossRef

24.

Mori, A., Futatsugi, K.: Verifying Behavioural Specifications in CafeOBJ Environment. In: Woodcock, J.C.P., Davies, J., Wing, J.M. (eds.) FM 1999. LNCS, vol. 1709, pp. 1625–1643. Springer, Heidelberg (1999)CrossRef

25.

Mori, A., Futatsugi, K.: CafeOBJ as a tool for behavioral system specification. In: Proc. of Symposium on Software Security 2002. LNCS. Springer, Heidelberg (2002)

26.

Mori, A., Sawada, T., Futatsugi, K., Seo, A., Ishiguro, M.: Software Component Search based on Behavioral Specification. In: Proc. of International Symposium on Future Software Technology, ISFST 2001 (November 2001)

27.

Ogata, K., Futatsugi, K.: Flaw and modification of the iKP electronic payment protocols. Information Processing Letters (2002)

28.

Ogata, K., Futatsugi, K.: Formal analysis of the iKP electric payment protocols. In: Proc. of Symposium on Software Security 2002. LNCS. Springer, Heidelberg (2002)

29.

Smolka, G., Nutt, W., Goguen, J., Meseguer, J.: Order-Sorted Equational Computation. In: Aït-Kaci, H., Nivat, M. (eds.) Resolution of Equations in Algebraic Structures. Rewriting Techniques, vol. 2, pp. 297–368. Academic Press, Inc., London (1989)

30.

Srinivas, Y.V., Jülling, R.: SPECWARE: Formal Support for Composing Software. Tech. Reprot KES.U.94.5, Kestrel Institute (1994)

Titel: Past, Present, and Future of SRA Implementation of CafeOBJ
verfasst von: Toshimi Sawada
Kouichi Kishida
Kokichi Futatsugi
Verlag: Springer Berlin Heidelberg
Buch: FME 2003: Formal Methods
Print ISBN: 978-3-540-40828-4

Electronic ISBN: 978-3-540-45236-2

Copyright-Jahr: 2003
DOI: https://doi.org/10.1007/978-3-540-45236-2_2

Springer Professional

Abstract