Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML

Author(s):  
Werner Damm ◽  
Bernhard Josko ◽  
Amir Pnueli ◽  
Angelika Votintseva
Author(s):  
Zeynab Sabahi-Kaviani ◽  
Ramtin Khosravi ◽  
Marjan Sirjani ◽  
Peter Csaba Ölveczky ◽  
Ehsan Khamespanah
Keyword(s):  

Author(s):  
Christoph Waldmann ◽  
Michael Diepenbroek ◽  
Uwe Schindler ◽  
Ubbo Visser

The strategy to observe geophysical and biochemical processes in the world oceans will be subjected to significant changes within the upcoming years by complementing current point sampling campaigns at certain time instances with permanent possibly cabled observatory stations. This is underlined by the outcome of the ESONET study, an EU funded project, which states a strong need for permanent observation stations in the Open Ocean and coastal waters to monitor the health of the oceans around Europe and detect potential environmental hazards. As these stations will be connected with the main land via submarine cables or via satellite communication systems it is possible to collect scientific data in real time and also to interact with the instrument to control the sampling process. Here the concept of interoperability becomes a necessity as the inventory of sensors is changing permanently due to the scientific demands and maintenance and service needs. Additional to that there are marine sensors in particular for measuring biochemical parameters where only experts are able to identify, connect and interpret the signals of the sensors. When setting up the new, costly infrastructure of marine sensor networks it is advisable that the sensor data can be detected and interpreted also by people from outside the research community to ensure an optimal use and a widespread availability to public institutions and private companies. In the context of hazardous events like Tsunamis waves the necessity is obvious as immediate, real-time information is crucial for efficient disaster management. Moreover, if we provide formal semantics on the sensor, the signals could also be understood from machines. This would gives us new opportunities with the sensor networks, e.g. identify “foreign” sensors, automatically interpret signals from own and foreign sensors, plausibility controls for the quality of the data, etc. This paper connects the actual needs for the construction of marine sensor networks with the technologies that are available from the Web community to outline a general scheme for implementing interoperability in Marine Geosensor networks and systems.


2015 ◽  
Vol 25 ◽  
pp. 57 ◽  
Author(s):  
Adrian Brasoveanu ◽  
Jakub Dotlacil

The main question we investigate is whether meaning representations of the kind that are pervasive in formal semantics are built up incrementally and predictively when language is used in real time, in much the same way that the real-time construction of syntactic representations has been argued to be. The interaction of presupposition resolution with conjunctions vs. conditionals with a sentence-final antecedent promises to provide us with the right kind of evidence. Consider the following 'cataphoric' example and the contrast between "and" and "if": "Tina will have coffee with Alex again and / if she had coffee with him at the local cafe". We expect the second clause to be more difficult after "and" than after "if": the conjunction "and" signals that an antecedent that could resolve the "again" presupposition is unlikely to come after this point (the second conjunct is interpreted relative to the context provided by the first conjunct), while the conditional "if" leaves open the possibility that a suitable resolution for the "again" presupposition is forthcoming (the first clause is interpreted relative to the context provided by the second clause). We present experimental evidence supporting these predictions and discuss two approaches to analyze this kind of data.


Author(s):  
Aneta Vulgarakis ◽  
Jagadish Suryadevara ◽  
Jan Carlson ◽  
Cristina Seceleanu ◽  
Paul Pettersson

2015 ◽  
Vol 113 ◽  
pp. 85-118 ◽  
Author(s):  
Zeynab Sabahi-Kaviani ◽  
Ramtin Khosravi ◽  
Peter Csaba Ölveczky ◽  
Ehsan Khamespanah ◽  
Marjan Sirjani
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document