Skip header Section
Skip Bibliometrics Section
Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model CheckingApril 2006
- Author:
- Doron Drusinsky
Abstract
No abstract available.
Cited By
- Mens T, Decan A and Spanoudakis N (2019). A method for testing and validating executable statechart models, Software and Systems Modeling (SoSyM), 18:2, (837-863), Online publication date: 1-Apr-2019.
- Chen L, Huang L, Li C and Wu X (2017). Self-adaptive architecture evolution with model checking, Journal of Systems and Software, 124:C, (228-246), Online publication date: 1-Feb-2017.
- Drusinsky D (2017). Online, library-based visual formal specification monitoring system for monitoring log-files with visible and hidden data, Innovations in Systems and Software Engineering, 13:1, (67-79), Online publication date: 1-Mar-2017.
- Liu H, Cheng R, Yang T and Wang J Modeling and verifying the communication and control of a fleet of collaborative autonomous underwater vehicles IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, (3197-3202)
- Yue T and Ali S (2016). Empirically evaluating OCL and Java for specifying constraints on UML models, Software and Systems Modeling (SoSyM), 15:3, (757-781), Online publication date: 1-Jul-2016.
- Zhang G and Hölzl M A Set of Metrics of Non-locality Complexity in UML State Machines Revised Selected Papers of the International Workshops on Behavior Modeling -- Foundations and Applications - Volume 6368, (59-81)
- Havelund K (2015). Rule-based runtime verification revisited, International Journal on Software Tools for Technology Transfer (STTT), 17:2, (143-170), Online publication date: 1-Apr-2015.
Zhang G and Hölzl M A Set of Metrics for States and Transitions in UML State Machines Proceedings of the 2014 Workshop on Behaviour Modelling-Foundations and Applications, (1-6)- Heckeler P, Schlich B and Kropf T Accelerated robustness testing of state-based components using reverse execution Proceedings of the 28th Annual ACM Symposium on Applied Computing, (1188-1195)
- Desnoyers M (2013). Proving the correctness of nonblocking data structures, Communications of the ACM, 56:7, (62-69), Online publication date: 1-Jul-2013.
- Heckeler P, Eichelberger H, Kropf T, Ruf J, Huster S, Burg S, Rosenstiel W and Schlich B (2013). Accelerated model-based robustness testing of state machine implementations, ACM SIGAPP Applied Computing Review, 13:3, (50-67), Online publication date: 1-Sep-2013.
- Ali S, Yue T, Briand L and Walawege S A product line modeling and configuration methodology to support model-based testing Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems, (726-742)
- Zhang G Aspect-oriented modeling of mutual exclusion in UML state machines Proceedings of the 8th European conference on Modelling Foundations and Applications, (162-177)
- Zhang G and Hölzl M Weaving semantic aspects in HiLA Proceedings of the 11th annual international conference on Aspect-oriented Software Development, (263-274)
- Ali S, Yue T and Malik Z Comprehensively evaluating conformance error rates of applying aspect state machines Proceedings of the 11th annual international conference on Aspect-oriented Software Development, (155-166)
- Zhang G and Hölzl M Aspect-Oriented modeling of web applications with HiLA Proceedings of the 11th international conference on Current Trends in Web Engineering, (211-222)
- Androutsopoulos K, Binkley D, Clark D, Gold N, Harman M, Lano K and Li Z Model projection Proceedings of the 33rd International Conference on Software Engineering, (291-300)
- Lei B, Li X, Liu Z, Morisset C and Stolz V (2018). Robustness testing for software components, Science of Computer Programming, 75:10, (879-897), Online publication date: 1-Oct-2010.
- Rahati A and Kabanza F Persuasive dialogues in an intelligent tutoring system for medical diagnosis Proceedings of the 10th international conference on Intelligent Tutoring Systems - Volume Part II, (51-61)
- Hölzl M, Knapp A and Zhang G Modeling the car crash crisis management system using HiLA Transactions on aspect-oriented software development VII, (234-271)
- Hölzl M, Knapp A and Zhang G Modeling the car crash crisis management system using HiLA Transactions on aspect-oriented software development VII, (234-271)
- Drusinsky D and Shing M Using UML Statecharts with Knowledge Logic Guards Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems, (586-590)
- Zhang G and Hölzl M HiLA Proceedings of the 2009 international conference on Models in Software Engineering, (104-118)
- Delange J, Pautet L, Plantec A, Kerboeuf M, Singhoff F and Kordon F Validate, simulate, and implement ARINC653 systems using the AADL Proceedings of the ACM SIGAda annual international conference on Ada and related technologies, (31-44)
- Delange J, Pautet L, Plantec A, Kerboeuf M, Singhoff F and Kordon F (2009). Validate, simulate, and implement ARINC653 systems using the AADL, ACM SIGAda Ada Letters, 29:3, (31-44), Online publication date: 9-Nov-2009.
- Havelund K Runtime Verification of C Programs Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop, (7-22)
- Singhoff F and Plantec A AADL modeling and analysis of hierarchical schedulers Proceedings of the 2007 ACM international conference on SIGAda annual international conference, (41-50)
- Singhoff F and Plantec A (2019). AADL modeling and analysis of hierarchical schedulers, ACM SIGAda Ada Letters, XXVII:3, (41-50), Online publication date: 17-Nov-2007.
- Shing M and Drusinsky D Architectural design, behavior modeling and run-time verification of network embedded systems Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms, (281-303)
Recommendations
Model Checking UML Statecharts
APSEC '01: Proceedings of the Eighth Asia-Pacific on Software Engineering ConferenceUnified Modeling Language (UML)has been widelyused in software development.Verifying if an UML modelmeets the required properties has become a key issue.Model checking is an important technology of automaticformal verification to ensure the correctness ...
QoS modelling and analysis with UML-statecharts: the StoCharts approach
The UML is an influential and widespread notation for high-level modelling of information processing systems. UML statechart diagrams are a graphical language to describe system behaviour. They consitute one of the most intensively-used formalisms ...
Verification Framework for Detecting Safety Violations in UML Statecharts
AMS '08: Proceedings of the 2008 Second Asia International Conference on Modelling & Simulation (AMS)The model based development is a widely accepted phenomenon to build dependable software. This has lead to development of tools which can generate deployable code from the model. Hence, ensuring the correctness of such models becomes extremely ...