The Action Language: Refining a Behavioral Modeling Language
12TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS(2005)
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.
MoreTranslated text
Key words
software component,fashionable all-encompassing system modeling,trivial dependency,behavioral modeling language,component behavioral modeling,core behavior,action language,statecharts-like behavioral modeling language,platform-specific concept,separate language,limited degree,large-scale complex system behavior,displays,software systems,kernel,system modeling,behavior modeling,systems analysis,embedded systems,embedded software,modeling language,complex system,unified modeling language,computer architecture,formal specification,embedded system,object oriented programming
AI Read Science
Must-Reading Tree
Example
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined