The action language: Refining a behavioral modeling language

Proceedings - 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECS 2005

Volumn , Issue , 2005, Pages 315-320

  Nordstrom, Steve ^a   Shetty, Shweta ^a   Yao, Di ^a   Ahuja, Shikha ^a   Neema, Sandeep ^a   Bapty, Ted ^a  

^a VANDERBILT UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ACTION LANGUAGE; ALL-ENCOMPASSING SYSTEM; CORE BEHAVIORS; SOFTWARE COMPONENTS;

BEHAVIORAL RESEARCH; COMPUTER SIMULATION; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; SET THEORY; SOFTWARE ENGINEERING;

COMPUTER PROGRAMMING LANGUAGES;

EID: 28344439179     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. D. Harel, "Statecharts: A Visual Formalism for Complex Systems," Science of Computer Programming, vol. 8, pp. 231-274, June 1987.
2. J.RumBaugh, I.Jacobson, and G.Booch, "The Unified Modeling Language Reference Manual", Addison-Wesley, 1998.
3. Kevin Compton, Yuri Gurevich, James K. Huggins, and Wuwei Shen, "An Automatic Verification Tool for UML", University of Michigan EECS Department Technical Report CSE-TR-423-00.
4. D. Harel, "Executable Object Modeling with Statecharts." Proceedings of the 18th International Conference on Software Engineering, pages 246-257. IEEE Computer Society Press, January 1996.
5. S. Neema, T. Bapty, S. Shetty, S. Nordstrom, "Autonomic Fault Mitigation in Embedded Systems" Elsevier Special Issue on Autonomic Computing and Grids, 2004.
6. S. Shetty, S. Nordstrom, S.Ahuja, D. Yao, T. Bapty, S. Neema, "Systems Integration of Large Scale Autonomic Systems using Multiple Domain Specific Modeling Languages", Accepted, 2nd Workshop on Engineering of Autonomic Systems (EASe 2005) April 3-8, 2005.
7. E. Astesiano, M. Cerioli and G. Reggio, "Architecture Specific Models: Software Design on Abstract Platforms", Radical Innovations of Software and Systems Engineering in the Future, Proc. 9th Monterey Software Engineering Workshop, Venice, Italy, Sep. 2002. Lecture Notes in Computer Science n. 2941, Berlin, Springer Verlag, 2004.
8. W. Shen, K. Compton, J. Huggins, "A Toolset for Supporting UML Static and Dynamic Model Checking", Proceeding of IEEE Automated Software Engineering 2001.
9. G. Karsai, J. Sztipanovits, A. Ledeczi, T. Bapty, "Model-Integrated Development of Embedded Software", Proceedings of the IEEE, Vol. 91, Number 1, pp. 145-164, January, 2003.
10. A. Ledeczi, A. Bakay, M. Maroti, P. Volgyesi, G. Nordstrom, J. Sprinkle, G. Karsai, "Composing Domain-Specific Design Environments, IEEE Computer, pp. 44-51, November, 2001.
11. S. Shetty, "Towards Developing Tools and Technologies for Large Scale Real time Embedded systems", Master's Thesis, Vanderbilt University, Electrical and Computer Engineering, April 1, 2004.