Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for +publisher:"Colorado State University" +contributor:("Turk, Dan"). Showing records 1 – 2 of 2 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


Colorado State University

1. Yu, Lijun. Scenario-based technique to analyze UML design class models, A.

Degree: PhD, Computer Science, 2007, Colorado State University

Identifying and resolving design problems in the early design phases can help reduce the number of design errors in implementations. In this dissertation a tool-supported lightweight static analysis technique is proposed to rigorously analyze UML design class models that include operations specified using the Object Constraint Language (OCL). A UML design class model is analyzed against a given set of scenarios that describe desired or undesired behaviors. The technique can leverage existing class model analysis tools such as USE and OCLE. The analysis technique is lightweight in that it analyzes functionality specified in a UML design class model within the scope of a given set of scenarios. It is static because it does not require that the UML design class model be executable. The technique is used to (1) transform a UML design class model to a snapshot transition model that captures valid state transitions, (2) transform given scenarios to snapshot transitions and (3) determine if the snapshot transitions conform or not to the snapshot transition model. A design inconsistency exists if snapshot transitions that represent desired behaviors do not conform to the snapshot transition model, or if snapshot transitions representing undesired behaviors conform to the snapshot transition model. A Scenario-based UML Design Analysis tool was developed using Kermeta and the Eclipse Modeling Framework. The tool can be used to transform an Ecore design class model to a snapshot transition model and transform scenarios to snapshot transitions. The tool is integrated with the USE analysis tool. We used the Scenario-based UML Design Analysis technique to analyze two design class models: a Train Management System model and a Generalized Spatio-Temporal RBAC model. The two demonstration case studies show how the technique can be used to analyze the inconsistencies between UML design class models and scenarios. We performed a pilot study to evaluate the effectiveness of the Scenario-based UML Design Analysis technique. In the pilot study the technique uncovered at least as many design inconsistencies as manual inspection techniques uncovered, and the technique did not uncover false inconsistencies. The pilot study provides some evidence that the Scenario-based UML Design Analysis technique is effective. The dissertation also proposes two scenario generation techniques. These techniques can be used to ease the manual effort needed to produce scenarios. The scenario generation techniques can be used to automatically generate a family of scenarios that conform to specified scenario generation criteria. Advisors/Committee Members: France, Robert B. (advisor), Ray, Indrakshi (committee member), Ghosh, Sudipto (committee member), Malaiya, Yashwant (committee member), Turk, Dan (committee member).

Subjects/Keywords: unified modeling language; consistency check; software engineering experiment; scenario; formal verification; formal analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Yu, L. (2007). Scenario-based technique to analyze UML design class models, A. (Doctoral Dissertation). Colorado State University. Retrieved from http://hdl.handle.net/10217/82485

Chicago Manual of Style (16th Edition):

Yu, Lijun. “Scenario-based technique to analyze UML design class models, A.” 2007. Doctoral Dissertation, Colorado State University. Accessed January 27, 2020. http://hdl.handle.net/10217/82485.

MLA Handbook (7th Edition):

Yu, Lijun. “Scenario-based technique to analyze UML design class models, A.” 2007. Web. 27 Jan 2020.

Vancouver:

Yu L. Scenario-based technique to analyze UML design class models, A. [Internet] [Doctoral dissertation]. Colorado State University; 2007. [cited 2020 Jan 27]. Available from: http://hdl.handle.net/10217/82485.

Council of Science Editors:

Yu L. Scenario-based technique to analyze UML design class models, A. [Doctoral Dissertation]. Colorado State University; 2007. Available from: http://hdl.handle.net/10217/82485


Colorado State University

2. Yan, He. Management of internet-based service quality.

Degree: PhD, Computer Science, 2007, Colorado State University

An increasingly diverse set of services, content distribution network (CDN), Internet games, streaming videos, online-banking, IPTV, VPN, cloud computing and VoIP, are built on top of Internet. For most of these Internet-based services, best effort delivery is no longer an acceptable mode of operation as ultra-high reliability and performance is demanded to meet the stringent service-level requirements. In this dissertation, we focus on the research problem: how to manage the Internet- based service quality in a efficient and proactive manner from a service provider's point of view. Managing Internet-based service quality is extremely challenging due to its massive scale, complicated topology, high protocol complexity, ever-changing software or hardware environment and multiple administrative domains. We propose to look into this problem from two views (user view and network view) and design a novel infrastructure that consists of three systems (Argus, G-RCA and TowerScan) to enable managing Internet-based service quality from both views. We deployed our infrastructure in a tier-1 ISP that provides various Internet-based service and it has proven to be a highly effective way to manage the quality of Internet-based services. Advisors/Committee Members: Massey, Daniel (advisor), Papadopoulos, Christos (committee member), Pallickara, Shrideep (committee member), Turk, Dan (committee member), Ge, Zihui (committee member), Yates, Jennifer (committee member).

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Yan, H. (2007). Management of internet-based service quality. (Doctoral Dissertation). Colorado State University. Retrieved from http://hdl.handle.net/10217/67660

Chicago Manual of Style (16th Edition):

Yan, He. “Management of internet-based service quality.” 2007. Doctoral Dissertation, Colorado State University. Accessed January 27, 2020. http://hdl.handle.net/10217/67660.

MLA Handbook (7th Edition):

Yan, He. “Management of internet-based service quality.” 2007. Web. 27 Jan 2020.

Vancouver:

Yan H. Management of internet-based service quality. [Internet] [Doctoral dissertation]. Colorado State University; 2007. [cited 2020 Jan 27]. Available from: http://hdl.handle.net/10217/67660.

Council of Science Editors:

Yan H. Management of internet-based service quality. [Doctoral Dissertation]. Colorado State University; 2007. Available from: http://hdl.handle.net/10217/67660

.