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 38 articles , 1 standard article )

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

1 2 next

  1. Marmsoler, Diego; Gidey, Habtom Kashay: Interactive verification of architectural design patterns in FACTum (2019)
  2. Marmsoler, Diego; Gleirscher, Mario: Specifying properties of dynamic architectures using configuration traces (2016)
  3. Aldini, Alessandro; Bernardo, Marco; Corradini, Flavio: A process algebraic approach to software architecture design (2010)
  4. Desel, Jörg; Merceron, Agathe: Vicinity respecting homomorphisms for abstracting system requirements (2010)
  5. Broy, Manfred: Model-driven architecture-centric engineering of (embedded) software intensive systems: modeling theories and architectural milestones (2007) ioport
  6. Sharafi, Mehran; Shams Aliee, Fereidoon; Movaghar, Ali: A review on specifying software architectures using extended automata-based models (2007)
  7. Vanderperren, Wim; Suvée, Davy; De Fraine, Bruno; Jonckers, Viviane: Aspect-oriented component composition in pacoSuite through invasive composition adapters (2007) ioport
  8. Baresi, Luciano; Heckel, Reiko; Thöne, Sebastian; Varró, Dániel: Style-based modeling and refinement of service-oriented architecturesa graph transformation-based approach (2006) ioport
  9. Corradini, Flavio; Inverardi, Paola; Wolf, Alexander L.: On relating functional specifications to architectural specifications: A case study (2006)
  10. Dai, Lirong; Cooper, Kendra: Modeling and performance analysis for security aspects (2006)
  11. Lin, Hong; Yang, Chunsheng: Specifying distributed multi-agent systems in chemical reaction metaphor (2006) ioport
  12. Papadopoulos, George A.; Stavrou, Aristos; Papapetrou, Odysseas: An implementation framework for software architectures based on the coordination paradigm (2006)
  13. Bracciali, Andrea; Brogi, Antonio; Turini, Franco: A framework for specifying and verifying the behaviour of open systems (2005)
  14. Cooper, Kendra; Dai, Lirong; Deng, Yi: Performance modeling and analysis of software architectures: an aspect-oriented UML based approach (2005)
  15. Quéma, Vivien; Cecchet, Emmanuel: The role of software architecture in configuring middleware: The ScalAgent experience (2004)
  16. 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) ioport
  17. Westfechtel, Bernhard; Conradi, Reidar: Software architecture and software configuration management (2003)
  18. Canal, Carlos; Pimentel, Ernesto; Troya, José M.: Compatibility and inheritance in software architectures (2002)
  19. Eden, Amnon H.; Jahnke, Jens: Coordinating software evolution via two-tier programming (2002)
  20. Garlan, David; Cheng, Shang-Wen; Kompanek, Andrew J.: Reconciling the needs of architectural description with object-modeling notations (2002)

1 2 next