[aadl]: Difficulty reproducing client-server example

[Derrick Lau]

Forgot to mention my Osate version :)  osate2-2.1.0-v20150315-1528
 
From: derrick.lau at live.ca
To: sae-aadl-users at lists.sei.cmu.edu
Subject: RE: Difficulty reproducing client-server example
Date: Mon, 1 Jun 2015 11:03:11 -0400




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