Validating Timed Models of Deployment Components with Parametric Concurrency

摘要: Many software systems today are designed without assuming a fixed underlying architecture, and may be adapted for sequential, multicore, or distributed deployment. Examples of such found in, e.g., product lines, service-oriented computing, information systems, embedded operating telephony. Models need to capture range over relevant deployment scenarios, so it is interesting lift aspects low-level concerns the abstraction level modeling language. This paper proposes an abstract model components concurrent objects, extending Creol The parametric in amount concurrency they provide; i.e., vary processing resources. We give formal semantics characterize equivalence between which differ resources terms test suites. Our executable on Maude, allows simulations suites applied component with different