File Download

There are no files associated with this item.

  Links for fulltext
     (May Require Subscription)
Supplementary

Article: Model checking for design and assurance of e-Business processes

TitleModel checking for design and assurance of e-Business processes
Authors
KeywordsGoods atomicity
e-Business
Money atomicity
Process and communication protocols
Valid receipt
Model checking
Issue Date2005
Citation
Decision Support Systems, 2005, v. 39, n. 3, p. 333-344 How to Cite?
AbstractUse of the Internet for electronic business has the potential to revolutionize the way many businesses are conducted. Yet, several businesses have fallen victim to problems in information systems that facilitate e-Business. These problems are characterized by uncertainties due to system complexity, rapid development, interconnectivity, and a lack of familiarity with the new technologically based economy. This paper demonstrates how model checking can aid in the design and assurance of e-Business processes in environments characterized by distributed processing, parallelism, concurrency, communication uncertainties, and continuous operations. © 2004 Elsevier B.V. All rights reserved.
Persistent Identifierhttp://hdl.handle.net/10722/233763
ISSN
2015 Impact Factor: 2.604
2015 SCImago Journal Rankings: 2.262

 

DC FieldValueLanguage
dc.contributor.authorAnderson, Bonnie Brinton-
dc.contributor.authorHansen, James V.-
dc.contributor.authorLowry, Paul Benjamin-
dc.contributor.authorSummers, Scott L.-
dc.date.accessioned2016-09-27T07:21:35Z-
dc.date.available2016-09-27T07:21:35Z-
dc.date.issued2005-
dc.identifier.citationDecision Support Systems, 2005, v. 39, n. 3, p. 333-344-
dc.identifier.issn0167-9236-
dc.identifier.urihttp://hdl.handle.net/10722/233763-
dc.description.abstractUse of the Internet for electronic business has the potential to revolutionize the way many businesses are conducted. Yet, several businesses have fallen victim to problems in information systems that facilitate e-Business. These problems are characterized by uncertainties due to system complexity, rapid development, interconnectivity, and a lack of familiarity with the new technologically based economy. This paper demonstrates how model checking can aid in the design and assurance of e-Business processes in environments characterized by distributed processing, parallelism, concurrency, communication uncertainties, and continuous operations. © 2004 Elsevier B.V. All rights reserved.-
dc.languageeng-
dc.relation.ispartofDecision Support Systems-
dc.subjectGoods atomicity-
dc.subjecte-Business-
dc.subjectMoney atomicity-
dc.subjectProcess and communication protocols-
dc.subjectValid receipt-
dc.subjectModel checking-
dc.titleModel checking for design and assurance of e-Business processes-
dc.typeArticle-
dc.description.natureLink_to_subscribed_fulltext-
dc.identifier.doi10.1016/j.dss.2003.12.001-
dc.identifier.scopuseid_2-s2.0-10644256461-
dc.identifier.volume39-
dc.identifier.issue3-
dc.identifier.spage333-
dc.identifier.epage344-

Export via OAI-PMH Interface in XML Formats


OR


Export to Other Non-XML Formats