File Download
There are no files associated with this item.
Supplementary
-
Citations:
- Scopus: 0
- Appears in Collections:
Conference Paper: Dependability auditing with model checking
Title | Dependability auditing with model checking |
---|---|
Authors | |
Keywords | Dependability auditing E-processes Electronic contracting Model checking Web services |
Issue Date | 2005 |
Citation | Association for Information Systems - 11th Americas Conference on Information Systems, AMCIS 2005: A Conference on a Human Scale, 2005, v. 4, p. 1600-1609 How to Cite? |
Abstract | Model checking offers a methodology for determining whether a model satisfies a list of correctness requirements. We propose a theory of dependability auditing with model checking based on four principles: (1) The modeling process should be partitioned into computational components and behavioral components as an aid to system understanding; (2) The complex system will be abstracted to create a model; (3) A language must be available that can represent and evaluate states and processes that evolve over time; (4) Given an adequate model and temporal specifications, a model checker can verify whether or not the input model is a model of that specification: the specification will not fail in the model. We demonstrate this theoretical framework with Web Services and electronic contracting. |
Persistent Identifier | http://hdl.handle.net/10722/233814 |
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Anderson, Bonnie | - |
dc.contributor.author | Hansen, James | - |
dc.contributor.author | Lowry, Paul Benjamin | - |
dc.date.accessioned | 2016-09-27T07:21:43Z | - |
dc.date.available | 2016-09-27T07:21:43Z | - |
dc.date.issued | 2005 | - |
dc.identifier.citation | Association for Information Systems - 11th Americas Conference on Information Systems, AMCIS 2005: A Conference on a Human Scale, 2005, v. 4, p. 1600-1609 | - |
dc.identifier.uri | http://hdl.handle.net/10722/233814 | - |
dc.description.abstract | Model checking offers a methodology for determining whether a model satisfies a list of correctness requirements. We propose a theory of dependability auditing with model checking based on four principles: (1) The modeling process should be partitioned into computational components and behavioral components as an aid to system understanding; (2) The complex system will be abstracted to create a model; (3) A language must be available that can represent and evaluate states and processes that evolve over time; (4) Given an adequate model and temporal specifications, a model checker can verify whether or not the input model is a model of that specification: the specification will not fail in the model. We demonstrate this theoretical framework with Web Services and electronic contracting. | - |
dc.language | eng | - |
dc.relation.ispartof | Association for Information Systems - 11th Americas Conference on Information Systems, AMCIS 2005: A Conference on a Human Scale | - |
dc.subject | Dependability auditing | - |
dc.subject | E-processes | - |
dc.subject | Electronic contracting | - |
dc.subject | Model checking | - |
dc.subject | Web services | - |
dc.title | Dependability auditing with model checking | - |
dc.type | Conference_Paper | - |
dc.description.nature | link_to_subscribed_fulltext | - |
dc.identifier.scopus | eid_2-s2.0-84869846700 | - |
dc.identifier.volume | 4 | - |
dc.identifier.spage | 1600 | - |
dc.identifier.epage | 1609 | - |