A nested Petri net framework for modeling and analyzing multi-agent systems

In the past two decades, multi-agent systems (MAS) have emerged as a new paradigm for conceptualizing large and complex distributed software systems. A multi-agent system view provides a natural abstraction for both the structure and the behavior of modern-day software systems. Although there were many conceptual frameworks for using multi-agent systems, there was no well established and widely accepted method for modeling multi-agent systems. This dissertation research addressed the representation and analysis of multi-agent systems based on model-oriented formal methods. The objective was to provide a systematic approach for studying MAS at an early stage of system development to ensure the quality of design. ^ Given that there was no well-defined formal model directly supporting agent-oriented modeling, this study was centered on three main topics: (1) adapting a well-known formal model, predicate transition nets (PrT nets), to support MAS modeling; (2) formulating a modeling methodology to ease the construction of formal MAS models; and (3) developing a technique to support machine analysis of formal MAS models using model checking technology. PrT nets were extended to include the notions of dynamic structure, agent communication and coordination to support agent-oriented modeling. An aspect-oriented technique was developed to address the modularity of agent models and compositionality of incremental analysis. A set of translation rules were defined to systematically translate formal MAS models to concrete models that can be verified through the model checker SPIN (Simple Promela Interpreter). ^ This dissertation presents the framework developed for modeling and analyzing MAS, including a well-defined process model based on nested PrT nets, and a comprehensive methodology to guide the construction and analysis of formal MAS models.^

Temporal Population Genetic Structure of Eastern Mosquitofish in a Dynamic Aquatic Landscape

We analyzed the effect of periodic drying in the Florida Everglades on spatiotemporal population genetic structure of eastern mosquitofish (Gambusia holbrooki). Severe periodic drying events force individuals from disparate sources to mix in dry season relatively deep-water refuges. In 1996 (a wet year) and 1999 (a dry year), we sampled mosquitofish at 20 dry-season refuges distributed in 3 water management regions and characterized genetic variation for 10 allozyme and 3 microsatellite loci. In 1996, most of the ecosystem did not dry, whereas in 1999, many of our sampling locations were isolated by expanses of dried marsh surface. In 1996, most spatial genetic variation was attributed to heterogeneity within regions. In 1999, spatial genetic variation within regions was not significant. In both years, a small but significant amount of variation (less than 1% of the total variation) was partitioned among regions. Variance was consistently greater than zero among long-hydroperiod sites within a region, but not among short-hydroperiod sites within a region, where hydroperiod was measured as time since last marsh surface dry-down forcing fishes into local refuges. In 1996, all sites were in Hardy–Weinberg equilibrium. In 1999, we observed fewer heterozygotes than expected for most loci and sites suggesting a Wahlund effect arising from fish leaving areas that dried and mixing in deep-water refuges.

Factors influencing movements and foraging ecology of American alligators (Alligator mississippiensis) in a dynamic subtropical coastal ecosystem

Top predators can have large effects on community and population dynamics but we still know relatively little about their roles in ecosystems and which biotic and abiotic factors potentially affect their behavioral patterns. Understanding the roles played by top predators is a pressing issue because many top predator populations around the world are declining rapidly yet we do not fully understand what the consequences of their potential extirpation could be for ecosystem structure and function. In addition, individual behavioral specialization is commonplace across many taxa, but studies of its prevalence, causes, and consequences in top predator populations are lacking. In this dissertation I investigated the movement, feeding patterns, and drivers and implications of individual specialization in an American alligator (Alligator mississippiensis ) population inhabiting a dynamic subtropical estuary. I found that alligator movement and feeding behaviors in this population were largely regulated by a combination of biotic and abiotic factors that varied seasonally. I also found that the population consisted of individuals that displayed an extremely wide range of movement and feeding behaviors, indicating that individual specialization is potentially an important determinant of the varied roles of alligators in ecosystems. Ultimately, I found that assuming top predator populations consist of individuals that all behave in similar ways in terms of their feeding, movements, and potential roles in ecosystems is likely incorrect. As climate change and ecosystem restoration and conservation activities continue to affect top predator populations worldwide, individuals will likely respond in different and possibly unexpected ways.

Factors Influencing Movements and Foraging Ecology of American Alligators (Alligator mississippiensis) in a Dynamic Subtropical Coastal Ecosystem

Top predators can have large effects on community and population dynamics but we still know relatively little about their roles in ecosystems and which biotic and abiotic factors potentially affect their behavioral patterns. Understanding the roles played by top predators is a pressing issue because many top predator populations around the world are declining rapidly yet we do not fully understand what the consequences of their potential extirpation could be for ecosystem structure and function. In addition, individual behavioral specialization is commonplace across many taxa, but studies of its prevalence, causes, and consequences in top predator populations are lacking. In this dissertation I investigated the movement, feeding patterns, and drivers and implications of individual specialization in an American alligator (Alligator mississippiensis) population inhabiting a dynamic subtropical estuary. I found that alligator movement and feeding behaviors in this population were largely regulated by a combination of biotic and abiotic factors that varied seasonally. I also found that the population consisted of individuals that displayed an extremely wide range of movement and feeding behaviors, indicating that individual specialization is potentially an important determinant of the varied roles of alligators in ecosystems. Ultimately, I found that assuming top predator populations consist of individuals that all behave in similar ways in terms of their feeding, movements, and potential roles in ecosystems is likely incorrect. As climate change and ecosystem restoration and conservation activities continue to affect top predator populations worldwide, individuals will likely respond in different and possibly unexpected ways.