File Download
There are no files associated with this item.
Links for fulltext
(May Require Subscription)
- Publisher Website: 10.1016/j.dss.2003.12.001
- Scopus: eid_2-s2.0-10644256461
- WOS: WOS:000228320700005
- Find via
Supplementary
- Citations:
- Appears in Collections:
Article: Model checking for design and assurance of e-Business processes
| Title | Model checking for design and assurance of e-Business processes |
|---|---|
| Authors | |
| Keywords | Goods atomicity e-Business Money atomicity Process and communication protocols Valid receipt Model checking |
| Issue Date | 2005 |
| Citation | Decision Support Systems, 2005, v. 39, n. 3, p. 333-344 How to Cite? |
| Abstract | Use 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 Identifier | http://hdl.handle.net/10722/233763 |
| ISSN | 2023 Impact Factor: 6.7 2023 SCImago Journal Rankings: 2.211 |
| ISI Accession Number ID |
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Anderson, Bonnie Brinton | - |
| dc.contributor.author | Hansen, James V. | - |
| dc.contributor.author | Lowry, Paul Benjamin | - |
| dc.contributor.author | Summers, Scott L. | - |
| dc.date.accessioned | 2016-09-27T07:21:35Z | - |
| dc.date.available | 2016-09-27T07:21:35Z | - |
| dc.date.issued | 2005 | - |
| dc.identifier.citation | Decision Support Systems, 2005, v. 39, n. 3, p. 333-344 | - |
| dc.identifier.issn | 0167-9236 | - |
| dc.identifier.uri | http://hdl.handle.net/10722/233763 | - |
| dc.description.abstract | Use 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.language | eng | - |
| dc.relation.ispartof | Decision Support Systems | - |
| dc.subject | Goods atomicity | - |
| dc.subject | e-Business | - |
| dc.subject | Money atomicity | - |
| dc.subject | Process and communication protocols | - |
| dc.subject | Valid receipt | - |
| dc.subject | Model checking | - |
| dc.title | Model checking for design and assurance of e-Business processes | - |
| dc.type | Article | - |
| dc.description.nature | link_to_subscribed_fulltext | - |
| dc.identifier.doi | 10.1016/j.dss.2003.12.001 | - |
| dc.identifier.scopus | eid_2-s2.0-10644256461 | - |
| dc.identifier.volume | 39 | - |
| dc.identifier.issue | 3 | - |
| dc.identifier.spage | 333 | - |
| dc.identifier.epage | 344 | - |
| dc.identifier.isi | WOS:000228320700005 | - |
| dc.identifier.issnl | 0167-9236 | - |