A model-based reverse engineering process to generate UML diagrams from PHP code, relying on Modisco and the Eclipse PHP project
A discussion of architectural patterns from a modeling perspective. How modeling can help the organization of your information system? How (bad) modeling practices can damage it?
Validate efficiently large models using OCL rewriting techniques and optimized database query generation using the Mogwaï tool.
Models need to represent the reality as accurately as possible. Nevertheless, complex systems are subject to uncertainty something difficult to express with plain UML. We propose a way to represent uncertainty on software models. Our uncertainty values can then be propagated through model transformations to evaluate the impact on other parts of the system.
We automatically test REST API based on their specifications, particularly OpenAPI ones. To our surprise, many of our tests failed, meaning that the OpenAPI definition and the actual API were not an exact match.
We present a novel robust hashing mechanism for models. Robust hashing algorithms (i.e. hashing algorithms that generate similar outputs from similar input data) are useful as a key building block in intellectual property protection, authenticity assessment and fast comparison and retrieval solutions
We automate the creation of performance models out of standard design models. Such performance models can be automatically solved to evaluate performance aspects early in the development process
Current ECAD tools are expensive, complex to use and rely on proprietary exchange formats. We propose to leverage an existing modeling standard like SysML to build a better (and cheaper) ECAD solution with a focus on the design of electrical cables.
LSP (Language Server Protocol) facilitates the development of IDEs but so far only language server for textual languages are supported. Read our proposal to adapt LSP for graphical lenguages
We explain why you should think about learning ANTLR to generate your future parsers and what are the best resources for that
Read about our access-control mechanisms for models. We rely on a new domain-specific language tailored to the definition of RBAC rules on models and on its enforcement thanks to the automatic generation of security compliant (virtual) views.