H. Bowman, J. Derrick, P. Linington, and M. W. Steen. FDTs for ODP. Computer Standards and Interfaces, 17:457--479, Sept. 1995.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....integrated within the TLA structure. However, since other FDTs may be appropriate in some cases it will be necessary to produce mappings between different formalisms in order to show consistency between accident perspectives. A discussion of the use of different FDTs in the ODP model is given in [5]. In future work, therefore, we intend to show how viewpoints of accidents using different FDTs may be unified. A possible problem here is the wide range of different considerations that are present within accident analysis which may not be so apparent within software engineering projects: it is ....

H. Bowman, J. Derrick, P. Linington, and M. Steen. FDTs for ODP. Computer Standards and Interfaces, 17:457--479, 1995.

....in the sense that they define what concepts should be supported, not how they should be represented. Several notations have been proposed for the di#erent viewpoints by di#erent authors, which seem to agree on the need to represent the semantics of the ODP viewpoints concepts in a precise manner [2,5,12,16,25]. For example, formal description techniques (FDTs) such as LOTOS and SDL have been proposed for the computational viewpoint [12] and Z and Object Z for the information and enterprise viewpoints [27] On a di#erent arena, object oriented modeling languages such as UML or Fusion [8] have been also ....

....that these kinds of strategies for exploring the execution tree of a system, and with a greater performance. 25 7 Related Work Formal description techniques are being extensively employed in ODP and have proved valuable in supporting the precise definition of the reference model concepts [5]. Among all those works, we will focus here on two kinds of proposals: those that use rewriting logic for specifying some of the ODP viewpoints, and those that specifically deal with the enterprise viewpoint. In the first group, Najm and Stefani use rewriting logic to formalize the computational ....

H. Bowman, J. Derrick, P. Linington, and M. W. Steen. FDTs for ODP. Computer Standards and Interfaces, 17:457--479, Sept. 1995.

....A formal view on RM ODP specifications insures their consistency within a frame of a particular project, and the ODP research community has produced several interesting results that are important for understanding the consistency and for implementing consistent specifications. Particularly, [8] presented a nice discussion on the requirements that the RM ODP framework imposes on different Formal Description Techniques (FDTs) for its formal interpretation. 8] considered a set of general ODP requirements and elaborated on the requirements for specific ODP viewpoints. Further research ....

....results that are important for understanding the consistency and for implementing consistent specifications. Particularly, 8] presented a nice discussion on the requirements that the RM ODP framework imposes on different Formal Description Techniques (FDTs) for its formal interpretation. [8] considered a set of general ODP requirements and elaborated on the requirements for specific ODP viewpoints. Further research ( 6] 7] 24] defined a general meaning of the specification consistency in the context of RM ODP viewpoints. Based on these papers, relating formalisms used for ....

H. Bowman, J. Derrick, P. Linington, M. Steen. "FDTs for ODP". Computer Standards and Interfaces, 17(1995):457-479, September 1995.

....programming and models of so called active objects , which are objects that exhibit non uniform service availability [Nie95] and 3. enhancing existing formal description techniques in order that they can be applied to the new generation of distributed systems, which are typically object oriented [BDLS95]. In all these areas subtyping plays a pivotal role in obtaining incremental system development, with its relationship to different inheritance mechanisms being crucial. The third of these areas has particularly motivated the work presented here. Central to object oriented programming platforms ....

H. Bowman, J. Derrick, P. Linington, and M. Steen. FDTs for ODP. Computer Standards and Interfaces, 17:457--479, September 1995.

....viewpoint languages defined in the reference model are abstract languages in the sense that they define what concepts should be supported, not how they should be represented. In any case, certain need to develop appropriate notations for ODP specifications has been identified by di#erent authors [1, 4, 14, 18, 12] in order to increase the applicability of the ODP framework. For example, formal description techniques (FDTs) such as LOTOS or SDL have been proposed for the computational viewpoint [12] and Object Z for the information and enterprise viewpoints [20] The information viewpoint is concerned ....

.... reader can find the specification of such rules together with additional details in a separate technical report [8] 6 Related Work Formal description techniques are being extensively employed in ODP and have proved valuable in supporting the precise definition of reference model concepts [4]. Among all the works, we will focus here on those that try to formalize the information viewpoint, using di#erent notations. 11 In the first place, in [1] Bernardeschi et al. use a class oriented language for modeling the information viewpoint, which is used for defining a semantically ....

H. Bowman, J. Derrick, P. F. Linington, and M. W. A. Steen. FDTs for ODP. Computer Standards and Interfaces, 17:457--479, September 1995. Available at http://www.cs.ukc.ac.uk/pubs/1995/178.

.... [12] and Object Z for the information and enterprise viewpoints [14] It is perhaps the enterprise viewpoint the one for which it is more unclear the FDT to be used, although a certain need to develop appropriate notations for ODP enterprise specifications has been identified by di#erent authors [1, 3, 6, 11, 12] in order to increase the applicability of the ODP framework. In this paper we would like to explore another alternative for specifying the enterprise viewpoint. We propose Maude, an executable rewriting logic language specially well suited for the specification of object oriented open and ....

....We believe that rules are more appropriate for modeling actions in the enterprise viewpoint than messages between objects. 6 Related Work Formal description techniques are being extensively employed in ODP and have proved valuable in supporting the precise definition of reference model concepts [3]. Among all those works, we will focus here on two kinds of proposals: those that use rewriting logic for specifying some of the ODP viewpoints, and those that specifically deal with the enterprise viewpoint. In the first group, Najm and Stefani use rewriting logic to formalize the computational ....

H. Bowman, J. Derrick, P. F. Linington, and M. W. A. Steen. FDTs for ODP. Computer Standards and Interfaces, 17:457--479, September 1995.

.... [14] and Object Z for the information and enterprise viewpoints [16] It is perhaps the enterprise viewpoint the one for which it is more unclear the FDT to be used, although a certain need to develop appropriate notations for ODP enterprise specifications has been identified by di#erent authors [1, 3, 6, 12, 14] in order to increase the applicability of the ODP framework. In this paper we would like to explore another alternative for specifying the enterprise viewpoint. We propose Maude, an executable rewriting logic language specially well suited for the specification of object oriented open and ....

....We believe that rules are more appropriate for modeling actions in the enterprise viewpoint than messages between objects. 6 Related Work Formal description techniques are being extensively employed in ODP and have proved valuable in supporting the precise definition of reference model concepts [3]. Among all those works, we will focus here on two kinds of proposals: those that use rewriting logic for specifying some of the ODP viewpoints, and those that specifically deal with the enterprise viewpoint. In the first group, Najm and Stefani use rewriting logic to formalize the computational ....

H. Bowman, J. Derrick, P. F. Linington, and M. W. A. Steen. FDTs for ODP. Computer Standards and Interfaces, 17:457--479, September 1995. Available at http://www.cs.ukc.ac.uk/pubs/1995/178.

....i.e. a specification that refines all the original viewpoints (each with respect to a particular refinement relation) Of course the choice of refinement relation to apply to each of the different viewpoints is critical. We have shown how consistency checking may be performed within a single FDT, [1, 3, 6, 16], and how we can translate between FDTs in [7] The strategy we envisage to check the consistency of one ODP viewpoint written in Z with another written in LOTOS is as follows. First translate the LOTOS specification to an observationally equivalent one in Z, then use the mechanisms defined in [1, ....

....16] and how we can translate between FDTs in [7] The strategy we envisage to check the consistency of one ODP viewpoint written in Z with another written in LOTOS is as follows. First translate the LOTOS specification to an observationally equivalent one in Z, then use the mechanisms defined in [1, 3, 6] to check the consistency of the two viewpoints now both expressed in Z. These mechanisms attempt to find a common Z refinement of the two viewpoints if one exists the viewpoints are consistent. Spec1 Spec2 Spec3 U(Spec2,Spec3) Translate Z viewpoint LOTOS viewpoint Consistency check LOTOS ....

[Article contains additional citation context not shown here]

H. Bowman, J. Derrick, P. Linington, and M. Steen. FDTs for ODP. Computer Standards and Interfaces, 17:457--479, September 1995.

....has considered partial specification in a particular specification notation. Issues such as unification and consistency checking arise in all these areas of investigation. Typical work on this topic is that by Wallis et al. [2] 1] 3] Jackson et al. [33] Boiten [5] and Derrick et al. [19] 20] [10] for Z; and Leduc [36] Khendek et al. [34] Ichikawa et al. [27] and Steen et al. [44] for LOTOS. From amongst this body of language specific work Leduc s PhD work [36] has most influenced us. In fact, the trace refusals theory presented here has grown out of Leduc s work. An important body of ....

H. Bowman, J. Derrick, P. Linington, and M.W.A. Steen. FDTs for ODP. Computer Standards and Interfaces, 17:457--479, September 1995.

....viewpoints is critical. The strategy we envisage to check the consistency of one ODP viewpoint written in Z with another written in LOTOS is as follows. First translate the LOTOS specification to an observationally equivalent one in Z using results from [9] then use the mechanisms defined in [2, 4] to check the consistency of the two viewpoints now both expressed in Z. These mechanisms attempt to find a common Z refinement of the two viewpoints if one exists the viewpoints are consistent. However, these mechanisms deal with viewpoints writ ten at the same level of abstraction, and they ....

H. Bowman, J. Derrick, P. Linington, and M. Steen. FDTs for ODP. Computer Standards and Interfaces, 17:457--479, September 1995.

....related entities can appear in different viewpoints and must co exist. Consistency of specifications across viewpoints thus becomes a central issue. Similar consistency properties arise outside ODP, see for example [9] We have shown how consistency checking may be performed within a single FDT, [3, 6, 7, 18], however, the real challenge lies in checking for consistency across language boundaries, and this requires translation between FDTs. The strategy we envisage to check the consistency of one ODP viewpoint written in Z with another written in LOTOS is as follows. First translate the LOTOS ....

H. Bowman, J. Derrick, P. Linington, and M. Steen. FDTs for ODP. Computer Standards and Interfaces, 17:457--479, September 1995.

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