Rapide: A language and toolset for simulation of distributed systems by partial orderings of events The Rapide™ Language effort focuses on developing a new technology for building large-scale, distributed multi-language systems. This technology is based upon a new generation of computer languages, called Executable Architecture Definition Languages (EADLs), and an innovative toolset supporting the use of EADLs in evolutionary development and rigorous analysis of large-scale systems. Rapide™ is designed to support component-based development of large, multi-language systems by utilizing architecture definitions as the development framework. Rapide™ adopts a new event-based execution model of distributed, time-sensitive systems -- the ”timed poset model.” Posets provide the most detailed formal basis to date for constructing early life cycle prototyping tools, and later life cycle tools for correctness and performance analysis of distributed time-sensitive systems.

References in zbMATH (referenced in 42 articles , 1 standard article )

Showing results 1 to 20 of 42.
Sorted by year (citations)

1 2 3 next

  1. Aldini, Alessandro; Bernardo, Marco; Corradini, Flavio: A process algebraic approach to software architecture design (2010)
  2. Desel, Jörg; Merceron, Agathe: Vicinity respecting homomorphisms for abstracting system requirements (2010)
  3. Braem, Mathieu; Joncheere, Niels; Vanderperren, Wim; Der Straeten, Ragnhild Van; Jonckers, Viviane: Concern-specific languages in a visual web service creation environment. (2007)
  4. Broy, Manfred: Model-driven architecture-centric engineering of (embedded) software intensive systems: modeling theories and architectural milestones (2007)
  5. Sharafi, Mehran; Shams Aliee, Fereidoon; Movaghar, Ali: A review on specifying software architectures using extended automata-based models (2007)
  6. Vanderperren, Wim; Suvée, Davy; De Fraine, Bruno; Jonckers, Viviane: Aspect-oriented component composition in pacoSuite through invasive composition adapters (2007)
  7. Baresi, Luciano; Heckel, Reiko; Thöne, Sebastian; Varró, Dániel: Style-based modeling and refinement of service-oriented architecturesa graph transformation-based approach (2006)
  8. Corradini, Flavio; Inverardi, Paola; Wolf, Alexander L.: On relating functional specifications to architectural specifications: A case study (2006)
  9. Dai, Lirong; Cooper, Kendra: Modeling and performance analysis for security aspects (2006)
  10. Lin, Hong; Yang, Chunsheng: Specifying distributed multi-agent systems in chemical reaction metaphor (2006)
  11. Papadopoulos, George A.; Stavrou, Aristos; Papapetrou, Odysseas: An implementation framework for software architectures based on the coordination paradigm (2006)
  12. Bracciali, Andrea; Brogi, Antonio; Turini, Franco: A framework for specifying and verifying the behaviour of open systems (2005)
  13. Cooper, Kendra; Dai, Lirong; Deng, Yi: Performance modeling and analysis of software architectures: an aspect-oriented UML based approach (2005)
  14. Rademaker, Alexandre; De O.Braga, Christiano; Sztajnberg, Alexandre: A rewriting semantics for a software architecture description language. (2005)
  15. Braga, Christiano; Sztajnberg, Alexandre: Towards a rewriting semantics for a software architecture description language. (2004)
  16. Broy, Manfred: Time, abstraction, causality and modularity in interactive systems: Extended abstract. (2004)
  17. Quéma, Vivien; Cecchet, Emmanuel: The role of software architecture in configuring middleware: The ScalAgent experience (2004)
  18. Löwe, Welf; Lundberg, Jonas: A low-level analysis library for architecture recovery. (2003)
  19. Oberleitner, Johann; Gschwind, Thomas: Transforming application compositions with xslts. (2003)
  20. Rine, David: Human exploration and development of space: Using XML database space Wide Web. Space Wide Web by adapters in distributed systems configuration from reusable components. (2003)

1 2 3 next