Principal component analysis and assessment of language network activation patterns in pediatric epilepsy

This dissertation establishes a novel data-driven method to identify language network activation patterns in pediatric epilepsy through the use of the Principal Component Analysis (PCA) on functional magnetic resonance imaging (fMRI). A total of 122 subjects’ data sets from five different hospitals were included in the study through a web-based repository site designed here at FIU. Research was conducted to evaluate different classification and clustering techniques in identifying hidden activation patterns and their associations with meaningful clinical variables. The results were assessed through agreement analysis with the conventional methods of lateralization index (LI) and visual rating. What is unique in this approach is the new mechanism designed for projecting language network patterns in the PCA-based decisional space. Synthetic activation maps were randomly generated from real data sets to uniquely establish nonlinear decision functions (NDF) which are then used to classify any new fMRI activation map into typical or atypical. The best nonlinear classifier was obtained on a 4D space with a complexity (nonlinearity) degree of 7. Based on the significant association of language dominance and intensities with the top eigenvectors of the PCA decisional space, a new algorithm was deployed to delineate primary cluster members without intensity normalization. In this case, three distinct activations patterns (groups) were identified (averaged kappa with rating 0.65, with LI 0.76) and were characterized by the regions of: (1) the left inferior frontal Gyrus (IFG) and left superior temporal gyrus (STG), considered typical for the language task; (2) the IFG, left mesial frontal lobe, right cerebellum regions, representing a variant left dominant pattern by higher activation; and (3) the right homologues of the first pattern in Broca's and Wernicke's language areas. Interestingly, group 2 was found to reflect a different language compensation mechanism than reorganization. Its high intensity activation suggests a possible remote effect on the right hemisphere focus on traditionally left-lateralized functions. In retrospect, this data-driven method provides new insights into mechanisms for brain compensation/reorganization and neural plasticity in pediatric epilepsy.

Principal Component Analysis and Assessment of Language Network Activation Patterns in Pediatric Epilepsy

This dissertation establishes a novel data-driven method to identify language network activation patterns in pediatric epilepsy through the use of the Principal Component Analysis (PCA) on functional magnetic resonance imaging (fMRI). A total of 122 subjects’ data sets from five different hospitals were included in the study through a web-based repository site designed here at FIU. Research was conducted to evaluate different classification and clustering techniques in identifying hidden activation patterns and their associations with meaningful clinical variables. The results were assessed through agreement analysis with the conventional methods of lateralization index (LI) and visual rating. What is unique in this approach is the new mechanism designed for projecting language network patterns in the PCA-based decisional space. Synthetic activation maps were randomly generated from real data sets to uniquely establish nonlinear decision functions (NDF) which are then used to classify any new fMRI activation map into typical or atypical. The best nonlinear classifier was obtained on a 4D space with a complexity (nonlinearity) degree of 7. Based on the significant association of language dominance and intensities with the top eigenvectors of the PCA decisional space, a new algorithm was deployed to delineate primary cluster members without intensity normalization. In this case, three distinct activations patterns (groups) were identified (averaged kappa with rating 0.65, with LI 0.76) and were characterized by the regions of: 1) the left inferior frontal Gyrus (IFG) and left superior temporal gyrus (STG), considered typical for the language task; 2) the IFG, left mesial frontal lobe, right cerebellum regions, representing a variant left dominant pattern by higher activation; and 3) the right homologues of the first pattern in Broca's and Wernicke's language areas. Interestingly, group 2 was found to reflect a different language compensation mechanism than reorganization. Its high intensity activation suggests a possible remote effect on the right hemisphere focus on traditionally left-lateralized functions. In retrospect, this data-driven method provides new insights into mechanisms for brain compensation/reorganization and neural plasticity in pediatric epilepsy.

The effects of bilingual and monolingual reading videos on story recall with students who are deaf and hard of hearing

The purpose of this study is to investigate the effects of bilingual and monolingual videos on the reading comprehension of students with significant hearing impairments and/or deafness. Children with and without hearing losses need reading programs in which comprehension of meaning is the primary goal. This can occur only when print is represented in meaningful context, allowing children to create meaning from their own experience, background, and knowledge of language.^ Investigated in this study was whether students with significant hearing losses comprehended more information in a bilingual or monolingual instructional video format. There were three instructional videos produced: (a) the bilingual video which incorporated American Sign Language (ASL) with standard English captions, (b) a monolingual English video with standard English captions only, and (c) a monolingual ASL-only video. It was hypothesized that the effects of English captioning with ASL might serve as a bridge during instruction, increasing reading comprehension and written English for students. It was further hypothesized that this would allow students to integrate their own ASL knowledge to the printed text to construct meaning.^ Four separate analyses were conducted to see if the hypothesis was supported by the findings. However, all results indicated that there were no significant differences in students' written measures of reading comprehension recall across any of the three presentations of information (two monolingual and one bilingual condition). There were seven variables (word identification, word recall, sentence recall, story recall, written passage theme, written passage word count, and number of mature words) used to evaluate reading comprehension recall. No variable, either individually or grouped, demonstrated a significant difference between monolingual or bilingual instruction. ^

The role of *language in early childhood mathematics

Math literacy is imperative to succeed in society. Experience is key for acquiring math literacy. A preschooler's world is full of mathematical experiences. Children are continually counting, sorting and comparing as they play. As children are engaged in these activities they are using language as a tool to express their mathematical thinking. If teachers are aware of these teachable moments and help children bridge their daily experiences to mathematical concepts, math literacy may be enhanced. This study described the interactions between teachers and preschoolers, determining the extent to which teachers scaffold children's everyday language into expressions of mathematical concepts. Of primary concern were the teachers' responsive interactions to children's expressions of an implicit mathematical utterance made while engaged in block play. The parallel mixed methods research design consisted of two strands. Strand 1 of the study focused on preschoolers' use of everyday language and the teachers' responses after a child made a mathematical utterance. Twelve teachers and 60 students were observed and videotaped while engaged in block play. Each teacher worked with five children for 20 minutes, yielding 240 minutes of observation. Interaction analysis was used to deductively analyze the recorded observations and field notes. Using a priori codes for the five mathematical concepts, it was found children produced 2,831 mathematical utterances. Teachers ignored 60% of these utterances and responded to, but did not mediate 30% of them. Only 10% of the mathematical utterances were mediated to a mathematical concept. Strand 2 focused on the teacher's view of the role of language in early childhood mathematics. The 12 teachers who had been observed as part of the first strand of the study were interviewed. Based on a thematic analysis of these interviews three themes emerged: (a) the importance of a child's environment, (b) the importance of an education in society, and (c) the role of math in early childhood. Finally, based on a meta-inference of both strands, three themes emerged: (a) teacher conception of math, (b) teacher practice, and (c) teacher sensitivity. Implications based on the findings involve policy, curriculum, and professional development.

A comparison study of the English III/American Literature success of African American high school students and that of students whose home language is Haitian Creole

The purpose of the study was to compare the English III success of students whose home language is Haitian Creole (SWHLIHC) with that of the more visible African American high school students in the Miami Dade County Public Schools System, in an effort to offer insight that might assist educators in facilitating the educational success of SWHLIHC in American Literature class.^ The study was guided by two important theories on how students interact with and learn from literature. They are Reader Response Theory which advocates giving students the opportunity to become involved in the literature experience (Rosenblatt, 1995), and Critical Literacy, a theory developed by Paolo Freire and Henry Giroux, which espouses a critical approach to analysis of society that enables people to analyze social problems through lenses that would reveal social inequities and assist in transforming society into a more equitable entity.^ Data for the study: 10th grade reading FCAT scores, English III/American Literature grades, and Promotion to English IV records for the school year 2010-2011 were retrieved from the records division of the Miami Dade County Public Schools System. The study used a quantitative methods approach, the central feature of which was an ex post facto design with hypotheses (Newman, Newman, Brown, & McNeely, 2006). The ex post facto design with hypotheses was chosen because the researcher postulated hypotheses about the relationships that might exist between the performances of SWHLIHC and those of African American students on the three above mentioned variables. This type of design supported the researcher's purpose of comparing these performances.^ One way analysis of variance (ANOVA), two way ANOVAs, and chi square tests were used to examine the two groups' performances on the 10th grade reading FCAT, their English III grades, and their promotion to English IV. ^ The study findings show that there was a significant difference in the performance of SWHLIHC and African American high school students on all three independent variables. SWHLIHC performed significantly higher on English III success and promotion to English IV. African American high school students performed significantly higher on the reading FCAT.^

Functional near infrared spectroscopy study of language, joint attention and motor skills

Near infrared spectroscopy (NIRS) is an emerging non-invasive optical neuro imaging technique that monitors the hemodynamic response to brain activation with ms-scale temporal resolution and sub-cm spatial resolution. The overall goal of my dissertation was to develop and apply NIRS towards investigation of neurological response to language, joint attention and planning and execution of motor skills in healthy adults. Language studies were performed to investigate the hemodynamic response, synchrony and dominance feature of the frontal and fronto-temporal cortex of healthy adults in response to language reception and expression. The mathematical model developed based on granger causality explicated the directional flow of information during the processing of language stimuli by the fronto-temporal cortex. Joint attention and planning/ execution of motor skill studies were performed to investigate the hemodynamic response, synchrony and dominance feature of the frontal cortex of healthy adults and in children (5-8 years old) with autism (for joint attention studies) and individuals with cerebral palsy (for planning/execution of motor skills studies). The joint attention studies on healthy adults showed differences in activation as well as intensity and phase dependent connectivity in the frontal cortex during joint attention in comparison to rest. The joint attention studies on typically developing children showed differences in frontal cortical activation in comparison to that in children with autism. The planning and execution of motor skills studies on healthy adults and individuals with cerebral palsy (CP) showed difference in the frontal cortical dominance, that is, bilateral and ipsilateral dominance, respectively. The planning and execution of motor skills studies also demonstrated the plastic and learning behavior of brain wherein correlation was found between the relative change in total hemoglobin in the frontal cortex and the kinematics of the activity performed by the participants. Thus, during my dissertation the NIRS neuroimaging technique was successfully implemented to investigate the neurological response of language, joint attention and planning and execution of motor skills in healthy adults as well as preliminarily on children with autism and individuals with cerebral palsy. These NIRS studies have long-term potential for the design of early stage interventions in children with autism and customized rehabilitation in individuals with cerebral palsy.

English Language Learners: A Correlational Study of the Relationship Between A Proficiency Level Assessment and End of Course Test Scores at one Georgia High School

Understanding the language of one’s cultural environment is important for effective communication and function. As such, students entering U.S. schools from foreign countries are given access to English to Speakers of Other Languages (ESOL) programs and they are referred to as English Language Learner (ELL) students. This dissertation examined the correlation of ELL ACCESS Composite Performance Level (CPL) score to the End of Course tests (EOCTs) and the Georgia High School Graduation Tests (GHSGTs) in the four content courses (language arts, mathematics, science, and social studies). A premise of this study was that English language proficiency is critical in meeting or exceeding state and county assessment standards. A quantitative descriptive research design was conducted using Cross-sectional archival data from a secondary source. There were 148 participants from school years 2011-2012 to 2013- 2014 from Grades 9-12. A Pearson product moment correlation was run to assess the relationship between the ACCESS CPL (independent variable) and the EOCT scores and the GHSGT scores (dependent variables). The findings showed that there was a positive correlation between ACCESS CPL scores and the EOCT scores where language arts showed a strong positive correlation and mathematics showed a positive weak correlation. Also, there was a positive correlation between ACCESS CPL scores and GHSGT scores where language arts showed a weak positive correlation. The results of this study indicated that that there is a relationship between the stated variables, ACCESS CPL, EOCT and GHSGT. Also, the results of this study showed that there were positive correlations at varying degrees for each grade levels. While the null hypothesis for Research Question 1 and Research Question 2 were rejected, there was a slight relationship between the variables.

The relationship between Common Language and Length of Treatment in Occupational Therapy

The diversity of ethnic and cultural groups and the effects of language in the therapeutic relationship are timely professional issues of concern to occupational therapy practitioners. The tri-ethnic, tri-cultural South Florida area offers a natural environment where one can study how patient-therapist interactions are influenced by language barriers in a diverse society. This study examines the effects of language on the adequacy of occupational therapy services, specifically how language affects the length of the treatment program. The nature of diagnosis therapists' ethnicity, and how they impact treatment outcomes are also addressed. A sample was drawn from the occupational therapy outpatient department of a large county hospital. Data taken from patients' charts examined race, sex, age, diagnosis, and language. Number of treatment sessions and length of treatment were viewed as proxy measures for adequacy. Findings indicate that the effect of language cannot be understood aside from ethnicity. Implications for occupational therapy practice are discussed.

A Comparison Study of the English III/American Literature Success of African American High School Students and That of Students Whose Home Language is Haitian Creole

The purpose of the study was to compare the English III success of students whose home language is Haitian Creole (SWHLIHC) with that of the more visible African American high school students in the Miami Dade County Public Schools System, in an effort to offer insight that might assist educators in facilitating the educational success of SWHLIHC in American Literature class. The study was guided by two important theories on how students interact with and learn from literature. They are Reader Response Theory which advocates giving students the opportunity to become involved in the literature experience (Rosenblatt, 1995), and Critical Literacy, a theory developed by Paolo Freire and Henry Giroux, which espouses a critical approach to analysis of society that enables people to analyze social problems through lenses that would reveal social inequities and assist in transforming society into a more equitable entity. Data for the study: 10th grade reading FCAT scores, English III/American Literature grades, and Promotion to English IV records for the school year 2010-2011 were retrieved from the records division of the Miami Dade County Public Schools System. The study used a quantitative methods approach, the central feature of which was an ex post facto design with hypotheses (Newman, Newman, Brown, & McNeely, 2006). The ex post facto design with hypotheses was chosen because the researcher postulated hypotheses about the relationships that might exist between the performances of SWHLIHC and those of African American students on the three above mentioned variables. This type of design supported the researcher’s purpose of comparing these performances. One way analysis of variance (ANOVA), two way ANOVAs, and chi square tests were used to examine the two groups’ performances on the 10th grade reading FCAT, their English III grades, and their promotion to English IV. The study findings show that there was a significant difference in the performance of SWHLIHC and African American high school students on all three independent variables. SWHLIHC performed significantly higher on English III success and promotion to English IV. African American high school students performed significantly higher on the reading FCAT.

Funtional Near Infrared Spectroscopy Study of Language, Joint Attention and Motor Skills

Near infrared spectroscopy (NIRS) is an emerging non-invasive optical neuro imaging technique that monitors the hemodynamic response to brain activation with ms-scale temporal resolution and sub-cm spatial resolution. The overall goal of my dissertation was to develop and apply NIRS towards investigation of neurological response to language, joint attention and planning and execution of motor skills in healthy adults. Language studies were performed to investigate the hemodynamic response, synchrony and dominance feature of the frontal and fronto-temporal cortex of healthy adults in response to language reception and expression. The mathematical model developed based on granger causality explicated the directional flow of information during the processing of language stimuli by the fronto-temporal cortex. Joint attention and planning/ execution of motor skill studies were performed to investigate the hemodynamic response, synchrony and dominance feature of the frontal cortex of healthy adults and in children (5-8 years old) with autism (for joint attention studies) and individuals with cerebral palsy (for planning/execution of motor skills studies). The joint attention studies on healthy adults showed differences in activation as well as intensity and phase dependent connectivity in the frontal cortex during joint attention in comparison to rest. The joint attention studies on typically developing children showed differences in frontal cortical activation in comparison to that in children with autism. The planning and execution of motor skills studies on healthy adults and individuals with cerebral palsy (CP) showed difference in the frontal cortical dominance, that is, bilateral and ipsilateral dominance, respectively. The planning and execution of motor skills studies also demonstrated the plastic and learning behavior of brain wherein correlation was found between the relative change in total hemoglobin in the frontal cortex and the kinematics of the activity performed by the participants. Thus, during my dissertation the NIRS neuroimaging technique was successfully implemented to investigate the neurological response of language, joint attention and planning and execution of motor skills in healthy adults as well as preliminarily on children with autism and individuals with cerebral palsy. These NIRS studies have long-term potential for the design of early stage interventions in children with autism and customized rehabilitation in individuals with cerebral palsy.

Development and implementation of a tool to assess the micro/macro elements in an organization

This study examines the congruency of planning between organizational structure and process, through an evaluation and planning model known as the Micro/Macro Dynamic Planning Grid. The model compares day-to-day planning within an organization to planning imposed by organizational administration and accrediting agencies. A survey instrument was developed to assess the micro and macro sociological analysis elements utilized by an organization.^ The Micro/Macro Dynamic Planning Grid consists of four quadrants. Each quadrant contains characteristics that reflect the interaction between the micro and macro elements of planning, objectives and goals within an organization. The Over Macro/Over Micro, Quadrant 1, contains attributes that reflect a tremendous amount of action and ongoing adjustments, typical of an organization undergoing significant changes in either leadership, program and/or structure. Over Macro/Under Micro, Quadrant 2, reflects planning characteristics found in large, bureaucratic systems with little regard given to the workings of their component parts. Under Macro/Under Micro, Quadrant 3, reflects the uncooperative, uncoordinated organization, one that contains a multiplicity of viewpoints, language, objectives and goals. Under Macro/Under Micro, Quadrant 4 represents the worst case scenario for any organization. The attributes of this quadrant are very reactive, chaotic, non-productive and redundant.^ There were three phases to the study: development of the initial instrument, pilot testing the initial instrument and item revision, and administration and assessment of the refined instrument. The survey instrument was found to be valid and reliable for the purposes and audiences herein described.^ In order to expand the applicability of the instrument to other organizational settings, the survey was administered to three professional colleges within a university.^ The first three specific research questions collectively answered, in the affirmative, the basic research question: Can the Micro/Macro Dynamic Planning Grid be applied to an organization through an organizational development tool? The first specific question: Can an instrument be constructed that applies the Micro/Macro Dynamic Planning Grid? The second specific research question: Is the constructed instrument valid and reliable? The third specific research question: Does an instrument that applies the Micro/Macro Dynamic Planning Grid assess congruency of micro and macro planning, goals and objectives within an organization? The fourth specific research question: What are the differences in the responses based on roles and responsibilities within an organization? involved statistical analysis of the response data and comparisons obtained with the demographic data. (Abstract shortened by UMI.) ^

Planning and evaluation of Business English course in compliance with internationalization in Taiwan: A case study of Tainan Women's College of Arts & Technology

In compliance with the economic internationalization movement and the development of Asia-Pacific Regional Operation Center (APROC) in Taiwan, international business has become more and more important. To sustain favorable trade balances every year and the promotion of APROC in Taiwan, more and more talent with knowledge and skills of Business English are needed. As a consequence, it is necessary to make Business English curriculum appropriate to meet the emerging needs.^ Two groups, experimental and control, received the revised or traditional Business English course to answer the question, "Does the Business English curriculum at Tainan Woman's College of Arts & Technology (TWCAT) meet the needs of students?" Ninety-five subjects were randomly selected from the commercial departments at TWCAT and then randomly assigned to the two groups. In addition, the Business English scores of the subjects' previous semester were collected and analyzed to justify the random selection and assignment. The finding was that their initial equivalence was proved.^ A questionnaire for students and another one for the business community were administered to facilitate data collection and analysis. The results of the questionnaires were used to modify the curriculum content of Business English.^ A final-term examination was given to the subjects at the end of the pilot study of Business English in early May of 1998. The resulting scores of the examination were used to determine if there was a significant difference in learning achievement between the students of the two groups.^ Using Independent Samples Test, significant results indicated that the experimental group had higher level of learning Business English than the control group. The finding supports the hypothesis of this study.^ Recommendations based on these results are that the revised curriculum be adapted and used by TWCAT because it better meets student needs. ^

Integration and querying of heterogeneous, autonomous, distributed database systems

Today, databases have become an integral part of information systems. In the past two decades, we have seen different database systems being developed independently and used in different applications domains. Today's interconnected networks and advanced applications, such as data warehousing, data mining & knowledge discovery and intelligent data access to information on the Web, have created a need for integrated access to such heterogeneous, autonomous, distributed database systems. Heterogeneous/multidatabase research has focused on this issue resulting in many different approaches. However, a single, generally accepted methodology in academia or industry has not emerged providing ubiquitous intelligent data access from heterogeneous, autonomous, distributed information sources. ^ This thesis describes a heterogeneous database system being developed at High-performance Database Research Center (HPDRC). A major impediment to ubiquitous deployment of multidatabase technology is the difficulty in resolving semantic heterogeneity. That is, identifying related information sources for integration and querying purposes. Our approach considers the semantics of the meta-data constructs in resolving this issue. The major contributions of the thesis work include: (i) providing a scalable, easy-to-implement architecture for developing a heterogeneous multidatabase system, utilizing Semantic Binary Object-oriented Data Model (Sem-ODM) and Semantic SQL query language to capture the semantics of the data sources being integrated and to provide an easy-to-use query facility; (ii) a methodology for semantic heterogeneity resolution by investigating into the extents of the meta-data constructs of component schemas. This methodology is shown to be correct, complete and unambiguous; (iii) a semi-automated technique for identifying semantic relations, which is the basis of semantic knowledge for integration and querying, using shared ontologies for context-mediation; (iv) resolutions for schematic conflicts and a language for defining global views from a set of component Sem-ODM schemas; (v) design of a knowledge base for storing and manipulating meta-data and knowledge acquired during the integration process. This knowledge base acts as the interface between integration and query processing modules; (vi) techniques for Semantic SQL query processing and optimization based on semantic knowledge in a heterogeneous database environment; and (vii) a framework for intelligent computing and communication on the Internet applying the concepts of our work. ^

Design and implementation of a multisite data repository for pediatric epilepsy

This dissertation established a software-hardware integrated design for a multisite data repository in pediatric epilepsy. A total of 16 institutions formed a consortium for this web-based application. This innovative fully operational web application allows users to upload and retrieve information through a unique human-computer graphical interface that is remotely accessible to all users of the consortium. A solution based on a Linux platform with My-SQL and Personal Home Page scripts (PHP) has been selected. Research was conducted to evaluate mechanisms to electronically transfer diverse datasets from different hospitals and collect the clinical data in concert with their related functional magnetic resonance imaging (fMRI). What was unique in the approach considered is that all pertinent clinical information about patients is synthesized with input from clinical experts into 4 different forms, which were: Clinical, fMRI scoring, Image information, and Neuropsychological data entry forms. A first contribution of this dissertation was in proposing an integrated processing platform that was site and scanner independent in order to uniformly process the varied fMRI datasets and to generate comparative brain activation patterns. The data collection from the consortium complied with the IRB requirements and provides all the safeguards for security and confidentiality requirements. An 1-MR1-based software library was used to perform data processing and statistical analysis to obtain the brain activation maps. Lateralization Index (LI) of healthy control (HC) subjects in contrast to localization-related epilepsy (LRE) subjects were evaluated. Over 110 activation maps were generated, and their respective LIs were computed yielding the following groups: (a) strong right lateralization: (HC=0%, LRE=18%), (b) right lateralization: (HC=2%, LRE=10%), (c) bilateral: (HC=20%, LRE=15%), (d) left lateralization: (HC=42%, LRE=26%), e) strong left lateralization: (HC=36%, LRE=31%). Moreover, nonlinear-multidimensional decision functions were used to seek an optimal separation between typical and atypical brain activations on the basis of the demographics as well as the extent and intensity of these brain activations. The intent was not to seek the highest output measures given the inherent overlap of the data, but rather to assess which of the many dimensions were critical in the overall assessment of typical and atypical language activations with the freedom to select any number of dimensions and impose any degree of complexity in the nonlinearity of the decision space.

Formal verification and testing of software architectural models

Ensuring the correctness of software has been the major motivation in software research, constituting a Grand Challenge. Due to its impact in the final implementation, one critical aspect of software is its architectural design. By guaranteeing a correct architectural design, major and costly flaws can be caught early on in the development cycle. Software architecture design has received a lot of attention in the past years, with several methods, techniques and tools developed. However, there is still more to be done, such as providing adequate formal analysis of software architectures. On these regards, a framework to ensure system dependability from design to implementation has been developed at FIU (Florida International University). This framework is based on SAM (Software Architecture Model), an ADL (Architecture Description Language), that allows hierarchical compositions of components and connectors, defines an architectural modeling language for the behavior of components and connectors, and provides a specification language for the behavioral properties. The behavioral model of a SAM model is expressed in the form of Petri nets and the properties in first order linear temporal logic.^ This dissertation presents a formal verification and testing approach to guarantee the correctness of Software Architectures. The Software Architectures studied are expressed in SAM. For the formal verification approach, the technique applied was model checking and the model checker of choice was Spin. As part of the approach, a SAM model is formally translated to a model in the input language of Spin and verified for its correctness with respect to temporal properties. In terms of testing, a testing approach for SAM architectures was defined which includes the evaluation of test cases based on Petri net testing theory to be used in the testing process at the design level. Additionally, the information at the design level is used to derive test cases for the implementation level. Finally, a modeling and analysis tool (SAM tool) was implemented to help support the design and analysis of SAM models. The results show the applicability of the approach to testing and verification of SAM models with the aid of the SAM tool.^