Matches in SemOpenAlex for { <https://semopenalex.org/work/W2120428809> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2120428809 abstract "Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience in using formal methods to enhance processes and tools for development of business information software based on service-oriented architectures. In our work, which takes place in an industrial setting, we focus on the configuration of middleware, verifying application-level requirements in the presence of faults. In pilot studies provided by SAP, we used the Event-B formalism and the open Rodin tools platform to prove properties of models of business protocols and expose weaknesses of certain middleware configurations with respect to particular protocols. We then extended the approach to use models automatically generated from diagrammatic design tools, opening the possibility of seamless integration with current development environments. Increased automation in the verification process, through domain-specific models and theories, is a goal for future work." @default.
- W2120428809 created "2016-06-24" @default.
- W2120428809 creator A5003253962 @default.
- W2120428809 creator A5010908991 @default.
- W2120428809 creator A5079640086 @default.
- W2120428809 creator A5082173249 @default.
- W2120428809 date "2009-01-01" @default.
- W2120428809 modified "2023-09-26" @default.
- W2120428809 title "Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware" @default.
- W2120428809 cites W1554863622 @default.
- W2120428809 cites W1556900989 @default.
- W2120428809 cites W1563841124 @default.
- W2120428809 cites W1565495482 @default.
- W2120428809 cites W1606900254 @default.
- W2120428809 cites W1930200668 @default.
- W2120428809 cites W1945848346 @default.
- W2120428809 cites W2015910212 @default.
- W2120428809 cites W201919898 @default.
- W2120428809 cites W2031111226 @default.
- W2120428809 cites W2039518144 @default.
- W2120428809 cites W2042851811 @default.
- W2120428809 cites W2082000355 @default.
- W2120428809 cites W2103714221 @default.
- W2120428809 cites W2104039702 @default.
- W2120428809 cites W2121277374 @default.
- W2120428809 cites W2121511305 @default.
- W2120428809 cites W2145071552 @default.
- W2120428809 cites W2161528798 @default.
- W2120428809 cites W2169756566 @default.
- W2120428809 cites W70125229 @default.
- W2120428809 doi "https://doi.org/10.1109/iceccs.2009.29" @default.
- W2120428809 hasPublicationYear "2009" @default.
- W2120428809 type Work @default.
- W2120428809 sameAs 2120428809 @default.
- W2120428809 citedByCount "8" @default.
- W2120428809 countsByYear W21204288092014 @default.
- W2120428809 crossrefType "proceedings-article" @default.
- W2120428809 hasAuthorship W2120428809A5003253962 @default.
- W2120428809 hasAuthorship W2120428809A5010908991 @default.
- W2120428809 hasAuthorship W2120428809A5079640086 @default.
- W2120428809 hasAuthorship W2120428809A5082173249 @default.
- W2120428809 hasConcept C115903868 @default.
- W2120428809 hasConcept C120314980 @default.
- W2120428809 hasConcept C127413603 @default.
- W2120428809 hasConcept C169468491 @default.
- W2120428809 hasConcept C174998907 @default.
- W2120428809 hasConcept C193669473 @default.
- W2120428809 hasConcept C207505557 @default.
- W2120428809 hasConcept C21547014 @default.
- W2120428809 hasConcept C41008148 @default.
- W2120428809 hasConcept C85345410 @default.
- W2120428809 hasConceptScore W2120428809C115903868 @default.
- W2120428809 hasConceptScore W2120428809C120314980 @default.
- W2120428809 hasConceptScore W2120428809C127413603 @default.
- W2120428809 hasConceptScore W2120428809C169468491 @default.
- W2120428809 hasConceptScore W2120428809C174998907 @default.
- W2120428809 hasConceptScore W2120428809C193669473 @default.
- W2120428809 hasConceptScore W2120428809C207505557 @default.
- W2120428809 hasConceptScore W2120428809C21547014 @default.
- W2120428809 hasConceptScore W2120428809C41008148 @default.
- W2120428809 hasConceptScore W2120428809C85345410 @default.
- W2120428809 hasLocation W21204288091 @default.
- W2120428809 hasOpenAccess W2120428809 @default.
- W2120428809 hasPrimaryLocation W21204288091 @default.
- W2120428809 hasRelatedWork W1414619900 @default.
- W2120428809 hasRelatedWork W1998860896 @default.
- W2120428809 hasRelatedWork W2109884864 @default.
- W2120428809 hasRelatedWork W2118397962 @default.
- W2120428809 hasRelatedWork W2120428809 @default.
- W2120428809 hasRelatedWork W2126084718 @default.
- W2120428809 hasRelatedWork W2473329208 @default.
- W2120428809 hasRelatedWork W2567643008 @default.
- W2120428809 hasRelatedWork W2913113043 @default.
- W2120428809 hasRelatedWork W2551442231 @default.
- W2120428809 isParatext "false" @default.
- W2120428809 isRetracted "false" @default.
- W2120428809 magId "2120428809" @default.
- W2120428809 workType "article" @default.