The common framework initiative for algebraic specification and development of software: Recent progress

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2267 LNCS, Issue , 2002, Pages 328-343

  Sannella, Donald ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; FORMAL SPECIFICATION; INTERNATIONAL COOPERATION; SPECIFICATION LANGUAGES; COMPUTATIONAL LINGUISTICS; SPECIFICATIONS;

ALGEBRAIC SPECIFICATION LANGUAGES; ALGEBRAIC SPECIFICATIONS; EUROPEAN COMMISSION; FUNCTIONAL REQUIREMENT; INTERNATIONAL COLLABORATIONS; MODULAR SOFTWARE DESIGNS; RECENT PROGRESS; WORKING GROUPS;

SOFTWARE DESIGN;

EID: 33846055223     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45645-7_16     Document Type: Conference Paper

References (96)

1. D. Ancona, M. Cerioli and E. Zucca. Extending CASL by late binding. Recent Trends in Algebraic Development Techniques: Selected Papers from WADT'99, Bonas. Springer LNCS 1827, 53-72 (2000).
2. E. Astesiano, M. Bidoit, H. Kirchner, B. Krieg-Brückner, P. Mosses, D. Sannella and A. Tarlecki. CASL: The common algebraic specification language. Theoretical Computer Science (2002), to appear.
3. E. Astesiano, M. Broy and G. Reggio. Algebraic specification of concurrent systems. In E. Astesiano, H.-J. Kreowski and B. Krieg-Brückner (eds.), Algebraic Foundations of Systems Specifications, 467-520. Springer (1999).
4. E. Astesiano, M. Cerioli and G. Reggio. Plugging data constructs into paradigm-specific languages: towards an application to UML. Proceedings of AMAST 2000, Iowa City. Springer LNCS 1816, 273-292 (2000).
5. E. Astesiano, H.-J. Kreowski and B. Krieg-Brückner (eds.). Algebraic Foundations of Systems Specification. Springer (1999).
6. E. Astesiano and G. Reggio. UML as heterogeneous multiview notation: Strategies for a formal foundation. Proc. of OOPSLA'98 Workshop "Formalizing UML. Why? How?" (1998).
7. S. Autexier, D. Hutter, H. Mantel and A. Schairer. Towards an evolutionary formal software-development using CASL. Recent Trends in Algebraic Development Techniques: Selected Papers from WADT'99, Bonas. Springer LNCS 1827, 73-88 (2000).
8. H. Baumeister. Relating abstract datatypes and Z-schemata. Recent Trends in Algebraic Development Techniques: Selected Papers from WADT'99, Bonas. Springer LNCS 1827, 366-382 (2000).
9. H. Baumeister. CASL case studies. http://www.informatik.uni-muenchen.de/ ~baumeist/CoFI/case.html (2001).
10. H. Baumeister and D. Bert. Algebraic specification in CASL. Software Specification Methods: An Overview Using a Case Study, FACIT: Formal Approaches to Computing and Information Technology. Springer (2000).
11. H. Baumeister, M. Cerioli, A. Haxthausen, T. Mossakowski, P. Mosses, D. Sannella and A. Tarlecki. CASL: The common algebraic specification language. semantics. Version 1.0, to be completed (2001).
12. H. Baumeister and A. Zamulin. State-based extension of CASL. Proc. IFM 2000 (2000).
13. D. Bert and S. Lo Presti. Algebraic specification of operator-based multimedia scenarios. Recent Trends in Algebraic Development Techniques: Selected Papers from WADT'99, Bonas. Springer LNCS 1827, 382-399 (2000).
14. M. Bidoit. From requirements to software in CASL. Invited talk given at WADT'99, Bonas (1999).
15. M. Bidoit, R. Hennicker, F. Tort and M. Wirsing. Correct realizations of interface constraints with OCL. Proc. UML'99. Springer LNCS 1723 (1999).
16. M. Bidoit, H.-J. Kreowski, P. Lescanne, F. Orejas and D. Sannella (eds.). Algebraic System Specification and Development: A Survey and Annotated Bibliography. Springer LNCS 501 (1991).
17. M. Bidoit and P. Mosses. A gentle introduction to CASL. Tutorial, WADT/CoFI Workshop at the 4th European Joint Conferences on Theory and Practice of Software (ETAPS 2001), Genova (2001). Available from http://www.lsv.ens- cachan.fr/~bidoit/CASL/.
18. M. Bidoit, D. Sannella and A. Tarlecki. Architectural specifications in CASL. Formal Aspects of Computing (2002), to appear. A preliminary version appeared under the same title in Proc. 7th Intl. Conference on Algebraic Methodology and Software Technology, AMAST '98, Manaus. Springer LNCS 1548, 341-357 (1998).
19. T. Borzyszkowski. Generalized interpolation in CASL. Information Processing Letters 76:19-24 (2000).
20. T. Borzyszkowski. Higher-order logic and theorem proving for structured specifications. Recent Trends in Algebraic Development Techniques: Selected Papers from WADT'99, Bonas. Springer LNCS 1827, 401-418 (2000).
21. M. van den Brand, H. de Jong, P. Klint and P. Olivier. Efficient annotated terms. Software, Practice & Experience 30:259-291 (2000).
22. M. van den Brand and J. Scheerder. Development of parsing tools for CASL using generic language technology. Recent Trends in Algebraic Development Techniques: Selected Papers from WADT'99, Bonas. Springer LNCS 1827, 89-105 (2000).
23. M. Cerioli, M. Gogolla, H. Kirchner, B. Krieg-Brückner, Z. Qian and M. Wolf (eds.). Algebraic System Specification and Development: Survey and Annotated Bibliography. 2nd edition. Monographs of the Bremen Institute of Safe Systems 3. Shaker (1998).
24. M. Cerioli, A. Haxthausen, B. Krieg-Brückner and T. Mossakowski. Permissive subsorted partial logic in CASL. Proceedings of AMAST'97, Sydney. Springer LNCS 1349, 91-107 (1997).
25. M. Cerioli, T. Mossakowski and H. Reichel. From total equational to partial first order logic. In E. Astesiano, H.-J. Kreowski and B. Krieg-Brückner (eds.), Algebraic Foundations of Systems Specifications, 31-104. Springer (1999).
26. M. Cerioli and G. Reggio. Basic CASL at work: a compass for the labyrinth of partiality, subsorting and predicates. Presented at WADT'99, Bonas (1999).
27. C. Choppy and G. Reggio. Using CASL to specify the requirements and the design: A problem specific approach. Recent Trends in Algebraic Development Techniques: Selected Papers from WADT'99, Bonas. Springer LNCS 1827, 104-123 (2000).
28. CoFI. The Common Framework Initiative for algebraic specification and development, electronic archives. Notes and Documents accessible from http://www.brics.dk/Projects/CoFI/.
29. CoFI Language Design Task Group. CASL - The CoFI Algebraic Specification Language - Summary, version 1.0. Documents/CASL/Summary-v1.0, in [28] (1998).
30. CoFI Language Design Task Group. CASL - The CoFI Algebraic Specification Language - Summary, version 1.0 (revised). Documents/CASL/v1.0/Summary, in [28] (1999).
31. CoFI Language Design Task Group. CASL - The CoFI Algebraic Specification Language - Summary, version 1.0.1. Documents/CASL/v1.0.1/Summary, in [28] (2001).
32. CoFI Semantics Task Group. CASL - The CoFI Algebraic Specification Language - Semantics. Documents/CASL/Semantics (version 0.96), in [28] (1999).
33. E. Coscia and G. Reggio. JTN: A Java-targeted graphic formal notation for reactive and concurrent systems. Fundamental Approaches to Software Engineering (FASE'99), European Joint Conferences on Theory and Practice of Software, Amsterdam. Springer LNCS 1577, 77-97 (1999).
34. G. Costa and G. Reggio. Specification of abstract dynamic datatypes: A temporal logic approach. Theoretical Computer Science 173(2):513-554 (1997).
35. H. Ehrig, J. Meseguer, U. Montanari, F. Orejas, F. Parisi-Presicce and M. Wirsing. Recommendations on the revised design of CASL. Internal Ifip WG1.3 document (2001).
36. R. Gumb. Model sets in a nonconstructive logic of partial terms with definite descriptions. Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2000. Springer LNAI 1847, 268-278 (2000).
37. R. Gumb. An extended joint consistency theorem for a nonconstructive logic of partial terms with definite descriptions. Studia Logica. To appear.
38. M. Haveraaen. Domain specific languages and software architectures - a challenge for CASL. Presented at CoFI meeting, Amsterdam (1999).
39. M. Haveraaen. A 2-tiered software process model for utilizing CASL. Technical Report 208, Department of Informatics, University of Bergen (2000).
40. M. Haveraaen, H.A. Friis and T.A. Johansen. Formal software engineering for computational modeling. Nordic Journal of Computing 6:241-270 (1999).
41. A. Haxthausen, B. Krieg-Brückner and T. Mossakowski. Subsorted partial higherorder logic as an extension of CASL. CoFI Note L-10, in [28] (1998).
42. P. Hoffman. Semantics of architectural specifications (in Polish). Master's thesis, Warsaw University (2000).
43. P. Hoffman. Verifying architectural specifications. Recent Trends in Algebraic Development Techniques: Selected Papers from WADT 2001, Genova. Springer LNCS, to appear (this volume).
44. F. Honsell, J. Longley, D. Sannella and A. Tarlecki. Constructive data refinement in typed lambda calculus. Proc. 3rd Intl. Conf. on Foundations of Software Science and Computation Structures (FOSSACS 2000), European Joint Conferences on Theory and Practice of Software, Berlin. Springer LNCS 1784, 149-164 (2000).
45. F. Honsell and D. Sannella. Pre-logical relations. Information and Computation (2002), to appear. A preliminary version appeared under the same title in Proc. Computer Science Logic, CSL'99, Madrid. Springer LNCS 1683, 546-561 (1999).
46. H. Hussmann, M. Cerioli, G. Reggio and F. Tort. Abstract data types and UML models. Technical Report DISI-TR-99-15, Università di Genova (1999).
47. H. Kirchner and C. Ringeissen. Executing CASL equational specifications with the Elan rewrite engine. CoFI Note T-9 (revised version), in [28] (2000).
48. B. Klin. An implementation of static semantics for architectural specifications in CASL (in Polish). Master's thesis, Warsaw University (2000).
49. B. Klin, P. Hoffman, A. Tarlecki, L. Schröder and T. Mossakowski. Checking amalgamability conditions for CASL architectural specifications. Proc. Intl. Symp. on Mathematical Foundations of Computer Science, MFCS 2001. Springer LNCS 2136, 451-463 (2001).
50. F. Ledoux, A. Arnould, P. Le Gall and Y. Bertrand. A high-level operation in 3D modeling: a CASL case study. Report LaMI 52, Université d'Evry-Val d'Essonne, Evry (2000).
51. F. Ledoux, A. Arnould, P. Le Gall and Y. Bertrand. Geometric modeling with CASL. Recent Trends in Algebraic Development Techniques: Selected Papers from WADT 2001, Genova. Springer LNCS, to appear (this volume).
52. F. Ledoux, J.-M. Mota, A. Arnould, C. Dubois, P. Le Gall and Y. Bertrand. Formal specification for a mathematics-based application domain: geometric modeling. Report LaMI 51, Université d'Evry-Val d'Essonne, Evry (2000).
53. F. Ledoux, J.-M. Mota, A. Arnould, C. Dubois, P. Le Gall and Y. Bertrand. Spécifications formelles du chanfreinage. In Approches Formelles dans l'Assistance au D'eveloppement de Logiciels (AFADL), Nancy (2001).
54. J. Loeckx, H.-D. Ehrich and M. Wolf. Specification of Abstract Data Types. Wiley (1996).
55. T. Mossakowski. Sublanguages of CASL. CoFI Note L-7, in [28] (1997).
56. T. Mossakowski. Two "functional programming" sublanguages of CASL. CoFI Note L-9, in [28] (1998).
57. T. Mossakowski. Colimits of order-sorted specifications. Recent Trends in Algebraic Development Techniques: Selected Papers from WADT'97, Tarquinia. Springer LNCS 1376, 316-332 (1998).
58. T. Mossakowski. Translating other specification languages into CASL. Presented at WADT'98, Lisbon (1998). Handwritten notes are available from the author.
59. T. Mossakowski. Translating OBJ3 to CASL: The institution level. Recent Trends in Algebraic Development Techniques: Selected Papers from WADT'98, Lisbon. Springer LNCS 1589, 198-214 (1999).
60. T. Mossakowski. How to write consistent CASL design specifications. CoFI Note M-8, in [28] (2000).
61. T. Mossakowski. Specification in an arbitrary institution with symbols. Recent Trends in Algebraic Development Techniques: Selected Papers from WADT'99, Bonas. Springer LNCS 1827, 252-270 (2000).
62. T. Mossakowski. CASL: From semantics to tools. Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2000), European Joint Conferences on Theory and Practice of Software, Berlin. Springer LNCS 1785, 93-108 (2000).
63. T. Mossakowski. Relating CASL with other specification languages: the institution level. Theoretical Computer Science (2002), to appear.
64. T. Mossakowski, S. Autexier and D. Hutter. Extending development graphs with hiding. Fundamental Approaches to Software Engineering (FASE 2001), European Joint Conferences on Theory and Practice of Software, Genova. Springer LNCS 2029, 269-283 (2001).
65. T. Mossakowski and B. Klin. Institution-independent static analysis for CASL. Recent Trends in Algebraic Development Techniques: Selected Papers from WADT 2001, Genova. Springer LNCS, to appear (this volume).
66. P. Mosses. CoFI: the common framework initiative for algebraic specification and development. Proc. 7th Intl. Joint Conf. on Theory and Practice of Software Development, Lille. Springer LNCS 1214, 115-137 (1997).
67. P. Mosses. CASL for ASF+SDF users. ASF+SDF '97, Proc. 2nd Intl. Workshop on the Theory and Practice of Algebraic Specifications, volume ASFSDF-97 of Electronic Workshops in Computing. British Computer Society, http://www.ewic.org.uk/ewic/workshop/list.cfm (1997).
68. P. Mosses. CASL: a guided tour of its design. Recent Trends in Algebraic Development Techniques: Selected Papers from WADT'98, Lisbon. Springer LNCS 1589, 216-240 (1999).
69. P. Mosses. CASL for CafeOBJ users. Chapter 6 of K. Futatsugi, A. T. Nakagawa and T. Tamai (eds.), CAFE: An Industrial-Strength Algebraic Formal Method, 121-144. Elsevier (2000).
70. P. Mosses. CASL and Action Semantics. In AS 2000, number NS-00-6 in Notes Series, 62-78, BRICS, Univ. of Aarhus (2000).
71. P. Mosses. CoFI: The Common Framework Initiative for algebraic specification and development. In G. Pa{combining breve}un, G. Rozenberg and A. Salomaa (eds.), Current Trends in Theoretical Computer Science: Entering the 21st Century, 153-163. World Scientific (2001).
72. An earlier version appeared in Bull. EATCS 59:127-132 (1996).
73. G. Plotkin, J. Power, D. Sannella and R. Tennent. Lax logical relations. Proc. 27th Intl. Colloq. on Automata, Languages and Programming, Geneva. Springer 1853, 85-102 (2000) .
74. G. Reggio, E. Astesiano and C. Choppy. CASLLTL: A CASL extension for dynamic reactive systems - summary. Technical Report DISI-TR-99-34, Università di Genova (1999).
75. G. Reggio, E. Astesiano, C. Choppy and H. Hussmann. Analysing UML active classes and associated state machines - a lightweight approach. Fundamental Approaches to Software Engineering (FASE 2000), European Joint Conferences on Theory and Practice of Software, Berlin. Springer LNCS 1783, 127-146 (2000).
76. G. Reggio, M. Cerioli and E. Astesiano. An algebraic semantics of UML supporting its multiview approach. Proc. 2nd AMAST Workshop on Algebraic Methods in Language Processing (AMILP 2000), number 16 in TwenteWorkshop on Language Processing, Enschede (2000).
77. G. Reggio, M. Cerioli and E. Astesiano. Towards a rigorous semantics of UML supporting its multiview approach. Fundamental Approaches to Software Engineering (FASE 2001), European Joint Conferences on Theory and Practice of Software, Genova. Springer LNCS 2029, 171-186 (2001).
78. G. Reggio and L. Repetto. CASLCHART: Syntax and semantics. Technical Report DISI-TR-00-1, Università di Genova (2000).
79. G. Reggio and L. Repetto. CASLCHART: A combination of statecharts and of the algebraic specification language CASL. Proceedings of AMAST 2000, Iowa City. Springer LNCS 1816, 243-257 (2000).
80. M. Roggenbach. CASL tutorial at LFM 2000 (2000). Slides available at http://www.tzi.de/~roba/tutorial.ps.
81. M. Roggenbach. An annotated list of URLs related with CoFI and CASL. On a CD ROM distributed to participants of the Fifth NASA Langley Formal Methods Workshop (2000). Also available from http://www.informatik.uni-bremen.de/~roba/ URL.txt.
82. M. Roggenbach and T. Mossakowski. Proposal of some annotations and literal syntax in CASL. CoFI Note L-11, in [28] (1999).
83. M. Roggenbach and T. Mossakowski. Basic datatypes in CASL. CoFI Note L-12, version 0.4.1, in [28] (2000).
84. M. Roggenbach and L. Schröder. Towards trustworthy specifications I: Consistency checks. Recent Trends in Algebraic Development Techniques: Selected Papers from WADT 2001, Genova. Springer LNCS, to appear (this volume).
85. M. Roggenbach, L. Schröder and T. Mossakowski. Specifying real numbers in CASL. Recent Trends in Algebraic Development Techniques: Selected Papers from WADT'99, Bonas. Springer LNCS 1827, 146-161 (2000).
86. G. Salaün, M. Allemand and C. Attiogbé. Formal combination of the CCS process algebra with the CASL algebraic specification language. Presented atWADT/CoFI 2001, Genova (2001).
87. D. Sannella. The Common Framework Initiative for algebraic specification and development of software. Proc. 3rd Intl. Conf. on Perspectives of System Informatics (PSI'99), Novosibirsk. Springer LNCS 1755, 1-9 (2000).
88. D. Sannella. Algebraic specification and program development by stepwise refinement. Proc. 9th Intl. Workshop on Logic-based Program Synthesis and Transformation, LOPSTR'99, Venice. Springer LNCS 1817, 1-9 (2000).
89. D. Sannella and A. Tarlecki. Essential concepts of algebraic specification and program development. Formal Aspects of Computing 9:229-269 (1997).
90. D. Sannella and A. Tarlecki. Foundations of Algebraic Specifications and Formal Program Development. Cambridge Univ. Press, to appear.
91. L. Schröder and T. Mossakowski. HasCASL: Towards integrated specification and development of Haskell programs. Submitted for publication (2001).
92. L. Schröder, T. Mossakowski and A. Tarlecki. Amalgamation in CASL via enriched signatures. Proc. 28th Intl. Colloq. on Automata, Languages and Programming. Springer 2076, 993-1004 (2001).
93. L. Schröder, T. Mossakowski, A. Tarlecki, P. Hoffman and B. Klin. Semantics of architectural specifications in CASL. Fundamental Approaches to Software Engineering (FASE 2001), European Joint Conferences on Theory and Practice of Software, Genova. Springer LNCS 2029, 253-268 (2001).
94. E. Wagner. On the category of CASL signatures. Presented at WADT'99, Bonas (1999).
95. R. Wieringa, E. Astesiano, G. Reggio, A. Le Guennec, H. Hussmann, K. van den Berg and P. van den Broek. Is it feasible to construct a semantics for all of UML? Dynamic behaviour and concurrency. ECOOP Workshop Reader: UML Semantics FAQ (1999).
96. M. Wirsing. Algebraic specification. Handbook of Theoretical Computer Science (J. van Leeuwen, ed.). North-Holland (1990).