System architecture specification based on behavior models
MetadataShow full item record
This paper suggests an approach to formal software and 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 framework provides high level abstractions for analyzing system behavior properties expressed as computations over event traces. The automated tools can support extracting of different views from the model, and verification of behavior properties within a given scope. Advantages of this approach compared with the common simulation tools are as follows. Means to write assertions about the system behavior and tools to verify those assertions. Exhaustive search through all possible scenarios (up to the scope limit). The small scope hypothesis states that most of errors can be demonstrated on small examples. The support for verifiable refinement of the architecture model, up to design and implementation models. Integration of the architecture models with environment models for defining typical scenarios (use cases) and verifying system's behavior for those scenarios.
Showing items related by title, author, creator and subject.
Auguston, Mikhail; Whitcomb, Clifford; Giammarco, Kristin (2012-10-10);This paper suggests a new approach to formal system and software 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 ...
Giammarco, Kristin; Moulds, Tom (Monterey, California. Naval Postgraduate School, 2016);This research advances model-based systems engineering approaches and tools for representing human behaviors in terms of decision-making processes and choices, and integrating human models with technological system models ...
Auguston, Mikhail (Monterey, California. Naval Postgraduate School, 2014-11); NPS-CS-14-003Monterey Phoenix (MP) is an approach to formal software system architecture specification based on behavior models. Architecture modeling focuses not only on the activities and interactions within the system, but also on ...