Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Verisim: Formal Analysis of Network Simulations
IEEE Transactions on Software Engineering
Distributed Algorithms
Maude: specification and programming in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Specification of real-time and hybrid systems in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
A Network-Centric Approach to Embedded Software for Tiny Devices
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Logics and Models of Real Time: A Survey
Proceedings of the Real-Time: Theory in Practice, REX Workshop
The nesC language: A holistic approach to networked embedded systems
PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Creol: a type-safe object-oriented model for distributed concurrent systems
Theoretical Computer Science - Components and objects
On Modelling Sensor Networks in Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
Testing Concurrent Objects with Application-Specific Schedulers
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Concurrency, Compositionality, and Correctness
Design challenges for energy-constrained ad hoc wireless networks
IEEE Wireless Communications
Cross-layer design optimizations in wireless protocol stacks
Computer Communications
Cross-layer design: a survey and the road ahead
IEEE Communications Magazine
Dynamic resource reallocation between deployment components
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Grouping nodes in wireless sensor networks using coalitional game theory
FMOODS'10/FORTE'10 Proceedings of the 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
| Hi-index | 0.00 |
Many distributed applications can be understood in terms of components interacting in an open environment. This interaction is not always uniform as the network may consist of subnets with different quality: Some components are tightly connected with order preservation of communicated messages, whereas others are more loosely connected such that overtaking of messages and even message loss may occur. Furthermore, certain components may communicate over wireless networks, where sending and receiving must be synchronized, since the wireless medium cannot buffer messages. This paper proposes a formal framework for such systems, which allows high-level modeling and formal analysis of distributed systems where interaction is managed by a variety of nets, including wireless ones. We introduce a simple modeling language for object-oriented components, extending the Creol language. An operational semantics for the language is defined in rewriting logic, which directly provides an executable implementation in Maude.