Exploring the semantics of UML type structures with Z
FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
Integrating UML diagrams for production control systems
Proceedings of the 22nd international conference on Software engineering
A Toolset for Supporting UML Static and Dynamic Model Checking
COMPSAC '02 Proceedings of the 26th International Computer Software and Applications Conference on Prolonging Software Life: Development and Redevelopment
Automated Boundary Testing from Z and B
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
An Overview of a Method and its Support Tool for Generating B Specifications from UML Notations
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
VIATRA " Visual Automated Transformations for Formal Verification and Validation of UML Models
Proceedings of the 17th IEEE international conference on Automated software engineering
TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit
IEEE Transactions on Software Engineering
The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems
Proceedings of the 27th international conference on Software engineering
Describing dynamic software architectures using an extended UML model
Proceedings of the 2006 ACM symposium on Applied computing
B#: toward a synthesis between Z and B
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Generating transformation definition from mapping specification: application to web service platform
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
P/S-CoM: Building correct by design Publish/Subscribe architectural styles with safe reconfiguration
Journal of Systems and Software
Evaluating software architecture in a model-based approach for enterprise information system design
Proceedings of the 2010 ICSE Workshop on Sharing and Reusing Architectural Knowledge
Modeling and enforcing invariants of dynamic software architectures
Software and Systems Modeling (SoSyM)
Extending SysML to explore non-functional requirements: the case of information system design
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Hi-index | 0.00 |
UML became a standard for modeling distributed architectures. The development process produces models representing architecture according to different views and different abstraction levels. These models must be valid and coherent together, so the architecture description and its evolutions have to be logical and interpretable. This paper, proposes to define intra and inter profile validations rules enabling one to define the basic elements of each profile, to minimize the modeling errors and to ensure the architecture conformity to its meta-model.