Formalization of the AADL Run-Time Services.
John HatcliffJérôme HuguesDanielle StewartLutz WragePublished in: ISoLA (2) (2022)
Keyphrases
- web services
- service oriented
- information services
- information society
- end users
- context aware
- mobile services
- service composition
- case study
- service delivery
- highly dynamic
- agent technology
- data sets
- service oriented architecture
- ubiquitous computing
- computing environments
- formal model
- petri net
- service providers
- knowledge representation
- user interface
- neural network