• Stars
    star
    127
  • Rank 282,790 (Top 6 %)
  • Language
    Ada
  • License
    Other
  • Created almost 9 years ago
  • Updated about 2 months ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

AWS is a complete framework to develop Web based applications in Ada.
                            A W S - Ada Web Server
                                24.0 release

Authors:
   Dmitriy Anisimkov
   Pascal Obry


AWS stand for Ada Web Server. It is a small yet powerful HTTP component to
embed in any applications. It means that you can communicate with your
application using a standard Web browser and this without the need for a Web
Server. AWS is fully developed in Ada with GNAT.

AWS support SOAP/WSDL, Server Push, HTTPS/SSL, client HTTP, hotplug
modules...

AWS comes with SOAP/WSDL support, two tools are proposed:

   ada2wsdl   which generates a WSDL document from an Ada spec

   wsdl2aws   which generates stubs/skeletons AWS code from a WSDL document

Both tools have mapping for standard Ada types but also supports Ada
enumerations, character, records and arrays.

The SOAP implementation has been validated on http://validator.soapware.org/.
This on-line service is not available anymore but the current implementation
is validated against the Apache/AXIS SOAP implementation to ensure the
interoperability. Some users have also reported to have used AWS/SOAP with
.NET and gSOAP without trouble.


Non upward compatible changes
-----------------------------

Note that the changes listed below can introduce non upward compatibility.
In such a case we try to give proper advice on how to change the code
to work properly. Of course we try to avoid this as much as possible
but we really prefer to have a clean API instead of keeping awkward
implementations.

- To support SMTP secure STARTTLS switching protocol the parameter to
  SMTP.Initialize has been changed from Secure to Security and
  instead of a boolean it takes a Secure_Connection enumeration which
  can be No, TLS or STARTTLS.

  If Secure was set to False, Security must be No.

  If Secure was set to True, Security should probably be TLS except if
  the STARTTLS swicthing protocol is to be used.

Obsolescent features
--------------------

In each new version we try to be upward compatible with previous
version. This is really important, but in some cases it seems that a
"redesign" of the API would be good in the long term. All obsolescent
features will be listed in this section. Those features will be
removed in the next version. Note that you can check usage of those
features in your application by using the GNAT's -gnatwj option as we
have tagged all obsolescent features with a pragma.


Pointers
--------

AWS Home Page (sources and printable documentations in Postscript and PDF):
   https://www.adacore.com/gnatpro/toolsuite/ada-web-server
   https://github.com/AdaCore/aws

Templates_Parser sources:
   https://github.com/AdaCore/templates-parser

   Templates_Parser module (sources and documentation) is provided as
   a separate download and must be unpacked into the AWS root's
   directory.

   If AWS is used from GitHub, Templates_Parser will be downloaded
   automatically as a sub-module.

GNU/Ada - GNAT
   https://www.adacore.com/gnatpro

   Or the GNAT compiler coming with your GNU/Linux distribution.

XML/Ada (optional):
   https://github.com/AdaCore/xmlada

   You need this library only for the AWS SOAP support.

Libadalang/Ada (optional):
   https://www.adacore.com/libadalang
   https://github.com/AdaCore/libadalang

   You need this library only for the AWS WSDL support.

OpenSSL (optional):

   You need to install manually the development libraries (>= 1.1.0).

LibreSSL (optional):

   You need to install manually the development libraries (>= 2.8.0).
   LibreSSL is an implementation fully compatible with OpenSSL, you
   just have to configure AWS as with OpenSSL.

GNUTLS (optional):

   You need to install manually the development libraries. AWS needs at
   least version 3.2.4 of GNUTLS.

OpenLDAP library (optional) :

   Sources for UNIX or Win32:
      http://www.openldap.org/

   Win32:
      AWS binding will use to the Microsoft LDAP dynamic library.

Windows Services API (optional):

   To build the runme demo as a Windows NT/2000 services you must download
   the services API made by Ted Dennison for his SETI@Home project.

      http://www.telepath.com/~dennison/Ted/SETI/SETI_Service.html


Reporting bugs
--------------

You can report bugs to AdaCore: [email protected]


Contributors
------------

Thanks to the contributors and peoples who send feedbacks, ideas
about AWS. In the early stage of the project this is very valuable.

So thanks goes to Georg Bauhaus, Ted Dennison, Wiljan Derks, Sune Falck,
David C. Hoos, Audran Le Baron, Thierry Lelegard, Nicolas Lesbats,
Olivier Ramonat, Jean-Franรงois Rameau, Maxim Reznik, Jean-Pierre Rosen,
Jerme Roussel, Ariane Sinibardy, Henrik Sundberg.


Thanks to all who have reported bugs and have sent us patches.

More Repositories

1

gnatstudio

GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
Ada
402
star
2

spark2014

SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Ada
245
star
3

Ada_Drivers_Library

Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
Ada
241
star
4

ada_language_server

Server implementing the Microsoft Language Protocol for Ada and SPARK
Ada
230
star
5

gnat-llvm

LLVM based GNAT compiler
Ada
182
star
6

libadalang

Ada semantic analysis library.
Ada
146
star
7

gsh

A POSIX shell for Windows.
C
103
star
8

learn

Sources for learn.adacore.com
Ada
93
star
9

gtkada

Ada bindings for the GTK+ graphical library.
Ada
88
star
10

langkit

Language creation framework.
Python
79
star
11

gprbuild

GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
Ada
65
star
12

svd2ada

An Ada binding generator from SVD descriptions for bare board ARM devices.
Ada
64
star
13

bb-runtimes

Source repository for the GNAT Bare Metal BSPs
Ada
64
star
14

ada-spark-rfcs

Platform to submit RFCs for the Ada & SPARK languages
63
star
15

VSS

High level string and text processing library
Ada
53
star
16

gnatcoll-core

GNAT Components Collection โ€“ Core packages
Ada
45
star
17

gnatcoverage

GNATcoverage: Coverage Analysis Tool
Ada
36
star
18

Certyflie

Ada
32
star
19

ada-traits-containers

Generic Ada Library for Algorithms and Containers
Ada
29
star
20

why3

SPARK 2014 repository for the Why3 verification platform.
OCaml
29
star
21

startup-gen

A startup code generator for embedded projects
Ada
28
star
22

e3-core

Core framework for developing portable automated build systems
Python
26
star
23

git-hooks

Git hooks Python-based scripts
Python
24
star
24

xmlada

The XML/Ada toolkit.
Ada
22
star
25

Ada-IntelliJ

Support for Ada and SPARK languages in IntelliJ IDEA
Java
21
star
26

OPAVES

Open Platform for Autonomous VEhicle Systems
C
21
star
27

training_material

Ada
20
star
28

PolyORB

PolyORB provides a uniform solution to build distributed applications relying either on middleware standards
Ada
20
star
29

Ada-SPARK-Crate-Of-The-Year

19
star
30

gnat_community_install_script

Script to automate the installation of the GNAT Community Installers
Shell
18
star
31

cuda

Ada
18
star
32

win32ada

Ada API to the Windows library
Ada
17
star
33

spawn

Ada
16
star
34

Robotics_with_Ada

Robotics with Ada, ARM, and Lego
Ada
16
star
35

gpr

The framework for analyzing the GNAT Project (GPR) files
Ada
16
star
36

libadalang-tools

Libadalang-based tools
Ada
16
star
37

gnat-gdb-scripts

GDB scripts for Ada programs built with GNAT
Python
16
star
38

gnatcoll-bindings

GNAT Components Collection โ€“ Bindings to C libraries
Ada
14
star
39

embedded-runtimes

runtimes that add support for various boards to the GNAT GPL compiler for ARM
Ada
14
star
40

adareducer

Python
13
star
41

qemu

C
12
star
42

gnatcoll-db

GNAT Components Collection โ€“ Database packages
C
11
star
43

sparkformal

The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.
Coq
11
star
44

UnityAdaTetris

Ada
10
star
45

markdown

Markdown parser
Ada
9
star
46

labs-material

Support Libraries for AdaCore University Labs
Ada
7
star
47

templates-parser

AWS templates engine.
Ada
7
star
48

florist

Ada
6
star
49

ada-py-bind

Ada
6
star
50

e3-testsuite

e3 testsuite driver
Python
6
star
51

spdm-recordflux

6
star
52

RC_Car_Demo

An embedded Ada/SPARK demo
Ada
6
star
53

RESSAC_Use_Case

A Collaborative Development Assurance Lab
Ada
6
star
54

aunit

Ada
6
star
55

SPARK_Railway_Simulation_Demo

Ada
5
star
56

Http_Cyclone

C
5
star
57

Compile_And_Prove_Demo

Demo project for new web site: Compile It! / Prove It!
Ada
5
star
58

program_proofs_in_spark

This repository contains some programs from Rustan Leino's book "Program Proofs" verified with SPARK.
Ada
5
star
59

gnat-docker

Python
5
star
60

gnatdashboard

Analyse a project.
Python
4
star
61

AdaSAT

Ada
4
star
62

e3-aws

High level interface for CloudFormation
Python
4
star
63

Platinum_Reusable_Stack

Ada
4
star
64

wposix

Ada Windows POSIX binding
Ada
4
star
65

code_examples_server

prototype server for creating interactive "try SPARK / try Ada" webpages
Python
3
star
66

lmod_manager

lmod based management tool for GNAT and SPARK installations
Python
3
star
67

SPARK_PDI_Demo

Use of SPARK to implement Parameter Data Items
Ada
3
star
68

langkit-query-language

query language for Libadalang and Langkit
Ada
3
star
69

gprconfig_kb

GPR configuration knowledge base
3
star
70

tictactoe

A tictactoe game written and proven in SPARK
Ada
3
star
71

language-examples

Examples of common software engineering constructs written in Ada and SPARK
Ada
3
star
72

ada_coding_standards

Ada
2
star
73

cheri-examples

Ada
2
star
74

style_checker

The AdaCore style checker
C
2
star
75

gpr-unit-provider

GPR2 based unit provider for Libadalang
Ada
2
star
76

gnatdoc

GNAT Documentation Generator
Ada
2
star
77

Lunar_Lander_Rotation_Demo

Demonstration program that interacts with the AdaFruit BNO055 breakout board in order to send orientation data to a host computer
Ada
2
star
78

RecordFlux-parser

Python
2
star
79

training_labs_radar

Ada
2
star
80

RecordFlux

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
2
star
81

uwrap

Ada
1
star
82

z3

SPARK 2014 repository for the Z3 SMT solver.
C++
1
star
83

lal-checkers

Libadalang-based code checking infrastructure
Python
1
star
84

spark_translator

SPARK 2005 to 2014 translator
Python
1
star
85

Lumos_Maxima

Lumos_Maxima repository for VerifyThis challenge
Ada
1
star
86

training_labs_solar_system

Ada
1
star
87

training_labs_standalone

Ada
1
star
88

gnatcoll

GNAT Components Collection (obsolete)
1
star
89

sphinxcontrib-adadomain

Python
1
star
90

alt-ergo

SPARK 2014 repository for the Alt-Ergo SMT solver.
OCaml
1
star
91

lsif-ada

Ada
1
star
92

prettier-ada

Ada
1
star
93

SPARK-to-C_Tetris_Demo

Ada
1
star
94

lal-refactor

Ada
1
star
95

RecordFlux-devutils

1
star