A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is
LOTOSphere: Software Development with LOTOS
In particular, the architectural concepts that underlie service and protocol designs are examined in detail. For each of these concepts a representation in LOTOS is given. ... Examples are provided of how the LOTOS representations of the concepts are used in the construction of LOTOS specifications of service and protocol designs. ... Acknowledgements The work reported in this paper was undertaken in the context of LOTOSPHERE Tasks concerned with specification architecture and specification pilot studies. ...doi:10.1007/978-1-4615-2203-4_7 fatcat:cwt6wf6yjvdpnncczpynknij74
IBM Systems Journal
Accord- ingly, the structure of the generated code closely resembles the architecture of the LOTOS specifi- cation. ... From LOTOS to I-CRL The translation from LOTOS to I-CRL is composed of two parts: the first maps LOTOS data specifi- cations onto the 1-CRL data part, exploiting spe- cific compiler directives; the second ...doi:10.1147/sj.314.0668 fatcat:gstajhf75rgbdigb3odyceji5e
Translating TURTLE to the formal description technique RT-LOTOS gives the profile a formal semantics and makes it possible to reuse verification techniques implemented by the RTL, the RT-LOTOS toolkit ... The paper discusses the use of the TURTLE UML profile to model and verify service continuity during dynamic reconfiguration of embedded software, and space-based telecommunication software in particular ... Let T1 be a Tclass involved in a relation specified by a Composition operator and P1.1 the RT-LOTOS process obtained from the translation of T1's activity diagram at step 1. ...doi:10.1023/b:ause.0000017742.47984.6c fatcat:csks3tv6ufbwflfgwfny3ixp7y
This paper presents a UML 1.5 profile named TURTLE (Timed UML and RT-LOTOS Environment) endowed with a formal semantics given in terms of RT-LOTOS. ... Besides the foundations of the TURTLE profile, this paper also discusses its application in the context of space-based embedded software. ... Unlike "ports" in Rose RT  and ports in UML 2.0  , TURTLE gates are not defined by a list of authorized messages. ...doi:10.1109/tse.2004.34 fatcat:bxulrbu54nel5dlv2vidfge3eu
Section 2 gives a brief introduction 68 of volcanic eruption models and introduces the LOTOS-EUROS model used 69 in this study. The validation of LOTOS-EUROS as a VATDM is specified 70 in Section 3. ... Volcanic eruption models and the LOTOS-EUROS model as 77 VATDM 78 Numerous volcanic ash transport and dispersion models are available 79 worldwide, and in recent efforts a comparison report among these ... ., 1997) and as such this 'umbrella' shaped 117 VMD is adapted into LOTOS-EUROS in this paper, see Figure 3 . 118 The PSD in LOTOS-EUROS is defined in the ESP type S2 as defined by Table 1 provides ...doi:10.1016/j.atmosenv.2015.05.061 fatcat:ir5ow5zgzvfcxkwiqdlb5cy5we
IBM Systems Journal
In SDL, a process is specified as an Extended Finite State machine; in LOTOS, processes are built from elementary com- munication actions and operators on processes, such as sequential composition, parallel ... LOTOS is based on synchronous rendezvous com- munication, SDL is based on asynchronous com- munication via infinite queues. In LOTOS, data variables are seen in a functional way. ...doi:10.1147/sj.314.0649 fatcat:uic4os4lifb45mczlunyed5s4a
method, is employed to combine space-borne atmospheric observations from the high spatial resolution Sentinel-5 Precursor (S5P) Tropospheric Monitoring Instrument (TROPOMI) and simulations using the LOTOS-EUROS ... For the same power plants, the European Pollutant Release and Transfer Register (E-PRTR) reports decreased emissions in 2018 and 2019 compared to 2015 (−35% and −38% in 2018, −62% and −72% in 2019), in ... Results presented in this work have been produced using the Aristotle University of Thessaloniki (AUTh) high-performance computing infrastructure and resources. ...doi:10.3390/atmos12070900 fatcat:vqqssyqnmrcxhcnzlevis4nsl4
Lecture Notes in Computer Science
To show and clarify the benefits of model transformation in method engineering, we illustrate the transformation rules and how to transform models. ... Changing different notations : In Rational Rose, a CASE tool for UML, a sequence diagram can be automatically transformed into a collaboration diagram and vice versa, because these diagrams represent the ... It is the same technique as introducing the variables like "has Lif tButton" in the section 3.2 in order to specify the aggregation relationships. ...doi:10.1007/3-540-47961-9_43 fatcat:7br6hgiutja35esqj4wgyhxt6a
‘What, do you of ten-pin afore—” She rose. ‘‘ Whist ay no longer; I'll hear no bagatelle me more.” She slammed the door in anger. In vain poor Will tried pouring Hoyle Upon the troubled water. ... The line specified is amisquotation. The proper reading should be: ‘* The year is going—let her rip,” and is to be found among the earlier writings of Confucius. ...
In our approach, we use real-life aircraft in-situ observations, measured in the North-West part of Germany during the 2010 Eyjafjallajokull eruption, in an ensemble-based data assimilation system combined ... ash forecasts in these distal areas. ... The assimilation experiments on distal volcanic ash clouds are specified in Sect. 3. Section 4 validates the performance of real-life data assimilation. ...doi:10.5194/acp-2016-166 fatcat:7gxswsrmprhx3mihagl7fzfxpy
These are activated through association with abstract events in the CSP specification. ... of a system, while the rest of its functionality is supplied in the form of C++ modules. ... If a process is specified in terms of, say, three alternatives, a->P1 | b->P2 | c->P3, then each event, a, b, and c, is tried in turn. ...doi:10.1109/memcod.2003.1210108 dblp:conf/memocode/Gardner03 fatcat:vdoqljk22neo5pughay3mue5qy
In our approach, we use real-life aircraft in situ observations, measured in the northwestern part of Germany during the 2010 Eyjafjallajökull eruption, in an ensemble-based data assimilation system combined ... ash forecasts in these distal areas. ... The assimilation experiments on distal volcanic ash clouds are specified in Sect. 3. Section 4 validates the performance of real-life data assimilation. ...doi:10.5194/acp-16-9189-2016 fatcat:dpj72gfcrbfivlqypbateiwgmm
TURTLE is a real-time UML profile with a formal semantics expressed in RT-LOTOS. Further, it is supported by a formal validation toolkit. ... Properties of these diagrams can be evaluated and/or validated thanks to the formal semantics given in RT-LOTOS. The application of TURTLE-P is illustrated with a telecommunication satellite system. ... Acknowledgments The TURTLE profile has been defined in a joint effort involving Patrick Sénac from ENSICA, Jean-Pierre Courtiat and Christophe Lohr from LAAS/CNRS, Ludovic Apvrille and Pierre de Saqui-Sannes ...doi:10.1007/s10270-006-0029-5 fatcat:kwcvfruj6jg53bjzfqcy3hxlry
108 Tria gular Combinations 134 Vassion Flower 104 Greek Fret 135 Morning Glory 1% Greek Pat ern Anthemion 136 Homan Authemion 106 Kgyotian Lotos 137 Narci-sus 107 Ivv Leaf 1457 “Welcome” in Old Eng. ... . by number. 71 Wild Rose 72 Calla Lily 73 Solomon’s 77 Pond Lilies 7+ Roses 'e 239 AppleBlossom 240 Da sies 283 Spra 244 Oak 24> Svray of Pears 237 Banana Tree 258 Tea Plant 259 Coffee Plant 260 Pineapple ...
), in the long-run; while in the short-run, the sector growth was positively and significantly influenced by labour employment. ... Dynamic Ordinary Least Square (DOLS) method was employed in the analysis of the data. ... Sector growth rose by 30% to the GDP of nearly ₦70 billion in 2015. This shows that the sector has shown resilient in its growth. ...doi:10.4314/as.v20i1.8 fatcat:zxzp3dx5kfgszg4v7jcn4s3koa
« Previous Showing results 1 — 15 out of 287 results