Matches in SemOpenAlex for { <https://semopenalex.org/work/W2138538863> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2138538863 abstract "The design and the requirements of modern computer-based systems have reached a complexity level that calls for the use of models for the verification of non functional requirements since the beginning of their design cycle. Such systems are however too complex to be modeled directly in a simple unstructured formal language like Queueing Networks or Petri Nets. SIMTHESys (Structured Infrastructure for Multiformalism modeling and Testing of Heterogeneous formalisms and Extensions for SYStems) is a novel approach to multiformalism compositional modeling, that is based on the possibility of freely specifying the dynamics of the elements of a formal modeling language in an open framework. This is obtained by the application of consolidated metamodeling foundations to the description of models, together with the concept of behavior as a bridge between formalism dynamics and solution techniques. In this paper the main concepts of the SIMTHESys approach are presented, together with a running example of how SIMTHESys copes with performance evaluation of multiformalism models." @default.
- W2138538863 created "2016-06-24" @default.
- W2138538863 creator A5009067582 @default.
- W2138538863 creator A5078969275 @default.
- W2138538863 date "2010-08-01" @default.
- W2138538863 modified "2023-10-14" @default.
- W2138538863 title "Element Based Semantics in Multi Formalism Performance Models" @default.
- W2138538863 cites W1980480210 @default.
- W2138538863 cites W2123759196 @default.
- W2138538863 cites W2137668347 @default.
- W2138538863 cites W2161833190 @default.
- W2138538863 doi "https://doi.org/10.1109/mascots.2010.54" @default.
- W2138538863 hasPublicationYear "2010" @default.
- W2138538863 type Work @default.
- W2138538863 sameAs 2138538863 @default.
- W2138538863 citedByCount "17" @default.
- W2138538863 countsByYear W21385388632012 @default.
- W2138538863 countsByYear W21385388632013 @default.
- W2138538863 countsByYear W21385388632014 @default.
- W2138538863 countsByYear W21385388632015 @default.
- W2138538863 countsByYear W21385388632016 @default.
- W2138538863 countsByYear W21385388632018 @default.
- W2138538863 countsByYear W21385388632023 @default.
- W2138538863 crossrefType "proceedings-article" @default.
- W2138538863 hasAuthorship W2138538863A5009067582 @default.
- W2138538863 hasAuthorship W2138538863A5078969275 @default.
- W2138538863 hasConcept C116253237 @default.
- W2138538863 hasConcept C120314980 @default.
- W2138538863 hasConcept C142362112 @default.
- W2138538863 hasConcept C153349607 @default.
- W2138538863 hasConcept C171018156 @default.
- W2138538863 hasConcept C179603123 @default.
- W2138538863 hasConcept C199360897 @default.
- W2138538863 hasConcept C22684755 @default.
- W2138538863 hasConcept C2524010 @default.
- W2138538863 hasConcept C2777904410 @default.
- W2138538863 hasConcept C2985583900 @default.
- W2138538863 hasConcept C31258907 @default.
- W2138538863 hasConcept C33923547 @default.
- W2138538863 hasConcept C38677869 @default.
- W2138538863 hasConcept C41008148 @default.
- W2138538863 hasConcept C558565934 @default.
- W2138538863 hasConcept C73301696 @default.
- W2138538863 hasConcept C80444323 @default.
- W2138538863 hasConcept C86610423 @default.
- W2138538863 hasConceptScore W2138538863C116253237 @default.
- W2138538863 hasConceptScore W2138538863C120314980 @default.
- W2138538863 hasConceptScore W2138538863C142362112 @default.
- W2138538863 hasConceptScore W2138538863C153349607 @default.
- W2138538863 hasConceptScore W2138538863C171018156 @default.
- W2138538863 hasConceptScore W2138538863C179603123 @default.
- W2138538863 hasConceptScore W2138538863C199360897 @default.
- W2138538863 hasConceptScore W2138538863C22684755 @default.
- W2138538863 hasConceptScore W2138538863C2524010 @default.
- W2138538863 hasConceptScore W2138538863C2777904410 @default.
- W2138538863 hasConceptScore W2138538863C2985583900 @default.
- W2138538863 hasConceptScore W2138538863C31258907 @default.
- W2138538863 hasConceptScore W2138538863C33923547 @default.
- W2138538863 hasConceptScore W2138538863C38677869 @default.
- W2138538863 hasConceptScore W2138538863C41008148 @default.
- W2138538863 hasConceptScore W2138538863C558565934 @default.
- W2138538863 hasConceptScore W2138538863C73301696 @default.
- W2138538863 hasConceptScore W2138538863C80444323 @default.
- W2138538863 hasConceptScore W2138538863C86610423 @default.
- W2138538863 hasLocation W21385388631 @default.
- W2138538863 hasOpenAccess W2138538863 @default.
- W2138538863 hasPrimaryLocation W21385388631 @default.
- W2138538863 hasRelatedWork W1524361563 @default.
- W2138538863 hasRelatedWork W152523404 @default.
- W2138538863 hasRelatedWork W2047117783 @default.
- W2138538863 hasRelatedWork W2057156693 @default.
- W2138538863 hasRelatedWork W2096642198 @default.
- W2138538863 hasRelatedWork W2106939030 @default.
- W2138538863 hasRelatedWork W2135745096 @default.
- W2138538863 hasRelatedWork W2138538863 @default.
- W2138538863 hasRelatedWork W2401065712 @default.
- W2138538863 hasRelatedWork W2061892778 @default.
- W2138538863 isParatext "false" @default.
- W2138538863 isRetracted "false" @default.
- W2138538863 magId "2138538863" @default.
- W2138538863 workType "article" @default.