Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Concepts and experiments in computational reflection
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
ABCL: an object-oriented concurrent system
ABCL: an object-oriented concurrent system
Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
ActorSpace: an open distributed programming paradigm
PPOPP '93 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming
Reflecting the semantics of reflected proof
Proof theory
A logical theory of concurrent objects and its realization in the Maude language
Research directions in concurrent object-oriented programming
Reasoning about meta level activities in open distributed systems
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
The Legion vision of a worldwide virtual computer
Communications of the ACM
Coordinating distributed objects: an actor-based approach to synchronization
Coordinating distributed objects: an actor-based approach to synchronization
Metamathematics, machines, and Go¨del's proof
Metamathematics, machines, and Go¨del's proof
Computational models for open distributed systems
FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
Monitoring, security, and dynamic configuration with the dynamicTAO reflective ORB
IFIP/ACM International Conference on Distributed systems platforms
Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications
Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications
The Art of the Metaobject Protocol
The Art of the Metaobject Protocol
Abstraction and Modularity Mechanisms for Concurrent Computing
IEEE Parallel & Distributed Technology: Systems & Technology
Maude: specification and programming in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Reflection in conditional rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
REFLECTION '01 Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns
Scalable Distributed Garbage Collection for Systems of Active Objects
IWMM '92 Proceedings of the International Workshop on Memory Management
COMPSAC '00 24th International Computer Software and Applications Conference
2K: A Reflective, Component-Based Operating System for Rapidly Changing Environments
ECOOP '98 Workshop ion on Object-Oriented Technology
Rewriting Logic as a Metalogical Framework
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Process-Algebraic Foundations of Aspect-Oriented Programming
REFLECTION '01 Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns
Writing ODP Enterprise Specifications in Maude
WOODPECKER '01 Proceedings of the 1st International Workshop on Open Distribute Processing: Enterprise, Computation, Knowledge, Engineering and Realisation: In conjunction with ICEIS 2001
A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
ASA/MA 2000 Proceedings of the Second International Symposium on Agent Systems and Applications and Fourth International Symposium on Mobile Agents
The Importance of Resource Management in Engineering Distributed Objects
EDO '00 Revised Papers from the Second International Workshop on Engineering Distributed Objects
Composition in Multiparadigm Specification Techniques
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
Integrating Meta-Information Management and Reflection in Middleware
DOA '00 Proceedings of the International Symposium on Distributed Objects and Applications
Definitional interpreters for higher-order programming languages
ACM '72 Proceedings of the ACM annual conference - Volume 2
Specifying and Measuring Quality of Service in Distributed Object Systems
ISORC '98 Proceedings of the The 1st IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Using QDL to Specify QoS Aware Distributed (QuO) Application Configuration
ISORC '00 Proceedings of the Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Modular specification of interaction policies in distributed computing
Modular specification of interaction policies in distributed computing
An actor-based framework for real-time coordination
An actor-based framework for real-time coordination
Customization and composition of distributed objects: policy management in distributed software architectures
The Anatomy of the Grid: Enabling Scalable Virtual Organizations
International Journal of High Performance Computing Applications
Using meta-objects to support optimisation in the Apertos operating system
COOTS'95 Proceedings of the USENIX Conference on Object-Oriented Technologies on USENIX Conference on Object-Oriented Technologies (COOTS)
A Semantic Framework for Modeling and Reasoning about Reflective Middleware
IEEE Distributed Systems Online
A universal modular ACTOR formalism for artificial intelligence
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
An architecture for next generation middleware
Middleware '98 Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing
The design of the TAO real-time object request broker
Computer Communications
A semantic model for safe protocol interaction
Proceedings of the 2006 ACM symposium on Applied computing
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude
Formal Methods in System Design
Complete symbolic reachability analysis using back-and-forth narrowing
Theoretical Computer Science - Algebra and coalgebra in computer science
Higher-Order and Symbolic Computation
Narrowing and Rewriting Logic: from Foundations to Applications
Electronic Notes in Theoretical Computer Science (ENTCS)
Policy-based Coordination in PAGODA: A Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
Comparing Three Coordination Models: Reo, ARC, and RRD
Electronic Notes in Theoretical Computer Science (ENTCS)
A Formal Framework for Interactive Agents
Electronic Notes in Theoretical Computer Science (ENTCS)
Semantic Reflection --- Knowledge Based Design of Intelligent Simulation Environments
KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers
FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Semantic modelling for virtual worlds a novel paradigm for realtime interactive systems?
Proceedings of the 2008 ACM symposium on Virtual reality software and technology
Cyber-Physical Systems and Events
Software-Intensive Systems and New Computing Paradigms
Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints
Electronic Notes in Theoretical Computer Science (ENTCS)
A Rewriting Semantics for a Software Architecture Description Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
Coordination Models Based on a Formal Model of Distributed Object Reflection
Electronic Notes in Theoretical Computer Science (ENTCS)
Reflecting on aspect-oriented programming, metaprogramming, and adaptive distributed monitoring
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
Comparing three coordination models: Reo, ARC, and PBRD
Science of Computer Programming
Specification and analysis of distributed object-based stochastic hybrid systems
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Formal semantics and analysis of behavioral AADL models in real-time maude
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
Symbolic execution of Reo circuits using constraint automata
Science of Computer Programming
Stable availability under denial of service attacks through formal patterns
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
A conceptual framework for adaptation
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Scoped synchronization constraints for large scale actor systems
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
Design and analysis of cloud-based architectures with KLAIM and maude
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
Modelling and analyzing adaptive self-assembly strategies with maude
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
Taming distributed system complexity through formal patterns
Science of Computer Programming
Hi-index | 0.00 |
A generic formal model of distributed object reflection is proposed, that combines logical reflection with a structuring of distributed objects as nested configurations of metaobject that can control subobjects under them. The model provides mathematical models for a good number of existing models of distributed reflection and of reflective middleware. To illustrate the ideas, we show in some detail how two important models of distributed actor reflection can be naturally obtained as special cases of our generic model, and discuss how several recent models of reflective middleware can be likewise formalized as instances of our model.