scholarly journals Towards a Formal Framework for Mobile, Service-Oriented Sensor-Actuator Networks

2013 ◽  
Vol 108 ◽  
pp. 49-62
Author(s):  
Helena Gruhn ◽  
Sabine Glesner
Keyword(s):  
Mobile Service ◽  
Sensor Actuator ◽  
Formal Framework ◽  
Service Oriented

Execution Management for Mobile Service-Oriented Environments

2012 ◽  
pp. 62-82
Author(s):  
Kleopatra G. Konstanteli ◽  
Tom Kirkham ◽  
Julian Gallop ◽  
Brian Matthews ◽  
Ian Johnson ◽  
...  
Keyword(s):  
Mobile Network ◽  
Mobile Services ◽  
Distributed Applications ◽  
Mobile Service ◽  
Grid Services ◽  
Service Oriented ◽  
Execution Management ◽  
Multiple Domains ◽  
Open Grid Services Architecture ◽  
Public Demonstrations

This paper presents an Execution Management System (EMS) for Grid services that builds on the Open Grid Services Architecture (OGSA) while achieving “mobile awareness” by establishing a WS-Notification mechanism with mobile network session middleware. It builds heavily on the Session Initiation Protocol (SIP), used for managing sessions with mobile terminals (such as laptops and PDAs) where the services are running. Although the management of mobile services is different to that of ubiquitous services, the enhanced EMS manages both of them in a seamless fashion and incorporates all resources into one Mobile Dynamic Virtual Organization (MDVO). The described EMS has been implemented within the framework of the Akogrimo EU IST project and has been used to support mission critical application scenarios in public demonstrations, including composite and distributed applications made of both ubiquitous and mobile services within multiple domains.

Execution Management for Mobile Service-Oriented Environments

2010 ◽  
Vol 1 (3) ◽  
pp. 39-59
Author(s):  
Kleopatra G. Konstanteli ◽  
Tom Kirkham ◽  
Julian Gallop ◽  
Brian Matthews ◽  
Ian Johnson ◽  
...  
Keyword(s):  
Mobile Network ◽  
Mobile Services ◽  
Distributed Applications ◽  
Mobile Service ◽  
Grid Services ◽  
Service Oriented ◽  
Execution Management ◽  
Multiple Domains ◽  
Open Grid Services Architecture ◽  
Public Demonstrations

This paper presents an Execution Management System (EMS) for Grid services that builds on the Open Grid Services Architecture (OGSA) while achieving “mobile awareness” by establishing a WS-Notification mechanism with mobile network session middleware. It builds heavily on the Session Initiation Protocol (SIP), used for managing sessions with mobile terminals (such as laptops and PDAs) where the services are running. Although the management of mobile services is different to that of ubiquitous services, the enhanced EMS manages both of them in a seamless fashion and incorporates all resources into one Mobile Dynamic Virtual Organization (MDVO). The described EMS has been implemented within the framework of the Akogrimo EU IST project and has been used to support mission critical application scenarios in public demonstrations, including composite and distributed applications made of both ubiquitous and mobile services within multiple domains.

Applying Formal Methods to SOA and SaaS Service Compositions for ERP Systems

2020 ◽  
Vol 17 (2) ◽  
pp. 1-17
Author(s):  
Maya Souilah Benabdelhafid ◽  
Mahmoud Boufaida
Keyword(s):  
Formal Methods ◽  
Enterprise Resource Planning ◽  
Resource Planning ◽  
Erp Systems ◽  
Strategic Decisions ◽  
Service Oriented Architectures ◽  
Erp System ◽  
Formal Framework ◽  
Service Oriented ◽  
System Properties

Service oriented architectures (SOA) and software as a service (SaaS) models are accelerating the use of the service concept. They have been rapidly adopted by enterprise resource planning (ERP) providers and offers to organizations modern environments favorable for making strategic decisions. However, as the SaaS concept is often confused with the SOA one, a solution is needed to clarify this problem before moving to the introduction of a framework that aggregates several services. Moreover, most of the services-based solutions rely on a particular composition and only a few are equipped with appropriate formal tools for automating the service verification. They focus on specific formal models and are based on particular properties. This article proposes a formal framework that reveals a set of general steps starting from defining the service composition before shifting to the use of the chosen formal methods so as to verify the ERP system properties.

Sign in / Sign up

Export Citation Format

Share Document