Synthesizing Information Systems: the APIS Project
Explore this paper's citation graph
Summary
This article presents the main features of the APIS project that addresses the rapid development of information systems from formal specifications, a trace-based formal language used for specifying information systems using EB.
- Type
- preprint
- Published
- 2007-01-01
- Cited by
- 13
- References
- 30
- OpenAlex
- https://openalex.org/W211926
- Semantic Scholar
- https://api.semanticscholar.org/CorpusID:16110493
Keywords
Computer science, Software engineering, Information system, Programming language, Engineering
References
- EB3TG: A Tool Synthesizing Relational Database Transactions from EB3 Attribute Definitions
- Business process execution language for web services
- How to verify dynamic properties of information systems
- An overview of CADP 2001
- Business Process Execution Language for Web Services
- EB3: an entity-based black-box specification method for information systems
- Towards a very large model-based approach for user interface development
- The optimal implementation of functional programming languages
- A Model-Based Interface Development Environment
- Unifying classes and processes
- From a B formal specification to an executable code: application to the relational database domain
- State-based versus event-based specifications for information systems: a comparison of B and eb3
- Generating Relational Database Transactions From Recursive Functions Defined on EB^3 Traces
- The OO-method approach for information systems modeling: from object-oriented conceptual modeling to automated programming
- Precise Modelling of Compensating Business Transactions and its Application to BPEL
- Technical Report 700: eb 3 Attribute Definitions: Formal Language and Application
- EB3 Attribute Definitions: Formal Language and Application
- Fundamentals of Database Systems.
- UB2SQL: A Tool for Building Database Applications Using UML and B Formal Method
- Communicating Sequential Processes
Cited by
- Modélisation de politiques de sécurité à l'aide de méthode de spécifications formelles. (Security policies modeling by using formal methods)
- Mise en oeuvre de politiques de contrôle d'accès formelles pour des applications basées sur une architecture orientée services
- Approches formelles de mise en oeuvre de politiques de contrôle d'accès pour des applications basées sur une architecture orientée services. (Formal approaches for enforcing access control policies in service oriented architecture based applications)
- Un processus formel d'intégration de politiques de contrôle d'accès dans les systèmes d'information. (A formal integration of access control policies into information systems)
- Efficient symbolic computation of process expressions
- How much Collaboration? Balancing the Needs for Collaborative and Uninterrupted Work
- Australian Teacher Education Policy in Action: The Case of Pre-service Internships
- The Business Rule Type Jungle: An Explorative Analysis
- Expressing Access Control Policies with an Event-Based Approach
- Efficient Symbolic Execution of Large Quantifications in a Process Algebra
- A Metamodel of the B Modeling of Access-Control Policies: Work in Progress
- Systematic Translation Rules from astd to Event-B
- Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions
Related papers
- Using DataGrid Control to Realize DataBase of Querying in VB6.0
- Study and Two Types of Typical Usage of DataGrid Web Server Control
- PACWON: A parallelizing compiler for workstations on a network
- Bidirectional Sort and Choosing a Row to Update or Delete by Click Any Cell in DataGrid
- Flexible Application of VSFlexGrid
- Query Caching Method for Distributed Web Caching
- Export Paging DataGrid files Based on.NET