%0 Conference Paper %1 dan_towards_2010 %A Dan, Li %A Danning, Li %B Information Science and Engineering (ISISE), 2010 International Symposium on %D 2010 %K , Language; QVT}, UML}, Unified}, and, automated, behavioral, code, communicating, development; diagrams; driven, engineering; formal, generation; interaction, machine-readable, model, modeling, processes; reasoning; semantics; sequential software, {2.0; {CSP-based}, {Relations; {execution; {semantics; %P 213 --218 %R 10.1109/ISISE.2010.88 %T Towards a Formal Behavioral Semantics for UML Interactions %X UML interaction diagrams are important in effectively modeling complex system behaviors. But its lack of formal semantics makes it difficult for practitioners to analyze and validate the built model. In this paper, we present a formal behavioral semantics for UML Interactions based on CSP (communicating and sequential processes).The semantics is defined denotationally through semantic mapping specified using QVT Relations in graphical notation. This CSP-based machine-readable semantics supports important flow control related features of UML 2.0, and can be easily understood by humans. Furthermore, the semantics may serve as a foundation for tools supporting model execution, code generation and automated reasoning in model driven development of software system.

@inproceedings{dan_towards_2010, abstract = {{UML} interaction diagrams are important in effectively modeling complex system behaviors. But its lack of formal semantics makes it difficult for practitioners to analyze and validate the built model. In this paper, we present a formal behavioral semantics for {UML} Interactions based on {CSP} (communicating and sequential {processes).The} semantics is defined denotationally through semantic mapping specified using {QVT} Relations in graphical notation. This {CSP-based} machine-readable semantics supports important flow control related features of {UML} 2.0, and can be easily understood by humans. Furthermore, the semantics may serve as a foundation for tools supporting model execution, code generation and automated reasoning in model driven development of software system.}, added-at = {2013-02-28T11:13:35.000+0100}, author = {Dan, Li and Danning, Li}, biburl = {https://www.bibsonomy.org/bibtex/2564e6aa88186e897a14f80099bd37f5a/fritzsolms}, booktitle = {{Information Science and Engineering {(ISISE)}, 2010 International Symposium on}}, doi = {10.1109/ISISE.2010.88}, interhash = {cebc201fb11d299757250c7aaa1f812c}, intrahash = {564e6aa88186e897a14f80099bd37f5a}, keywords = {, Language; QVT}, UML}, Unified}, and, automated, behavioral, code, communicating, development; diagrams; driven, engineering; formal, generation; interaction, machine-readable, model, modeling, processes; reasoning; semantics; sequential software, {2.0; {CSP-based}, {Relations; {execution; {semantics;}, lccn = {0000}, month = dec, pages = {213 --218}, timestamp = {2013-02-28T11:13:44.000+0100}, title = {{Towards a Formal Behavioral Semantics for {UML} Interactions}}, year = 2010 }