Matches in SemOpenAlex for { <https://semopenalex.org/work/W1546245991> ?p ?o ?g. }
- W1546245991 abstract "This paper describes extensions to a Behavioural Description Language (BDL), which was originally proposed to characterize concurrent behaviour of simple objects and a group of objects. One of the novelties of this paper is its application to the field of E-Commerce transaction systems. Based on the BDL, we propose new concepts, namely, transaction patterns and transaction architectures, which have event-based semantics to describe large-scale transaction systems. Furthermore, the transaction architecture is introduced as a unified medium for specifying and verifying distributed, heterogeneous and complex E-Commerce transaction processes. It is also illustrated as a powerful modeling technique which is easy-to-use, flexible and promotes reusability. ACM Classification: I.1.3 (Symbolic and Algebra Manipulation: Languages and Systems – special-purpose algebraic systems), D.2.4 (Software/Program Verification: Model Checking), K.4.4 (Computers and society; Electronic Commerce)" @default.
- W1546245991 created "2016-06-24" @default.
- W1546245991 creator A5048803946 @default.
- W1546245991 creator A5090051516 @default.
- W1546245991 date "2005-01-01" @default.
- W1546245991 modified "2023-09-24" @default.
- W1546245991 title "An Event Algebra Based System for Verifying E-Commerce Transactions." @default.
- W1546245991 cites W1239375374 @default.
- W1546245991 cites W1489712265 @default.
- W1546245991 cites W1507365940 @default.
- W1546245991 cites W1515932031 @default.
- W1546245991 cites W1520552769 @default.
- W1546245991 cites W1530692478 @default.
- W1546245991 cites W1545155892 @default.
- W1546245991 cites W1610745951 @default.
- W1546245991 cites W1783092468 @default.
- W1546245991 cites W1831489778 @default.
- W1546245991 cites W1874305960 @default.
- W1546245991 cites W1992729783 @default.
- W1546245991 cites W2026192349 @default.
- W1546245991 cites W2098891006 @default.
- W1546245991 cites W2111572781 @default.
- W1546245991 cites W2117141328 @default.
- W1546245991 cites W2129674434 @default.
- W1546245991 cites W2145893100 @default.
- W1546245991 cites W2153933075 @default.
- W1546245991 cites W2162546016 @default.
- W1546245991 cites W2163578435 @default.
- W1546245991 cites W2261258473 @default.
- W1546245991 cites W3144368627 @default.
- W1546245991 cites W577444195 @default.
- W1546245991 hasPublicationYear "2005" @default.
- W1546245991 type Work @default.
- W1546245991 sameAs 1546245991 @default.
- W1546245991 citedByCount "2" @default.
- W1546245991 crossrefType "journal-article" @default.
- W1546245991 hasAuthorship W1546245991A5048803946 @default.
- W1546245991 hasAuthorship W1546245991A5090051516 @default.
- W1546245991 hasConcept C11354467 @default.
- W1546245991 hasConcept C115903868 @default.
- W1546245991 hasConcept C120314980 @default.
- W1546245991 hasConcept C121332964 @default.
- W1546245991 hasConcept C137981799 @default.
- W1546245991 hasConcept C184337299 @default.
- W1546245991 hasConcept C188045909 @default.
- W1546245991 hasConcept C191087605 @default.
- W1546245991 hasConcept C199360897 @default.
- W1546245991 hasConcept C202444582 @default.
- W1546245991 hasConcept C25185021 @default.
- W1546245991 hasConcept C2777904410 @default.
- W1546245991 hasConcept C2779662365 @default.
- W1546245991 hasConcept C33923547 @default.
- W1546245991 hasConcept C41008148 @default.
- W1546245991 hasConcept C62520636 @default.
- W1546245991 hasConcept C72108876 @default.
- W1546245991 hasConcept C75949130 @default.
- W1546245991 hasConcept C80444323 @default.
- W1546245991 hasConcept C9652623 @default.
- W1546245991 hasConceptScore W1546245991C11354467 @default.
- W1546245991 hasConceptScore W1546245991C115903868 @default.
- W1546245991 hasConceptScore W1546245991C120314980 @default.
- W1546245991 hasConceptScore W1546245991C121332964 @default.
- W1546245991 hasConceptScore W1546245991C137981799 @default.
- W1546245991 hasConceptScore W1546245991C184337299 @default.
- W1546245991 hasConceptScore W1546245991C188045909 @default.
- W1546245991 hasConceptScore W1546245991C191087605 @default.
- W1546245991 hasConceptScore W1546245991C199360897 @default.
- W1546245991 hasConceptScore W1546245991C202444582 @default.
- W1546245991 hasConceptScore W1546245991C25185021 @default.
- W1546245991 hasConceptScore W1546245991C2777904410 @default.
- W1546245991 hasConceptScore W1546245991C2779662365 @default.
- W1546245991 hasConceptScore W1546245991C33923547 @default.
- W1546245991 hasConceptScore W1546245991C41008148 @default.
- W1546245991 hasConceptScore W1546245991C62520636 @default.
- W1546245991 hasConceptScore W1546245991C72108876 @default.
- W1546245991 hasConceptScore W1546245991C75949130 @default.
- W1546245991 hasConceptScore W1546245991C80444323 @default.
- W1546245991 hasConceptScore W1546245991C9652623 @default.
- W1546245991 hasLocation W15462459911 @default.
- W1546245991 hasOpenAccess W1546245991 @default.
- W1546245991 hasPrimaryLocation W15462459911 @default.
- W1546245991 hasRelatedWork W1514251321 @default.
- W1546245991 hasRelatedWork W194513550 @default.
- W1546245991 hasRelatedWork W1996278186 @default.
- W1546245991 hasRelatedWork W263339509 @default.
- W1546245991 hasRelatedWork W2921409089 @default.
- W1546245991 hasRelatedWork W39980370 @default.
- W1546245991 hasRelatedWork W8519839 @default.
- W1546245991 hasRelatedWork W1871404180 @default.
- W1546245991 hasRelatedWork W2125165704 @default.
- W1546245991 hasRelatedWork W2754885357 @default.
- W1546245991 hasRelatedWork W2756898613 @default.
- W1546245991 hasRelatedWork W2767098937 @default.
- W1546245991 hasRelatedWork W2768310939 @default.
- W1546245991 hasRelatedWork W2821441851 @default.
- W1546245991 hasRelatedWork W2835960293 @default.
- W1546245991 hasRelatedWork W2837123555 @default.
- W1546245991 hasRelatedWork W2855336659 @default.
- W1546245991 hasRelatedWork W3002171527 @default.
- W1546245991 hasRelatedWork W3020373791 @default.