Legal contracts specify the terms and conditions—in essence, requirements—that apply to
business transactions. This paper proposes a formal specification language for legal …

Legal contracts specify requirements for business transactions. As any other requirements
specification, contracts may contain errors and violate properties expected by contracting …

Legal contracts specify requirements for business transactions. Symboleo was recently
proposed as a formal specification language for legal contracts. It allows the specification of …

Services are quintessential in the current economical landscape. Enterprises and
businesses at large rely on the consumption and providing of services to ensure their …

Enabled by Service-Oriented Architecture (SOA), recently Software as a Service (SaaS) and
Cloud computing are gaining momentum in the industry. An open issue is how to ensure …

E-contracts begin as legal documents and end up as processes that help organizations
abide by legal rules while fulfilling contract terms. As contracts are complex, their …

This paper concentrates on the representation of legal relations that occur between parties
once they have entered a contractual agreement and their evolution as the agreement …

The combination of the Internet of Things (IoT), a type of Cyber Physical Systems (CPS), with
Distributed Ledger Technology (DLT) platforms, also known as blockchains, provides an …

An increasing volume of research in e-commerce is concerned with the development of tools
and environments to support various aspects of business-to-business electronic contract …

This paper discusses how model checking, a technique used for the verification of
behavioural requirements of dynamic systems, can be usefully deployed for the verification …