Enabling Data Flows in UML Interactions

Marc-Florian Wendland, Ramon Barakat, Martin Schneider

2016

Abstract

UML Interactions represent one of the three UML behaviors. They describe the interwork of parts of a system based on message exchange. UML Interactions can reside on any level of abstraction and they seem sufficiently elaborated for high-level specifications used for sketching the communication among parts of a system. The UML Interactions metamodel, however, reveals some deficiencies for precise specifications of data values and data flows. Even UML 2.5 still does not provide concepts for data flows in UML Interactions. In this paper, we suggest a profile-based extension that integrates data flow concepts with UML Interactions. The extension supports accessing (usage of) values located in data sources and assignment (definition) of values to data sinks in the context of message exchange and invocation of Interactions. The proposed extension improves the expressiveness of UML Interactions in a minimal invasive manner and makes it similar to the capabilities of UML Activities regarding the specification of data flows.

References

  1. Haugen, Ø. and Stølen, K.: STAIRS - Steps to analyze interactions with refinement semantics. In Proc. International Conference on UML, 2003.
  2. Runde, R. K., Haugen, Ø., Stølen, K.: Refining UML interactions with underspecification and nondeterminism. In: Nordic Journal of Computing, 2005.
  3. Störrle, H.: Semantics of interactions in UML 2.0. In: Proceedings of IEEE Symposium on Human Centric Computing Languages and Environments, 2003.
  4. Störrle, H.: Trace Semantics of UML 2.0 Interactions. Technical report, University of Munich, 2004.
  5. Knapp, A.: A Formal Semantics for UML Interactions. In: R. France and B. Rumpe (eds.): Proc. 2nd Int. Conf. Unified Modeling Language (UML'99), 1999.
  6. Cengarle, M., Knapp, A.: UML 2.0 Interactions: Semantics and Refinement. In: J. Jürjens, E. B. Fernàndez, R. France, B. Rumpe (eds.): 3rd Int. Workshop on Critical Systems Development with UML (CSDUML'04), 2004.
  7. Li, M., and Ruan Y.: Approach to Formalizing UML Sequence Diagrams. In: Proc. 3rd International Workshop on Intelligent Systems and Applications (ISA), 2011.
  8. Shen, H., Virani, A.; Niu, J.: Formalize UML 2 Sequence Diagrams. In: Proc. 11th IEEE High Assurance Systems Engineering Symposium (HASE), 2008.
  9. Störrle, H.: Assert, Negate and Refinement in UML-22 Interactions. In: J. Jürjens, B. Rumpe, R. France, and E. B. Fernandez, Proc. Wsh. Critical Systems Development with UML (CSDUML'03), 2003.
  10. Harel, D., and Maoz, S.: Assert and negate revisited: modal semantics for UML sequence diagrams. In: Proc. International workshop on Scenarios and state machines: models, algorithms, and tools (SCESM 7806), 2006.
  11. Knapp, A., and Wuttke, J.: Model Checking of UML 2.0 Interactions. In; Proc. of the 2006 International conference on Models in Software Engineering (MoDELS'06), Springer, Heidelberg 2006.
  12. Lund, M. S., and Stølen, K.: A fully general operational semantics for UML 2.0 sequence diagrams with potential and mandatory choice. In: Proceedings of the 14th international conference on Formal Methods, 2006.
  13. Wendland, M.-F., Haugen, O., and Schneider, M.: Evolutions of UML Interactions metamodel. In; Proc. of the 2013 International conference on Models in Software Engineering (MoDELS'13), Springer, 2013.
  14. Selic, B.: A Systematic Approach to Domain-Specific Language Design Using UML. In; Proc. of the 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, 2007.
  15. UML, Object Management Group: Unified Modeling Language 2.5, http://www.omg.org/spec/UML/2.5/, 2015.
  16. fUML, Object Management Group: Semantics of a Foundational Subset for Executable 1.1, http://www.omg.org/spec/FUML/1.1, 2013.
  17. OCL, Object Management Group: Object Constraint Language, http://www.omg.org/spec/OCL, 2015.
Download


Paper Citation


in Harvard Style

Wendland M., Barakat R. and Schneider M. (2016). Enabling Data Flows in UML Interactions . In Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-168-7, pages 250-257. DOI: 10.5220/0005689002500257


in Bibtex Style

@conference{modelsward16,
author={Marc-Florian Wendland and Ramon Barakat and Martin Schneider},
title={Enabling Data Flows in UML Interactions},
booktitle={Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2016},
pages={250-257},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005689002500257},
isbn={978-989-758-168-7},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Enabling Data Flows in UML Interactions
SN - 978-989-758-168-7
AU - Wendland M.
AU - Barakat R.
AU - Schneider M.
PY - 2016
SP - 250
EP - 257
DO - 10.5220/0005689002500257