Legal contracts specify the terms and conditions that apply to business transactions. Contracts are commonly expressed in natural language and contain many legal requirements that are often ambiguous, incomplete, and possibly inconsistent. Smart contracts are programs intended to partially automate, monitor, and control the execution of legal contracts to ensure compliance with relevant terms and conditions. This talk focuses on the formal specifications of legal contracts that can enable automated analysis and can support the generation of smart contract programs that monitor legal contracts. To that end, the Symboleo textual language was recently proposed, where contracts consist of collections of obligations and powers that define a legal contract’s compliant executions. The concepts underlying Symboleo are inspired from legal ontologies with specialized contract concepts, with semantics described in terms of logical axioms on statecharts that describe the lifetimes of contracts, obligations, powers, and other concepts. An encoding of Symboleo specifications in the nuXmv language, including a library of trusted modules capturing basic Symboleo concepts, enables the formal verification of properties of a contract, expressed in temporal logic (i.e., in LTL or CTL). An IDE with code generation capabilities also enables the transformation of Symboleo specifications to executable smart contracts for the Hyperledger Fabric platform, in JavaScript. An example from a food supply chain will be used to illustrate the concepts, and future work on converting natural language contracts to Symboleo specifications and on consideration for quality aspects during code generation will be discussed.

Requirements are the gateway between the problem space and the solution space. The problem is often expressed and communicated in natural language using words, and then the software/system solution –the requirements specifications being the beginning of the solution– is transformed into another language with expressions, often made up of words and/or symbols. Regardless of both spaces, there are always concepts, relationships between concepts, and constraints involved in the expressions. For example, domain concepts used in requirements engineering in daily professional life are terms such as development/test requirements; usability/security requirements; goal; agent; requirements elicitation, analysis, and documentation; and, requirements specification languages, methods, processes, and tools, among many others. The point to be highlighted in this talk is, what are the hidden semantics of these terms? Can domain concepts be semantically enriched with less specific concepts at the core and foundational level? In short, with three key foundational/

A sound software development process must be based on a precise system requirements specification that represent business goals, strategies and business processes of an enterprise. Different types of conceptual models needs to be accurately synchronized, what involves different modelling dimensions that, in MDA-based terms, must guide the process of going from a higher-level computation model to a lower-level code model. Models to be conceptually aligned through such a software production process include organizational models, different requirements models (goal modeing, business process modelling), and their platform-independent data, process and interaction models counterpart. This keynote will discuss all the component of such a holistic perspective for a complete software process that, starting from modelling business goals and strategies, will lead to the software application that represent them in an efficient, traceable and correct way, Modeling steps and required model transformations will be discussed, having in mind how to extend the conceptual modelling programming paradigm with an accurate representation of the source organizational goals and strategies, and making feasible to adapt enterprise changes with their associated software adaptations with as much automation as possible. This will make possible to go from a software process conceptual model compilers-based to an extended one based on goals and strategies.

O programa de residência em TI é uma parceria do Instituto Metrópole Digital com instituições que queiram ter em seu ambiente desenvolvimento de soluções inovadoras por meio da capacitação de novos integrantes em seu ambiente de trabalho. A experiência dos alunos com projetos reais e o amparo acadêmico durante toda a jornada é o destaque desse programa. Nessa palestra, você poderá ser apresentado a alguns casos reais de imersão e entrevistas para coleta de requisitos apresentados tanto no cenário da Justiça Federal no Rio Grande do Norte, como no Tribunal Federal da 5a Região. Extrair dos integrantes destes Órgãos as principais entregas associadas ao projeto é um grande desafio que vale a pena compartilhar.