000032141 001__ 32141
000032141 005__ 20190619003106.0
000032141 0247_ $$2doi$$a10.5075/epfl-thesis-1664
000032141 02471 $$2nebis$$a1812696
000032141 037__ $$aTHESIS
000032141 041__ $$aeng
000032141 088__ $$a1664
000032141 245__ $$aAn incremental prototyping methodology for distributed systems based on formal specifications
000032141 260__ $$bEPFL$$c1997$$aLausanne
000032141 269__ $$a1997
000032141 300__ $$a294
000032141 336__ $$aTheses
000032141 520__ $$aThis thesis presents a new incremental prototyping methodology for formally specified distributed systems. The objective of this methodology is to fill the gap which currently exists between the phase where a specification is simulated, generally using some sequential logical inference tool, and the phase where the modeled system has a reliable, efficient and maintainable distributed implementation in a main-stream object-oriented programming language. This objective is realized by application of a methodology we call Mixed Prototyping with Object-Orientation (in short: OOMP). This is an extension of an existing approach, namely Mixed Prototyping, that we have adapted to the object-oriented paradigm, of which we exploit the flexibility and inherent capability of modeling abstract entities. The OOMP process proceeds as follows. First, the source specifications are automatically translated into a class-based object-oriented language, thus providing a portable and high-level initial implementation. The generated class hierarchy is designed so that the developer may independently derive new sub-classes in order to make the prototype more efficient or to add functionalities that could not be specified with the given formalism. This prototyping process is performed incrementally in order to safely validate the modifications against the semantics of the specification. The resulting prototype can finally be considered as the end-user implementation of the specified software. The originality of our approach is that we exploit object-oriented programming techniques in the implementation of formal specifications in order to gain flexibility in the development process. Simultaneously, the object paradigm gives the means to harness this newly acquired freedom by allowing automatic generation of test routines which verify the conformance of the hand-written code with respect to the specifications. We demonstrate the generality of our prototyping scheme by applying it to a distributed collaborative diary program within the frame of CO-OPN (Concurrent Object-Oriented Petri Nets), a very powerful specification formalism which allows expressing concurrent and non-deterministic behaviours, and which provides structuring facilities such as modularity, encapsulation and genericity. An important effort has also been accomplished in the development or adaptation of distributed algorithms for cooperative symbolic resolution. These algorithms are used in the run-time support of the generated CO-OPN prototypes.
000032141 6531_ $$aConform
000032141 6531_ $$aOOMethod
000032141 700__ $$aHulaas, Jarle
000032141 720_2 $$aStrohmeier, Alfred$$edir.$$g106499$$0241848
000032141 8564_ $$uhttps://infoscience.epfl.ch/record/32141/files/EPFL_TH1664.pdf$$zTexte intégral / Full text$$s2054323$$yTexte intégral / Full text
000032141 909C0 $$0252188$$pLGL
000032141 909CO $$pthesis-public$$pDOI$$ooai:infoscience.tind.io:32141$$qGLOBAL_SET$$pthesis$$qDOI2
000032141 919__ $$aLGL
000032141 920__ $$b1997
000032141 970__ $$a1664/THESES
000032141 973__ $$sPUBLISHED$$aEPFL
000032141 980__ $$aTHESIS