학술논문

The action language: refining a behavioral modeling language
Document Type
Conference
Source
12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05) Engineering of Computer-Based Systems Engineering of Computer-Based Systems, 2005. ECBS '05. 12th IEEE International Conference and Workshops on the. :315-320 2005
Subject
Computing and Processing
Large-scale systems
Software systems
Large scale integration
Displays
Embedded system
System recovery
Unified modeling language
Embedded software
Kernel
Computer architecture
Language
Abstract
When modeling large-scale complex system behavior we believe there is merit in abandoning the once fashionable all-encompassing system modeling approach in favor of developing a set of models created in a variety of loosely coupled modeling languages. Loosely coupled languages are those that are considered to be nearly orthogonal with respect to their intention, but in reality may display a limited degree of trivial dependencies. We apply this approach toward component behavioral modeling to show how core behaviors of software components can be specified using a statecharts-like behavioral modeling language while elements of the behavior associated with implementation- or platform-specific concepts are modeled using a wholly separate language.