Matches in SemOpenAlex for { <https://semopenalex.org/work/W97830600> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W97830600 endingPage "31" @default.
- W97830600 startingPage "16" @default.
- W97830600 abstract "Distributed systems are hard to program, understand and analyze. Two key sources of complexity are the many possible behaviors of a system, arising from the parallel execution of its distributed nodes, and the handling of asynchronous messages exchanged between nodes. We show how to systematically construct executable models of publish/subscribe systems based on the Java Messaging Service (JMS). These models, written in the Abstract Behavioural Specification (ABS) language, capture the essentials of the messaging behavior of the original Java systems, and eliminate details not related to distribution and messages. We report on jms2abs, a tool that automatically extracts ABS models from the bytecode of JMS systems. Since the extracted models are formal and executable, they allow us to reason about the modeled JMS systems by means of tools built specifically for the modeling language. For example, we have succeeded to apply simulation, termination and resource analysis tools developed for ABS to, respectively, execute, prove termination and infer the resource consumption of the original JMS applications." @default.
- W97830600 created "2016-06-24" @default.
- W97830600 creator A5048107204 @default.
- W97830600 creator A5065315160 @default.
- W97830600 creator A5091905437 @default.
- W97830600 date "2012-01-01" @default.
- W97830600 modified "2023-10-02" @default.
- W97830600 title "Automated Extraction of Abstract Behavioural Models from JMS Applications" @default.
- W97830600 cites W146234417 @default.
- W97830600 cites W1517296227 @default.
- W97830600 cites W1517583815 @default.
- W97830600 cites W1604442026 @default.
- W97830600 cites W1808131711 @default.
- W97830600 cites W1874151619 @default.
- W97830600 cites W2033745581 @default.
- W97830600 cites W2094712524 @default.
- W97830600 cites W2098400709 @default.
- W97830600 cites W2098931293 @default.
- W97830600 cites W2113535330 @default.
- W97830600 cites W2137513279 @default.
- W97830600 cites W2149127686 @default.
- W97830600 cites W4251600813 @default.
- W97830600 doi "https://doi.org/10.1007/978-3-642-32469-7_2" @default.
- W97830600 hasPublicationYear "2012" @default.
- W97830600 type Work @default.
- W97830600 sameAs 97830600 @default.
- W97830600 citedByCount "2" @default.
- W97830600 countsByYear W978306002013 @default.
- W97830600 crossrefType "book-chapter" @default.
- W97830600 hasAuthorship W97830600A5048107204 @default.
- W97830600 hasAuthorship W97830600A5065315160 @default.
- W97830600 hasAuthorship W97830600A5091905437 @default.
- W97830600 hasConcept C111919701 @default.
- W97830600 hasConcept C115903868 @default.
- W97830600 hasConcept C120314980 @default.
- W97830600 hasConcept C151319957 @default.
- W97830600 hasConcept C15524039 @default.
- W97830600 hasConcept C160145156 @default.
- W97830600 hasConcept C168702491 @default.
- W97830600 hasConcept C199360897 @default.
- W97830600 hasConcept C2777472213 @default.
- W97830600 hasConcept C2779818221 @default.
- W97830600 hasConcept C2780801425 @default.
- W97830600 hasConcept C31258907 @default.
- W97830600 hasConcept C41008148 @default.
- W97830600 hasConcept C548217200 @default.
- W97830600 hasConceptScore W97830600C111919701 @default.
- W97830600 hasConceptScore W97830600C115903868 @default.
- W97830600 hasConceptScore W97830600C120314980 @default.
- W97830600 hasConceptScore W97830600C151319957 @default.
- W97830600 hasConceptScore W97830600C15524039 @default.
- W97830600 hasConceptScore W97830600C160145156 @default.
- W97830600 hasConceptScore W97830600C168702491 @default.
- W97830600 hasConceptScore W97830600C199360897 @default.
- W97830600 hasConceptScore W97830600C2777472213 @default.
- W97830600 hasConceptScore W97830600C2779818221 @default.
- W97830600 hasConceptScore W97830600C2780801425 @default.
- W97830600 hasConceptScore W97830600C31258907 @default.
- W97830600 hasConceptScore W97830600C41008148 @default.
- W97830600 hasConceptScore W97830600C548217200 @default.
- W97830600 hasLocation W978306001 @default.
- W97830600 hasOpenAccess W97830600 @default.
- W97830600 hasPrimaryLocation W978306001 @default.
- W97830600 hasRelatedWork W148331396 @default.
- W97830600 hasRelatedWork W1532887546 @default.
- W97830600 hasRelatedWork W1776988469 @default.
- W97830600 hasRelatedWork W1959863721 @default.
- W97830600 hasRelatedWork W2108339612 @default.
- W97830600 hasRelatedWork W2128133205 @default.
- W97830600 hasRelatedWork W2220571783 @default.
- W97830600 hasRelatedWork W2464014640 @default.
- W97830600 hasRelatedWork W2505061641 @default.
- W97830600 hasRelatedWork W2785207032 @default.
- W97830600 isParatext "false" @default.
- W97830600 isRetracted "false" @default.
- W97830600 magId "97830600" @default.
- W97830600 workType "book-chapter" @default.