Constraint checking in UML modeling
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Rearchitecting the UML infrastructure
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Using Transition Systems to Unify UML Models
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
A Formal Framework for Reasoning on UML Class Diagrams
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
OCL Based on New Presentation of the OCL-Syntax
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
A Toolbox for Automating Visual Software Engineering
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Visualizing model mappings in UML
Proceedings of the 2003 ACM symposium on Software visualization
Feature interactions in embedded control systems
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: Directions in feature interaction research
Reasoning on UML class diagrams
Artificial Intelligence
Generic semantics of feature diagrams
Computer Networks: The International Journal of Computer and Telecommunications Networking
rCOS: a refinement calculus of object systems
Theoretical Computer Science - Components and objects
A framework for the design and verification of software measurement methods
Journal of Systems and Software
Towards using visual process models to control enterprise systems functionalities
International Journal of Networking and Virtual Organisations
Separation of Concerns and Consistent Integration in Requirements Modelling
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Description and Implementation of a UML Style Guide
Models in Software Engineering
Reasoning on UML class diagrams
Artificial Intelligence
An evaluation of timed scenario notations
Journal of Systems and Software
Electronic Notes in Theoretical Computer Science (ENTCS)
Inferring information from feature diagrams to product line economic models
Proceedings of the 13th International Software Product Line Conference
Formal modelling of feature configuration workflows
Proceedings of the 13th International Software Product Line Conference
Summary of the workshop on multi-paradigm modeling: concepts and tools
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
An algebraic view on the semantics of model composition
ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
BPM'07 Proceedings of the 2007 international conference on Business process management
Companion Proceedings of the XIV Brazilian Symposium on Multimedia and the Web
Full satisfiability of UML class diagrams
ER'10 Proceedings of the 29th international conference on Conceptual modeling
A formal semantics for feature cardinalities in feature diagrams
Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems
Nets4Cars/Nets4Trains'11 Proceedings of the Third international conference on Communication technologies for vehicles
A text-based approach to feature modelling: Syntax and semantics of TVL
Science of Computer Programming
A predicative semantic model for integrating UML models
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
VCD: a visual formalism for specification of heterogeneous software architectures
SOFSEM'05 Proceedings of the 31st international conference on Theory and Practice of Computer Science
Towards a model transformation intent catalog
Proceedings of the First Workshop on the Analysis of Model Transformations
Supporting multiple perspectives in feature-based configuration
Software and Systems Modeling (SoSyM)
On model compatibility with referees and contexts
Software and Systems Modeling (SoSyM)
| Hi-index | 0.00 |
The motivation for this paper, the first in a planned series of three parts, is the multitude of concepts surrounding the proper definition of complex modeling languages for systems and software, and the confusion that this often causes. Particularly relevant is the case of the recently standardized UML, which we refer to quite extensively as we proceed. Our intention is to discuss and clarify the notions involved in defining modeling languages. The main theme is the distinction between syntax and semantics, the nature and purpose of each, their usage and style, and the various means for defining and dealing with them. Underlying the exposition are the dichotomies of textual vs. visual languages, structural vs. behavioral specification, and requirements vs. system models. We hope that the paper will be useful to language designers, methodologists, tool vendors and educators.