What's SMART?
SMART is a UML modeling tool based on UML2.0 ("UML Modeler") with a tool for test driven development of models ("Test Tool"). SMART has "Traceability Web Tool", a requirement management tool putting things together.
SMART was built in the research project integrating AGILE and Model-based methodologies at Hayashi Laboratory (CS33) in Kobe-University. Now it is maintained by Department of Humanistic Informatics, Graduate School of Letters, Kyoto University, where Susumu Hayashi is a professor.
Three Tools of SMART
| UML Modeling | Test Driven Development of Models (TDDM) | Requirement Management |
|---|---|---|
| SMART supports Sequence Diagrams, StateMachine Diagrams, and Composite Structure Diagrams (not complete). And you can design simple Graphical User Interfaces and write use cases in text. SMART can execute models. For this end, SMART has own Action Language (SMART Action Language). Class Diagram has not been supported SMART, although SMART has class concept. |
Test Driven Development (TDD) is the programming methodology based on Test-First approach. In SMART, we provide you a new methodology "Test Driven Development of Models" (TDDM). TDDM is a TDD technology applied to UML modeling. TDDM is realized by "SMART Test Tool" (STT). |
When you build a model, you must manage so many model elements and it is a complicated and difficult task. We have introduced "SMART Traceability Web Tool" (STWT) managing relationships between model elements including documents such as testcases and test purposes. In STWT, you can create the web of documents and model elements with connections with explanatory notes. Connections with explanatory notes resemble association classes and RDF (Resource Description Framework) and make a SMART model into a "semantic web" of model elements. |
News
- SMART project was notified to be supported by Tokutei-Ryoiki-Kenkyu Kakenhi-grant of MEXT
- Test Driven Development of UML Models with SMART modeling system(early version) was accepted for UML 2004. The final version appeared in <<UML>>2004- The Unified Modeling Language, Springer Lecture Notes in Comp. Sci., No.3273, pp.395-409
- SMART system is now available. (2004/Oct/14)
- A new version of SMART is availabe (2004/Nov/08). It has GUI good for education of automaton.
Downloads - SMART versions: 041014 041108
- Documentations and Demos
- Source Code
- Others
Researches - Purpose
- Targets
- UML (Unified Modeling Language)
- Model Debugging / Verification
- Concurrency
- Requirement Management
- Articles
- Test Driven Development of UML Models with SMART modeling system (accepted for UML 2004). The link is an early version. The final version is <<UML>> 2004 - The Unified Modeling Language, Springer-Verlag, LNCS 3273, pp.395-409
- Articles in Japanese
- Towards Simulation of Home Net - a case study of ECHONET EMS- (Sejeon Sul, graduation thesis, 2003)
- An Executor of UML Action Semantics (Kenji Hanayama, graduation thesis, 2003)
- Modeling Tool for Distributed Systems Using UML (Kenji Mori, graduation thesis, 2003)
- Test Driven Development of UML Modeling (Pan YiBing, master thesis, 2004)
- SMART Action Language (Masahito Shimizu, graduation thesis, 2004)
- Structural Modeling based on UML2.0 (Masami Sato, graduation thesis, 2004)
Link Contact Us... - Address : Yoshida-Honmachi, Sakyo, Kyoto, Japan
- Mail : susumu@shayashi.jp
- Site Manager : Susumu Hayashi