Fix hosted service syntax: match grammar specification exactly

Author: devin-ai-integration[bot]

showcases/data/Lambda/Activator - Hosted service/code.pure

@@ -8,38 +8,49 @@ function model::greet(name: String[1]): String[1]
 function model::processData(data: String[1]): String[1]
 {
   'Processed data: ' + $data
-}###HostedService
+}
+
+###HostedService
 // Basic hosted service with UserList ownership
 HostedService model::BasicHostedService
 {
-   pattern : '/api/greet/{name}';
-   ownership : UserList { users: [
-    'user1',
-    'user2'
-    ] };
-   function : model::greet(String[1]):String[1];
-   documentation : 'A simple hosted service that greets users by name';
-   autoActivateUpdates : true;
+   pattern: '/api/greet/{name}';
+   ownership: UserList 
+   {
+      users: [
+         'user1',
+         'user2'
+      ]
+   };
+   function: model::greet(String[1]):String[1];
+   documentation: 'A simple hosted service that greets users by name';
+   autoActivateUpdates: true;
 }
 
 // Hosted service with Deployment ownership and stereotypes
 HostedService <<meta::pure::profiles::doc.doc>> {doc.doc = 'Example with deployment ownership'} model::DeploymentHostedService
 {
-   pattern : '/api/process/{data}';
-   ownership : Deployment { identifier: '12345' };
-   function : model::processData(String[1]):String[1];
-   documentation : 'A hosted service that processes data with deployment ownership';
-   autoActivateUpdates : false;
+   pattern: '/api/process/{data}';
+   ownership: Deployment 
+   {
+      identifier: '12345'
+   };
+   function: model::processData(String[1]):String[1];
+   documentation: 'A hosted service that processes data with deployment ownership';
+   autoActivateUpdates: false;
 }
 
 // Hosted service with post-deployment actions
 HostedService model::AdvancedHostedService
 {
-   pattern : '/api/advanced/{param}';
-   ownership : UserList { users: [
-    'admin'
-    ] };
-   function : model::processData(String[1]):String[1];
-   documentation : 'Advanced hosted service with post-deployment actions';
-   autoActivateUpdates : true;
+   pattern: '/api/advanced/{param}';
+   ownership: UserList 
+   {
+      users: [
+         'admin'
+      ]
+   };
+   function: model::processData(String[1]):String[1];
+   documentation: 'Advanced hosted service with post-deployment actions';
+   autoActivateUpdates: true;
 }