Please use this identifier to cite or link to this item:https://hdl.handle.net/20.500.12259/33878
Full metadata record
DC FieldValueLanguage
dc.contributor.authorWan, Kaiyu-
dc.contributor.authorKapoor, H. K-
dc.contributor.authorDas, Shirshendu-
dc.contributor.authorRaju, B-
dc.contributor.authorMan, Ka Lok-
dc.contributor.authorKrilavičius, Tomas-
dc.coverage.spatialTW-
dc.date.accessioned2017-03-01T07:56:48Z-
dc.date.available2017-03-01T07:56:48Z-
dc.date.issued2012-
dc.identifier.isbn9789881925190-
dc.identifier.otherVDU02-000013295-
dc.identifier.urihttp://www.iaeng.org/publication/IMECS2012/-
dc.identifier.urihttp://www.iaeng.org/publication/IMECS2012/-
dc.identifier.urihttps://eltalpykla.vdu.lt/1/33878-
dc.description.abstractComplex transactions are part of the most commonly used systems. Substantial part of such transactions are business transactions. Usually, they coordinate complex interaction among multiple systems, so called Long Running Transactions (LRT). Well known roll-back mechanism does not suffice to handle faults in LRTs, therefore compensation mechanisms are introduced. However, introduced structures are rather complex and hard to be understood and handled. Formal methods are well known tool for modelling, analysis and synthesis of complex systems. In this paper we introduce a work in progress, a technique that allows modelling LRTs using Compensating CSP, then translating them to Promela language and analysing using SPIN tool. We exemplify it using Car Broker Serviceen
dc.description.sponsorshipInformatikos fakultetas-
dc.description.sponsorshipTaikomosios informatikos katedra-
dc.description.sponsorshipVytauto Didžiojo universitetas-
dc.format.extentp. 1163-1168-
dc.language.isoen-
dc.relation.ispartofEngineers and computer scientists: 2012 IMECS : proceedings of the international Multiconference, 2012, 14-16 March, 2012, Hong Kong. Vol. 2. Hong Kong : Newswood Limited-
dc.relation.ispartofseries(Lecture notes in engineering and computer science, 2078-0958)-
dc.relation.isreferencedbyApplied Science & Technology Source (EBSCO)-
dc.relation.isreferencedbyScopus-
dc.rightsSutarties data 2013-02-21, nr. B000013, laisvai prieinamas internetelt_LT
dc.subjectLong Running Transactionsen
dc.subjectCompensation Mechanismsen
dc.subjectCSPen
dc.subjectPromelaen
dc.subjectSPINen
dc.subject.otherInformatika / Computer science (N009)-
dc.titleModelling and verification of compensating transactions using the Spin toolen
dc.typeStraipsnis konferencijos medžiagoje kitose duomenų bazėse / Article in conference proceedings in other databases (P1c)-
dcterms.bibliographicCitation35-
dc.date.updated2017-03-01T10:59Z-
local.object{"source": {"code": "vdu", "handle": "9635"}, "publisher": {"other": ["Newswood Limited"], "list": false}, "db": {"clarivate": false, "scopus": true, "list": true}, "isbn": ["9789881925190"], "code": "P1c", "subject": ["N009"], "url": ["http://www.iaeng.org/publication/IMECS2012/", "https://eltalpykla.vdu.lt/1/33878"], "country": "TW", "language": "en", "area": "N", "original": true, "pages": 6, "sheets": 0.429, "timestamp": "20170301105943.0", "account": {"year": 2012, "late": false}, "na": 6, "nip": 2, "affiliation": [{"contribution": 0.16666666666667, "aip": 1, "country": ["CN"], "rel": "aut", "lname": "Wan", "fname": "Kaiyu", "status": "0", "name": "Wan, Kaiyu"}, {"contribution": 0.16666666666667, "aip": 1, "country": ["IN"], "rel": "aut", "lname": "Kapoor", "fname": "H. K", "status": "0", "name": "Kapoor, H. K"}, {"contribution": 0.16666666666667, "aip": 1, "country": ["IN"], "rel": "aut", "lname": "Das", "fname": "Shirshendu", "status": "0", "name": "Das, Shirshendu"}, {"contribution": 0.16666666666667, "aip": 1, "country": ["IN"], "rel": "aut", "lname": "Raju", "fname": "B", "status": "0", "name": "Raju, B"}, {"contribution": 0.16666666666667, "aip": 1, "country": ["LT"], "rel": "aut", "org": [{"create": true, "contribution": 0.16666666666667, "name": "Vytauto Didžiojo universitetas", "id": "111950396", "level": "0", "type": "uni", "research": "1", "status": "1", "unit": {"name": "Informatikos fakultetas", "id": "04", "level": "2", "type": "fak", "research": "1", "status": "1", "unit": {"name": "Taikomosios informatikos katedra", "id": "0401", "level": "3", "type": "kat", "research": "1", "status": "1"}}}], "id": "DD5A5F9F9ADFA0BC37D24E1184ED5391", "lname": "Krilavičius", "fname": "Tomas", "status": "1", "name": "Krilavičius, Tomas"}, {"contribution": 0.16666666666667, "aip": 1, "country": ["CN"], "rel": "aut", "lname": "Man", "fname": "Ka Lok", "status": "0", "name": "Man, Ka Lok"}]}-
local.typeP-
item.fulltextWith Fulltext-
item.grantfulltextopen-
crisitem.author.deptTaikomosios informatikos katedra-
Appears in Collections:3. Konferencijų medžiaga / Conference materials
Universiteto mokslo publikacijos / University Research Publications
Files in This Item:
marc.xml8.05 kBXMLView/Open

MARC21 XML metadata

Show simple item record

Page view(s)

176
checked on Nov 2, 2019

Download(s)

74
checked on Nov 2, 2019

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.