simultaneously for each scenario. Responsibilities of generalized objects and their
holders and receivers form CRM that are further transformed into Java code by Jess.
RESTDA predefines how a generalized object of CRM is transformed into one or
more Java classes. The generation rules are also implemented in Jess in a code-
template-generation fashion where the data for placeholders of code templates come
from definition of CRM. These rules also define how different source code to
generate for different responsibility definitions.
4 Conclusion and Future Work
In this paper, we introduced the software development architecture for business –
RESTDA which is based on the idea of REST. The significance of the research is that
domain experts can use BM to describe the running of a business without concerning
any technology details. Instead of direct translation approach, the combination of
syntactic, semantic, and contextual information of each level offers machines higher
intelligence to generate software systems from platform-independent models.
With regard to future work, one is to formalize the concept of responsibilities
Another is to use much expressive higher-order logic to quantify over predicates and
to apply automatic theorem provers, such as HOL, to verify consistency of BM and
responsibility realization [8,9].
Acknowledgments
This research is conducted as a program for the “21
st
Century COE Program” by
Ministry of Education, Culture, Sports, Science and Technology.
References
1. MDA Guide Version 1.0.1. OMG. http://www.omg.org/docs/omg/03-06-01.pdf (2003)
2. Frankle, D.S.: Model Driven Architecture : Applying MDA to Enterprise Computing.
Wiley, New York (2003)
3. Thomas, D.: MDA: Revenge of the Modelers or UML Utopia? IEEE Software, Vol. 21, No.
3, pp. 15 – 17 (2004)
4. Wirfs-Brock, R.: Object-Oriented Design: a Responsibility-Driven Approach. OOPSLA ’89
Conference Proceedings, pp. 71 – 75 (1989)
5. Wirfs-Brock, R., McKean, A.: Object Design: Roles, Responsibilities, and Collaborations.
Addison-Wesley, Boston (2003)
6. Jess v7.0a4. http://herzberg.ca.sandia.gov/jess/
7. Friedman-Hill, E.: Jess in Action. Manning: rule-based systems in Java. Manning,
Greenwich, CT (2003)
8. Aoki, T., Katayama, T.: Unification and Consistency Verification of Object-Oriented
Analysis Models. Asia-Pacific Software Engineering Conference, (1998)
9. Yatake, K., Aoki, T., Katayama, T.: Collaboration-Based Cerification of Object-Oriented
Models in HOL. Verification and Validation of Enterprise Information Systems (2004)
170