Approach to Formalizing UML Sequence Diagrams

Li, Ming; Ruan, Yanrui

doi:10.1109/isa.2011.5873348

Cited by 4 publications

(3 citation statements)

References 7 publications

(8 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…TCDFDs are visually similar to a sequence diagram of UML [Li and Ruan 2011], a well-known model from the software engineering community, which represents the flow of execution of a set of software modules. However, TCDFDs have a different semantics, as they are designed to enhance DFDs by adding the temporal constraints among the tasks that are present in the other representation models discussed in Section 3.…”

Section: Temporal Constrained Data Flow Diagramsmentioning

confidence: 99%

A Mapping-Scheduling Algorithm for Hardware Acceleration on Reconfigurable Platforms

Clemente

Beretta

Rana

et al. 2014

ACM Trans. Reconfigurable Technol. Syst.

View full text Add to dashboard Cite

Reconfigurable platforms are a promising technology that offers an interesting trade-off between flexibility and performance, which many recent embedded system applications demand, especially in fields such as multimedia processing. These applications typically involve multiple ad-hoc tasks for hardware acceleration, which are usually represented using formalisms such as Data Flow Diagrams (DFDs), Data Flow Graphs (DFGs), Control and Data Flow Graphs (CDFGs) or Petri Nets. However, none of these models is able to capture at the same time the pipeline behavior between tasks (that therefore can coexist in order to minimize the application execution time), their communication patterns, and their data dependencies. This article proves that the knowledge of all this information can be effectively exploited to reduce the resource requirements and the timing performance of modern reconfigurable systems, where a set of hardware accelerators is used to support the computation. For this purpose, this article proposes a novel task representation model, named Temporal Constrained Data Flow Diagram (TCDFD), which includes all this information. This article also presents a mapping-scheduling algorithm that is able to take advantage of the new TCDFD model. It aims at minimizing the dynamic reconfiguration overhead while meeting the communication requirements among the tasks. Experimental results show that the presented approach achieves up to 75% of resources saving and up to 89% of reconfiguration overhead reduction with respect to other state-of-the-art techniques for reconfigurable platforms.

show abstract

Section: Temporal Constrained Data Flow Diagramsmentioning

confidence: 99%

A Mapping-Scheduling Algorithm for Hardware Acceleration on Reconfigurable Platforms

Clemente

Beretta

Rana

et al. 2014

ACM Trans. Reconfigurable Technol. Syst.

View full text Add to dashboard Cite

show abstract

“…Störrle presented a formal specification of UML Interactions and a comparison of UML 2.0 and UML 1.4 Interactions [11] and [12]). A similar work was done by Knapp and Cengarle ([13] and [14]), Li and Ruan [15] and Shen et al [16]. Special attention was set to the semantics of assert and negative CombinedFragments ( [17] and [18]), though.…”

Section: Related Workmentioning

confidence: 99%

Evolution of the UML Interactions Metamodel

Wendland

Schneider

Haugen

2013

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. UML Interactions represent one of the three different behavior kinds of the UML. In general, they specify the exchange of messages among parts of a system. Although UML Interactions can reside on different level of abstractions, they seem to be sufficiently elaborated for a higher-level of abstraction where they are used for sketching the communication among parts. Its metamodel reveals some fuzziness and imprecision where definitions should be accurate and concise, though. In this paper, we propose improvements to the UML Interactions' metamodel for Message arguments and Loop CombinedFragments that make them more versatile. We will justify the needs for the improvements by precisely showing the shortcomings of the related parts of the metamodel. We demonstrate the expressiveness of the improvements by applying them to examples that current Interactions definition handles awkwardly.

show abstract

“…Martin [3] presented UML class diagrams which allow us to denote the static contents of and the relationships between classes. Li [4] presented UML sequence diagrams which are widely used as a behavioral modeling language for interactive systems for their concise and intuitive expression, especially for a few high security systems. Samuel [5] described Sequence diagrams which one of the most widely used UML models in the software industry.…”

Section: Introductionmentioning

confidence: 99%

Modeling and Design of Data Cube for Electricity Bill Deposit System

Saxena¹,

Singh²

2013

IJCA

View full text Add to dashboard Cite

Due to evolution of object-oriented technology, many of the software industries are converting old structured base database into the object oriented database. It is observed from the literature that limited research work is available for the object-oriented database and a well-known modeling language i.e. Unified Modeling Language is not much applied in the field of the object-oriented database, therefore, present work deals with the modeling of a database of a real case study of the electricity bill deposit system of electricity supply to the different houses of various localities of a city. As the size of database grows then it is very difficult to find the desired record from the database and also to keep the record for future use, therefore, a database cube designing technique is used for storing the three important fields of a database and one can get the desired information from the data cube. Sample queries are also performed for validating the designed UML class diagram for electricity billing system.

show abstract

Approach to Formalizing UML Sequence Diagrams

Cited by 4 publications

References 7 publications

A Mapping-Scheduling Algorithm for Hardware Acceleration on Reconfigurable Platforms

A Mapping-Scheduling Algorithm for Hardware Acceleration on Reconfigurable Platforms

Evolution of the UML Interactions Metamodel

Modeling and Design of Data Cube for Electricity Bill Deposit System

Contact Info

Product

Resources

About