in order to lighten the prestressed concrete solid members, nowadays, it is possible to make use of the advantage of hpc (fc'>60 mpa) as well as replacing the solid section with a psc thin-walled section for certain members such as circular and box columns. using the strength theory of aci, a numerical procedure along with a computer program was developed for the analysis of such sections ...

Interaction diagrams are graphic representations of concurrent processes with evolving access capabilities; in particular they illustrate the points of access and relations between them. The basic step of computation is the migration of an access point between processes. This paper explains interaction diagrams through a sequence of examples. Diagrams can be regarded as graphic counterparts of ...

This chapter introduces a novel notion of temporal interaction diagrams for distributed and parallel programming. An interaction diagram is a graphical view of computation processes and communication between different entities in distributed and parallel processes. It can be used for the specification, implementation and testing of interaction policies in distributed and parallel systems. Expre...

Scenario-based specifications offer an intuitive and visual way of describing design requirements of distributed software systems. For the communication paradigm based on messages, message sequence charts (MSC) offer a standardized and formal notation amenable to formal analysis. In this paper, we define shared variables interaction diagrams (SVID) as the counterpart of MSCs when processes comm...

in fact the most suitable method for finding the load bearing capacity of a member under the axial load or axial load and bending is make use of the interaction diagrams. to analysis and design the hollow circular, square and rectangular high strength concrete (hsc) column shapes, a linear strain variation was assumed in the cross-section height of the members and then the static equilibrium eq...

Interaction diagrams are used in multi-agent systems to describe computation threads of agents and communication between agents. The IDaF (Interaction Diagrams And Fragmen-tations) is a tool suite based on the formalism of interaction diagrams and fragmentations. The tool suite consists of ValidatoR, FormatteR, TranslatoR, GrapheR and TesteR. This paper describes the usage of the tool suite.

In this paper, we will present a design technique for user and database interaction based on UML. User interaction will be modeled by means of UML state diagrams, and database interaction by means of UML sequence diagrams. The proposed design technique establishes how to integrate both diagrams in order to describe the user interface and database interaction of a business software system. A cas...

Testing is an important means to ensure the quality of software systems. Contract specification can be used to formally specify the cluster level of object-oriented software, which can then be tested using TACCLE, an advanced methodology for object-oriented testing. The use of formal specifications as a testing base has many advantages. However, such specifications are not easily understood and...