TY - GEN
T1 - Automated software engineering using concurrent class machines
AU - Grosu, Radu
AU - Liu, Yanhong A.
AU - Smolka, Scott
AU - Stoller, Scott D.
AU - Yan, Jingyu
N1 - Publisher Copyright: © 2001 IEEE.
PY - 2001
Y1 - 2001
N2 - Concurrent Class Machines are a novel state-machine model that directly captures a variety of object-oriented concepts, including classes and inheritance, objects and object creation, methods, method invocation and exceptions, multithreading and abstract collection types. The model can be understood as a precise definition of UML activity diagrams which, at the same time, offers an executable, object-oriented alternative to event-based statecharts. It can also be understood as a visual, combined control and data flow model for multithreaded object-oriented programs. We first introduce a visual notation and tool for Concurrent Class Machines and discuss their benefits in enhancing system design. We then equip this notation with a precise semantics that allows us to define refinement and modular refinement rules. Finally, we summarize our work on generation of optimized code, implementation and experiments, and compare with related work.
AB - Concurrent Class Machines are a novel state-machine model that directly captures a variety of object-oriented concepts, including classes and inheritance, objects and object creation, methods, method invocation and exceptions, multithreading and abstract collection types. The model can be understood as a precise definition of UML activity diagrams which, at the same time, offers an executable, object-oriented alternative to event-based statecharts. It can also be understood as a visual, combined control and data flow model for multithreaded object-oriented programs. We first introduce a visual notation and tool for Concurrent Class Machines and discuss their benefits in enhancing system design. We then equip this notation with a precise semantics that allows us to define refinement and modular refinement rules. Finally, we summarize our work on generation of optimized code, implementation and experiments, and compare with related work.
UR - https://www.scopus.com/pages/publications/77954482203
U2 - 10.1109/ASE.2001.989816
DO - 10.1109/ASE.2001.989816
M3 - Conference contribution
T3 - Proceedings - 16th Annual International Conference on Automated Software Engineering, ASE 2001
SP - 297
EP - 304
BT - Proceedings - 16th Annual International Conference on Automated Software Engineering, ASE 2001
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 16th Annual IEEE International Conference on Automated Software Engineering, ASE 2001
Y2 - 26 November 2001 through 29 November 2001
ER -