Filters








287 Hits in 2.0 sec

Lotos Specification Style for OSI [chapter]

Ken J. Turner, Marten van Sinderen
1995 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

A common compiler for LOTOS and SDL specifications

C. Binding, W. Bouma, M. Dauphin, G. Karjoth, Y. Yang
1992 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

Verifying Service Continuity in a Dynamic Reconfiguration Procedure: Application to a Satellite System

L. Apvrille, P. de Saqui-Sannes, P. Sénac, C. Lohr
2004 Automated Software Engineering : An International Journal  
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

TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit

L. Apvrille, J.-P. Courtiat, C. Lohr, P. de Saqui-Sannes
2004 IEEE Transactions on Software Engineering  
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 [32] and ports in UML 2.0 [30] , TURTLE gates are not defined by a list of authorized messages.  ... 
doi:10.1109/tse.2004.34 fatcat:bxulrbu54nel5dlv2vidfge3eu

Assimilating aircraft-based measurements to improve forecast accuracy of volcanic ash transport

G. Fu, H.X. Lin, A.W. Heemink, A.J. Segers, S. Lu, T. Palsson
2015 Atmospheric Environment  
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

The European telecommunications research and development program RACE and its software project SPECS

M. Dauphin, M. M. Marques, A. P. Mullery, P. Rodier
1992 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

Changes in Power Plant NOx Emissions over Northwest Greece Using a Data Assimilation Technique

Ioanna Skoulidou, Maria-Elissavet Koukouli, Arjo Segers, Astrid Manders, Dimitris Balis, Trissevgeni Stavrakou, Jos van Geffen, Henk Eskes
2021 Atmosphere  
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

Role of Model Transformation in Method Engineering [chapter]

Motoshi Saeki
2002 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

Page 780 of Puck Vol. 6, Issue 152 [page]

1880 Puck  
‘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.  ... 

Model-based aviation advice on distal volcanic ash clouds by assimilating aircraft in-situ measurements

G. Fu, A. W. Heemink, S. Lu, A. J. Segers, K. Weber, H. X. Lin
2016 Atmospheric Chemistry and Physics Discussions  
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

Bridging CSP and C++ with selective formalism and executable specifications

W.B. Gardner
2003 First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings.  
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

Model-based aviation advice on distal volcanic ash clouds by assimilating aircraft in situ measurements

Guangliang Fu, Arnold Heemink, Sha Lu, Arjo Segers, Konradin Weber, Hai-Xiang Lin
2016 Atmospheric Chemistry and Physics  
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-P: a UML profile for the formal validation of critical and distributed systems

Ludovic Apvrille, Pierre de Saqui-Sannes, Ferhat Khendek
2006 Journal of Software and Systems Modeling  
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

Page 89 of Primary Education Vol. 8, Issue 2 [page]

1900 Primary Education  
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  ... 

Long-run and short-run responses of agricultural sector growth to its determinants in Nigeria

H.S. Umar, S.I. Audu, C.N. Okoye
2021 Agro-Science  
), 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