Abstract
The purpose of this symposium, held in conjunction with MoDELS 2006, was to present the current state of research of the UML 2 Semantics Project. Equally important to receiving feedback from an audience of experts was the opportunity to invite researchers in the field to discuss their own work related to a formal semantics for the Unified Modeling Language. This symposium is a follow-on to our first workshop, held in conjunction with ECMDA 2005.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
UML 2 semantics project web page (2006), http://www.cs.queensu.ca/~stl/internal/uml2,
Broy, M., Cengarle, M.-V., Rumpe, B.: Towards a system model for UML: The control and scheduling model. Draft - Verson 0.7 (Oct. 2006)
Broy, M., Cengarle, M.-V., Rumpe, B.: Towards a system model for UML: The structural data model. Version 1.0, 4 June (2006)
Crane, M.L., Dingel, J.: Mapping actions to the system model. Draft - Version 0.0 (Oct. 2006)
Crane, M.L., Dingel, J., Diskin, Z.: Class diagrams: Abstract syntax and mapping to system model. Draft - Version 1.7 (Sept. 2006)
Crane, M.L., Dingel, J., Diskin, Z.: Mapping activities to the system model. Draft - Version 0.0 (Oct. 2006)
Dingel, J., Crane, M.L., Diskin, Z.: Activity diagrams: Abstract syntax and mapping to system model. Draft - Version 0.0 (Mar. 2006)
Diskin, Z., Dingel, J.: Mappings, maps and tables: Towards formal semantics for associations in UML2. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 230–244. Springer, Heidelberg (2006)
Diskin, Z., Dingel, J.: A metamodel independent framework for model transformation: Towards generic model management patterns in reverse engineering. In: 3rd International Workshop on Metamodels, Schemas, Grammars, and Ontologies for Reverse Engineering (ATEM 2006) (2006)
Harel, D., Rumpe, B.: Meaningful modeling: What’s the semantics of “semantics”? IEEE Computer Magazine 37(10), 64–72 (2004)
Kirshin, A., Moshkovich, D., Hartman, A.: A UML simulator based on a generic model execution engine. In: Proceedings of the 20th European Conference on Modelling and Simulation (ECMS 2006) (2006)
OMG. Unified Modeling Language: Superstructure version 2.0. Document formal/05-07-04, Object Management Group (2005)
Selic, B.: On the semantic foundations of standard UML 2.0. In: Bernardo, M., Corradini, F. (eds.) Formal Methods for the Design of Real-Time Systems. LNCS, vol. 3185, pp. 181–199. Springer, Heidelberg (2004)
Zito, A., Dingel, J.: Modeling UML2 package merge with Alloy. In: First Alloy Workshop, Portland, Oregon, USA, November (to appear 2006)
Zito, A., Diskin, Z., Dingel, J.: Package merge in UML 2: Practice vs. theory? In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 185–199. Springer, Heidelberg (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Broy, M., Crane, M.L., Dingel, J., Hartman, A., Rumpe, B., Selic, B. (2007). 2nd UML 2 Semantics Symposium: Formal Semantics for UML. In: Kühne, T. (eds) Models in Software Engineering. MODELS 2006. Lecture Notes in Computer Science, vol 4364. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69489-2_39
Download citation
DOI: https://doi.org/10.1007/978-3-540-69489-2_39
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69488-5
Online ISBN: 978-3-540-69489-2
eBook Packages: Computer ScienceComputer Science (R0)