Formalization of UML statechart models using Concurrent Regular Expressions
ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26
Formal verification of service composition in pervasive computing environments
Proceedings of the First Asia-Pacific Symposium on Internetware
Hi-index | 0.00 |
As a result of the increasing size and complexity of embeddedsystems, object-oriented techniques are going to beadopted in the embedded software development. In embeddedsoftware developments, we have to consider nonfunctionalrequirements such as real-time properties and resourcerequirements. To deal with these requirements, somemethodologies design the system using a thread-based approach.In such approach, we need to extract threads fromthe concurrent objects defined in the analysis model. However,current methodologies do not provide enough supportto do so. In this paper, we propose a formal approach toextract threads from concurrent objects. We also present anexperimental application of the proposed approach to thedevelopment of a device driver.