Software architecture built from behavior models
MetadataShow full item record
This paper suggests an approach to formal software system architecture specification based on behavior models. The behavior of the system is defined as a set of events (event trace) with two basic relations: precedence and inclusion. The structure of event trace is specified using event grammars and other constraints organized into schemas. The schema framework is amenable to stepwise architecture refinement, reuse, composition, visualization, and application of automated tools for consistency checks. The concept of event attribute supports a continuous architecture refinement up to executable design and implementation models.
NPS Report NumberNPS-CS-09-008
Showing items related by title, author, creator and subject.
Schaub, Erika Ann; Darken, Christian J. (2007);Sociological models (e.g., social network analysis, small-group dynamics and gang models) have historically been used to predict the behavior of terrorist groups. However, they may not be the most appropriate method for ...
Boundary conditions of the emotional exhaustion-unsafe behavior link: the dark side of group norms and personal control Ju, Dong; Qin, Xin; Xu, Minya; DiRenzo, Marco S. (Springer, 2016);This study focuses on the conditions under which emotional exhaustion leads to employee unsafe behavior. In a sample of 592 construction workers nested in 33 groups, we found that both emotional exhaustion and unsafe ...
Modeling of engine parameters for condition-based maintenance of the MTU series 2000 diesel engine Yue, Siew Peng (Monterey, California: Naval Postgraduate School, 2016-09);Condition-based maintenance (CBM) entails performing maintenance only when needed to save on resources and cost. Formulating a model that reflects the behavior of the marine diesel engine in its normal operating conditions ...