[aadl]: Difficulty reproducing client-server example
Derrick Lau
derrick.lau at live.ca
Mon Jun 1 11:03:11 EDT 2015
I also tried copying and pasting in the AADL syntax but I got this error in my Osate ():
Multiple markers at this line
- Assigning reference value with incorrect Named Element class
to property 'Deployment_Properties::Actual_Subprogram_Call'
of type 'ReferenceType'
- Property Deployment_Properties::Actual_Subprogram_Call does
not apply to client_process.calling_thread.call_server
Below is a copy and paste of the AADL syntax:
package TestClientServer1
public
system client_server_sys
end client_server_sys;
system implementation client_server_sys.impl
subcomponents
client_process: process client_process.impl;
server_process: process server_process.impl;
properties
Actual_Subprogram_Call =>
reference(server_process.server_thread.service)
applies to client_process.calling_thread.call_server;
end client_server_sys.impl;
--
process client_process
end client_process;
--
process implementation client_process.impl
subcomponents
calling_thread: thread calling.impl;
end client_process.impl;
--
thread calling
end calling;
--
thread implementation calling.impl
calls server_call_sequence:
{
call_server: subprogram service_it ;
};
end calling.impl;
----
process server_process
features
service: provides subprogram access service_it;
end server_process;
--
process implementation server_process.impl
subcomponents
server_thread: thread server_thread.impl;
end server_process.impl;
--
thread server_thread
features
service: provides subprogram access service_it;
end server_thread;
--
thread implementation server_thread.impl
end server_thread.impl;
--
subprogram service_it
end service_it;
end TestClientServer1;
From: derrick.lau at live.ca
To: sae-aadl-users at lists.sei.cmu.edu
Subject: Difficulty reproducing client-server example
Date: Mon, 1 Jun 2015 10:13:53 -0400
In the book "Model-based engineering with AADL an introduction to the SAE Architecture Analysis & Design Language" by Feiler and Gluch, published Sept 25, 2012, there is an example client server system modelled using subprogram calls (image attached) that I cannot re-create graphically using Osate.
Has anyone tried this yet?
Book information for reference:
Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design LanguageBy: Peter H. Feiler; David P. GluchPublisher: Addison-Wesley ProfessionalPub. Date: September 25, 2012Print ISBN-10: 0-321-88894-4Print ISBN-13: 978-0-321-88894-5Web ISBN-10: 0-13-313292-7Web ISBN-13: 978-0-13-313292-2Pages in Print Edition: 496
-------------- next part --------------
HTML attachment scrubbed and removed
More information about the Sae-aadl-users
mailing list