In the software development process of transactional and concurrent object-oriented software systems, specialized modeling tools are needed in order to capture and express its properties. These tools should also provide support to apprehend simultaneously the system's structure and the interactions between its environment. In this paper we present a specification language and a framework that allows modeling complex object-oriented software systems which can be at the same time transactional and concurrent. This framework allows to iterate in all the phases of the software development process between modeling and implementation.