Statecharts: A visual formalism for complex systems
Science of Computer Programming
Object-oriented modeling and design
Object-oriented modeling and design
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
A logical approach to discrete math
A logical approach to discrete math
Specification and design of embedded systems
Specification and design of embedded systems
Formalizing and integrating the dynamic model within OMT
ICSE '97 Proceedings of the 19th international conference on Software engineering
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Integrating architecture description languages with a standard design method
Proceedings of the 20th international conference on Software engineering
Communicating sequential processes
Communications of the ACM
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
A Formal Semantics for Object Model Diagrams
IEEE Transactions on Software Engineering
UML-Based Analysis of Embedded Systems Using a Mapping to VHDL
HASE '99 The 4th IEEE International Symposium on High-Assurance Systems Engineering
Towards a formalization of UML class structures in Z
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Towards a Formal Operational Semantics of UML Statechart Diagrams
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
Visualization and interpretation of analysis results within the context of formalized UML diagrams
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Distributed component technologies and their software engineering implications
Proceedings of the 24th International Conference on Software Engineering
Automated abstraction of class diagrams
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formalizing and integrating the dynamic model for object-oriented modeling
IEEE Transactions on Software Engineering
A Formal Metamodeling Approach to a Transformation between the UML State Machine and Object-Z
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Consistency-Preserving Model Evolution through Transformations
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
UMLsec: Extending UML for Secure Systems Development
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Using benchmarking to advance research: a challenge to software engineering
Proceedings of the 25th International Conference on Software Engineering
A framework to simulate UML models: moving from a semi-formal to a formal environment
Proceedings of the 2004 ACM symposium on Applied computing
Automated Analysis of Timing Information in UML Diagrams
Proceedings of the 19th IEEE international conference on Automated software engineering
Enhancing Structured Review with Model-Based Verification
IEEE Transactions on Software Engineering
Object Analysis Patterns for Embedded Systems
IEEE Transactions on Software Engineering
Real-time specification patterns
Proceedings of the 27th international conference on Software engineering
UML formalization is a traceability problem
TEFSE '05 Proceedings of the 3rd international workshop on Traceability in emerging forms of software engineering
Using UML models for the performance analysis of network systems
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
Reasoning on UML class diagrams
Artificial Intelligence
Modeling and performance analysis for security aspects
Science of Computer Programming - Special issue on quality system and software architectures
A framework for cluster availability specification and evaluation
Proceedings of the 43rd annual Southeast regional conference - Volume 1
On Data Reliability Assessment in Accounting Information Systems
Information Systems Research
Model-driven Development of Complex Software: A Research Roadmap
FOSE '07 2007 Future of Software Engineering
Research Directions in Requirements Engineering
FOSE '07 2007 Future of Software Engineering
Towards Re-engineering Legacy Systems for Assured Dynamic Adaptation
MISE '07 Proceedings of the International Workshop on Modeling in Software Engineering
Digitally Evolving Models for Dynamically Adaptive Systems
SEAMS '07 Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
Avida-MDE: a digital evolution approach to generating models of adaptive software behavior
Proceedings of the 10th annual conference on Genetic and evolutionary computation
Checking Interaction Consistency in MARMOT Component Refinements
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Specifying behavioral semantics of UML diagrams through graph transformations
Journal of Systems and Software
Requirements visualization techniques: a comparative analysis
ACS'08 Proceedings of the 8th conference on Applied computer scince
Applying adaptation design patterns
ICAC '09 Proceedings of the 6th international conference on Autonomic computing
Reasoning on UML class diagrams
Artificial Intelligence
Using UML models for the performance analysis of network systems
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
A requirements patterns-driven approach to specify systems and check properties
SPIN'03 Proceedings of the 10th international conference on Model checking software
A pattern-based approach for modeling and analyzing error recovery
Architecting dependable systems IV
"integrare", a collaborative environment for behavior-oriented design
CDVE'07 Proceedings of the 4th international conference on Cooperative design, visualization, and engineering
Design patterns for developing dynamically adaptive systems
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
Automatically discovering properties that specify the latent behavior of UML models
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Model projection: simplifying models in response to restricting the environment
Proceedings of the 33rd International Conference on Software Engineering
A representation method for performance specifications in UML domain
Computers in Human Behavior
A toolchain for the detection of structural and behavioral latent system properties
Proceedings of the 14th international conference on Model driven engineering languages and systems
A visualization framework for the modeling and formal analysis of high assurance systems
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Synthesized UML, a practical approach to map UML to VHDL
RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
An MDA approach towards integrating formal and informal modeling languages
FM'05 Proceedings of the 2005 international conference on Formal Methods
A UML-Compatible formal language for system architecture description
SDL'05 Proceedings of the 12th international conference on Model Driven
Automated analysis of natural language properties for UML models
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Lessons learned from automated analysis of industrial UML class models (an experience report)
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
ArchiTRIO: a UML-Compatible language for architectural description and its formal semantics
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Semantics for UML model transformation and generation of regular grammar
ACM SIGSOFT Software Engineering Notes
i2MAP: an incremental and iterative modeling and analysis process
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Formal workflow design analytics using data flow modeling
Decision Support Systems
| Hi-index | 0.00 |
Informal and graphical modeling techniques enable developers to construct abstract representations of systems. Object-oriented modeling techniques further facilitate the development process. The Unified Modeling Language (UML), an object-oriented modeling approach, could be broad enough in scope to represent a variety of domains and gain widespread use. Currently, UML comprises several different notations with no formal semantics attached to the individual diagrams. Therefore, it is not possible to apply rigorous automated analysis or to execute a UML model in order to test its behavior, short of writing code and performing exhaustive testing. We introduce a general framework for formalizing a subset of UML diagrams in terms of different formal languages based on a homomorphic mapping between metamodels describing UML and the formal language. This framework enables the construction of a consistent set of rules for transforming UML models into specifications in the formal language. The resulting specifications derived from UML diagrams enable either execution through simulation or analysis through model checking, using existing tools. This paper describes the use of this framework for formalizing UML to model and analyze embedded systems. A prototype system for generating the formal specifications and results from an industrial case study are also described.