%0 Conference Paper %1 harel_96_executable %A Harel, David %A Gery, E. %D 1996 %J Software Engineering, 1996., Proceedings of the 18th International Conference on %K 1996 statecharts %P 246--257 %R 10.1109/ICSE.1996.493420 %T Executable object modeling with statecharts %U http://dx.doi.org/10.1109/ICSE.1996.493420 %X This paper reports on an effort to develop an integrated set of diagrammatic languages for modeling object-oriented systems, and to construct a supporting tool. The goal is for models to be intuitive and well-structured, yet fully executable and analyzable, enabling automatic synthesis of usable and efficient code in object-oriented languages such as C++. At the heart of the modeling method is the language of statecharts for specifying object behavior, and a hierarchical OMT-like language for describing the structure of classes and their inter-relationships, that we call O-charts. Objects can interact by event generation, or by direct invocation of operations. In the interest of keeping the exposition manageable, we leave out some technically involved topics, such as multiple-thread concurrency and active objects

@inproceedings{harel_96_executable, abstract = {This paper reports on an effort to develop an integrated set of diagrammatic languages for modeling object-oriented systems, and to construct a supporting tool. The goal is for models to be intuitive and well-structured, yet fully executable and analyzable, enabling automatic synthesis of usable and efficient code in object-oriented languages such as C++. At the heart of the modeling method is the language of statecharts for specifying object behavior, and a hierarchical OMT-like language for describing the structure of classes and their inter-relationships, that we call O-charts. Objects can interact by event generation, or by direct invocation of operations. In the interest of keeping the exposition manageable, we leave out some technically involved topics, such as multiple-thread concurrency and active objects}, added-at = {2009-02-11T22:26:37.000+0100}, author = {Harel, David and Gery, E.}, biburl = {https://www.bibsonomy.org/bibtex/28e8141658408a7cc6bc8b8a6ae0b1f11/leonardo}, citeulike-article-id = {471812}, doi = {10.1109/ICSE.1996.493420}, interhash = {226c557e3664c1549c0957ba42df3b7d}, intrahash = {8e8141658408a7cc6bc8b8a6ae0b1f11}, journal = {Software Engineering, 1996., Proceedings of the 18th International Conference on}, keywords = {1996 statecharts}, pages = {246--257}, posted-at = {2006-01-20 00:23:32}, priority = {3}, timestamp = {2009-02-11T22:26:37.000+0100}, title = {Executable object modeling with statecharts}, url = {http://dx.doi.org/10.1109/ICSE.1996.493420}, year = 1996 }