• PIPER

  • Referenced in 28 articles [sw11478]
  • Types as models, model checking message-passing programs. Abstraction and composition are the fundamental issues ... guarantee proof rule for carrying out compositional model checking on the types. Open simulation between ... system and the abstraction relation for compositional model checking. We have implemented these ideas...
  • CMC

  • Referenced in 34 articles [sw12422]
  • Tool for Compositional Model-Checking of Real-Time Systems. In this paper we present ... tool (CMC) for compositional model-checking of real-time systems. CMC is based...
  • ABAQUS/Standard

  • Referenced in 190 articles [sw07161]
  • composite airplane fuselage. Within a single simulation, it is possible to analyze a model both...
  • DYNA3D

  • Referenced in 106 articles [sw17036]
  • models are available to represent a wide range of material behavior, including elasticity, plasticity, composites ... single surface contact. Rigid materials provide added modeling flexibility. A material model driver with interactive...
  • Ptolemy

  • Referenced in 78 articles [sw07459]
  • offers heterogeneous modeling capabilities by allowing different models of computation, both untimed and timed ... sense that atomic actors and their compositions are treated in a unified way. In particular ... using composition operators that in Ptolemy are called directors. Different directors realise different models...
  • Bio-PEPA

  • Referenced in 104 articles [sw01361]
  • order to handle some features of biological models, suchas stoichiometry and the use of general ... seen as an intermediate, formal, compositional representation of biological systems, on which different kindsof analysis ... show the translation of a biological model into thenew language and we report some analysis...
  • PICCOLA

  • Referenced in 17 articles [sw06408]
  • that embodies this paradigm. Piccola models components and compositional abstractions by means of communicating concurrent ... Flexibility, extensibility and robustness are obtained by modelling both interfaces of components and the contexts ... offers explicit support for viewing applications as compositions of components and show that separating components...
  • WSAT

  • Referenced in 37 articles [sw01022]
  • verifying composite web service designs, with the state of the art model checking techniques ... raise several challenges in the application of model checking: (1) Numerous competing web service standards ... complicate the formal specification of web service composition. (2) Asynchronous messaging makes most interesting verification ... based manipulation are not supported by current model checkers...
  • LTSA-WS

  • Referenced in 13 articles [sw10585]
  • tool for model-based verification of web service compositions and choreography. In this paper ... tool for a model-based approach to verifying compositions of web service implementations. The tool ... properties created from design specifications and implementation models to confirm expected results from the viewpoints ... tools for specification, formal modeling, verification and validation of the composition process...
  • Reo

  • Referenced in 83 articles [sw06353]
  • coordination language. Reo presents a paradigm for composition of distributed software components and services based ... enforces an exogenous channel-based coordination model that defines how designers can build complex coordinators ... glue code” language for compositional construction of connectors that orchestrate the cooperative behavior of instances...
  • ABS

  • Referenced in 27 articles [sw21211]
  • concurrent object-oriented model which is inherently compositional. We discuss central design issues ... occur at runtime for well-typed ABS models. Finally, we briefly discuss the tool support...
  • M-nets

  • Referenced in 11 articles [sw09132]
  • most other high-level net models; and composition – in particular, synchronisation – in a process algebraic ... various algebraic properties. Moreover, the model is such that composition operations are coherent with unfolding...
  • Maya

  • Referenced in 20 articles [sw14258]
  • computer animation, modeling, simulation, rendering, and compositing on a highly extensible production platform. Maya...
  • ICENI

  • Referenced in 12 articles [sw07821]
  • within our brid environment, by using composite performance models. We demonstrate the effectiveness of this...
  • PseAAC

  • Referenced in 30 articles [sw16469]
  • acid (PseAA) composition can represent a protein sequence in a discrete model without completely losing ... problems may need different kinds of PseAA composition. Here, we present a web-server called...
  • VCFEM-HOMO

  • Referenced in 25 articles [sw35054]
  • composite) materials by combining asymptotic homogenization theory with the Voronoi cell finite element model (VCFEM...
  • Blender

  • Referenced in 17 articles [sw08125]
  • pipeline—modeling, rigging, animation, simulation, rendering, compositing and motion tracking, even video editing and game...
  • PredLactamase

  • Referenced in 12 articles [sw16470]
  • pseudo amino acid compositions. Comparative performances indicated that SVM model trained on Type-1 pseudo...
  • Moby/DC

  • Referenced in 5 articles [sw01395]
  • phase automata. The algorithm applies compositional model-checking techniques and handles parameters by built ... parameters the model-checking problem is undecidable in general. Hence, we have to accept that ... overapproximation together with the compositional technique makes the model-checker especially well suited for proving...
  • CompLognormal

  • Referenced in 4 articles [sw24198]
  • quantile function, random numbers of any composite model based on the lognormal distribution...