منابع مشابه
Semantics-Preserving Message Translation
It is common for information exchange between heterogeneous systems to be syntactically correct but fail to achieve its intended purpose due to semantic mismatches. NATO research group IST-094 is developing a framework to facilitate semantic interoperability. We will show a live demonstration of one possible approach to implementing a message translation broker, following the Semantic Interoper...
متن کاملMessage-generated Kripke semantics
We show how to generate multi-agent Kripke models from message exchanges. With these models we can analyze the epistemic consequences of a message exchange. One novelty in this approach is that we include the messages in our logical language. This allows us to model messages that mention other messages and agents that reason about messages. Our framework can be used to model a wide range of dif...
متن کاملPreference Semantics for Message Understanding
The design of effective natural language processing systems requires a combination of the theoretical and the practical. We want to have a theoretically well-founded design so that we can take advantage of gradual improvements in our knowledge of syntax, semantics, discourse structures, and the subject domain. At the same time we need to adopt a practical approach which recognizes the inevitabl...
متن کاملSemantics of Message Sequence Charts
The language of MSC diagrams is widely used for the specification of communicating systems, the design of software and hardware for real time and reactive systems, and other industrial applications. Often it is used as an abstraction of systems specified in SDL or UML (in the form of sequence diagrams). In this paper, a novel representation of the semantics of message sequence charts is describ...
متن کاملStatic semantics of message sequence charts
Reduction and Topology, p. 28. Non Interleaving Process Algebra, p. 17. Design and Analysis ofDynamic Leader Election Protocolsin Broadcast Networks, p. 73. A general conservative extension theorem in process algebra, p. 17.Job Shop Scheduling by Constraint Satisfaction, p. 22. A Hierarchical Membership Protocol for SynchronousDistributed Systems. p. 43. Temporal operators viewe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1986
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093636679