Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
Metric semantics for true concurrent real time
Theoretical Computer Science
Information flow vs. resource access in the asynchronous pi-calculus
ACM Transactions on Programming Languages and Systems (TOPLAS)
Maude: specification and programming in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Performance Analysis of Component-Based Applications
SPLC 2 Proceedings of the Second International Conference on Software Product Lines
Verification for Java's Reentrant Multithreading Concept
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Model-Based Performance Prediction in Software Development: A Survey
IEEE Transactions on Software Engineering
A Theory of Distributed Objects
A Theory of Distributed Objects
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
Verification approach of metropolis design framework for embedded systems
International Journal of Parallel Programming
Parametric Performance Contracts for Software Components with Concurrent Behaviour
Electronic Notes in Theoretical Computer Science (ENTCS)
Task automata: Schedulability, decidability and undecidability
Information and Computation
Programming Erlang: Software for a Concurrent World
Programming Erlang: Software for a Concurrent World
Redesign of the LMST Wireless Sensor Protocol through Formal Modeling and Statistical Model Checking
FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
An Object-Oriented Component Model for Heterogeneous Nets
Formal Methods for Components and Objects
Scala Actors: Unifying thread-based and event-based programming
Theoretical Computer Science
Model evolution by run-time parameter adaptation
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
A Verification System for Distributed Objects with Asynchronous Method Calls
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
A complete guide to the future
ESOP'07 Proceedings of the 16th European conference on Programming
JCoBox: generalizing active objects to concurrent components
ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
Modeling and validating distributed embedded real-time systems with VDM++
FM'06 Proceedings of the 14th international conference on Formal Methods
Validating timed models of deployment components with parametric concurrency
FoVeOOS'10 Proceedings of the 2010 international conference on Formal verification of object-oriented software
Models of Rate Restricted Communication for Concurrent Objects
Electronic Notes in Theoretical Computer Science (ENTCS)
Simulating concurrent behaviors with worst-case cost bounds
FM'11 Proceedings of the 17th international conference on Formal methods
A formal model of user-defined resources in resource-restricted deployment scenarios
FoVeOOS'11 Proceedings of the 2011 international conference on Formal Verification of Object-Oriented Software
Formal modeling of resource management for cloud architectures: an industrial case study
ESOCC'12 Proceedings of the First European conference on Service-Oriented and Cloud Computing
Modeling resource-aware virtualized applications for the cloud in real-time ABS
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Engineering virtualized services
Proceedings of the Second Nordic Symposium on Cloud Computing & Internet Technologies
A RT-Maude-based framework for component installation
International Journal of Critical Computer-Based Systems
Hi-index | 0.00 |
Today's software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multicore and distributed architectures to the cloud. Examples of such systems are found in, e.g., software product lines, service-oriented computing, information systems, embedded systems, operating systems, and telephony. To model and analyze systems without a fixed architecture, the models need to naturally capture and range over relevant deployment scenarios. For this purpose, it is interesting to lift aspects of low-level deployment concerns to the abstraction level of the modeling language. In this paper, the object-oriented modeling language Creol is extended with a notion of dynamic deployment components with parametric processing resources, such that processor resources may be explicitly reallocated. The approach is compositional in the sense that functional models and reallocation strategies are both expressed in Creol, and functional models can be run alone or in combination with different reallocation strategies. The formal semantics of deployment components is given in rewriting logic, extending the semantics of Creol, and executes on Maude, which allows simulations and test suites to be applied to models which vary in their available resources as well as in their resource reallocation strategies.