M. Bidoit, D. Sannella and A. Tarlecki. Global development via local observational construction steps. Proc. 27th Intl. Symp. on Mathematical Foundations of Computer Science, MFCS'02. Springer LNCS 2420, 1--24 (2002).  Home/Search   Document Details and Download   Summary   Related Articles   Check

....the observational interpretation of specifications, and we study in Section 6 the impact of this observational interpretation on the semantics of specifications of parametrized components. Further work is discussed in Section 7. A more technical and detailed version of this paper can be found in [BST02b] 2 Algebraic Preliminaries A basic assumption underpinning algebraic specification and derived approaches to software specification and development is that programs are modeled as algebras (of some kind) and their static properties are captured by algebraic signatures (again, adapted as ....

....is either a (non parametrized) unit name, or a (parametrized) unit application with an argument that fits via a signature morphism #, or an amalgamation of (non parametrized) units. The semantics of this Casl fragment can be defined following the same lines as for full Casl, see [CoFI02,SMT 01,BST02b] Let us just discuss here the semantics of specifications of parametrized units. Consider for instance the following simple architectural specification: arch spec AS units U 1 : SP 1 ; F : SP 1 2 ; result F [U 1 ] To be well formed, the specification SP 1 2 of the parametrized unit F ....

[Article contains additional citation context not shown here]

M. Bidoit, D. Sannella and A. Tarlecki. Global development via local observational construction steps. Proc. 27th Intl. Symp. on Mathematical Foundations of Computer Science, MFCS'02. Springer LNCS 2420 (2002).

No context found.

M. Bidoit, D. Sannella and A. Tarlecki. Global development via local observational construction steps. Proc. 27th Intl. Symp. on Mathematical Foundations of Computer Science, MFCS'02. Springer LNCS 2420, 1--24 (2002).

No context found.

M. Bidoit, D. Sannella and A. Tarlecki. Global development via local observational construction steps. Proc. 27th Intl. Symp. on Mathematical Foundations of Computer Science, MFCS'02. Springer LNCS 2420, 1--24 (2002).

....systems including Isabelle and INKA [AHMS99] The most focussed collaborative activity nowadays is on tool development, see http: www.tzi.de cofi Tools. There is also some further work on various topics in algebraic specification in the Casl context; for two recent examples see [MS02] and [BST02b] However, with the completion of the design activity, there has been a very encouraging level of use of Casl in actual applications. In contrast with most previous algebraic specification languages which are used only by their inventors and their students and collaborators, many present Casl ....

....language, as in the above examples, provides a link between Casl and the programming language at hand. This gives an adequate framework for analysis of the process of developing programs from specifications by stepwise refinement using Casl architectural specifications, see e.g. BST02a] and [BST02b] Still, this seems to be only part of a bigger and more detailed story. Notice that the syntax of programs does not appear anywhere in the institutions outlined in Examples 3.1 and 3.2. One would expect a full account to take into consideration the structure of the programming language, rather ....

M. Bidoit, D. Sannella and A. Tarlecki. Global development via local observational construction steps. Proc. 27th Intl. Symp. on Mathematical Foundations of Computer Science, Warsaw. Springer LNCS, 2002. To appear.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC