Results 1 to 10 of about 46,991 (95)
Deriving semantics from WS-BPEL specifications of parallel business processes on an example [PDF]
Компьютерные исследования и моделирование, 2015 WS-BPEL is a widely accepted standard for specification of business distributed and parallel processes. This standard is a mismatch of algebraic and Petri net paradigms.
Vladimir Dimitrov
doaj +1 more source
Algebraic Specification for Input-Output in Abstract Data Types [PDF]
Mathematics and Computer Science, 2021 Abstract Data Types (ADT) are used when creating software systems, in the systems design. Usually we use algebraic specification to specify the operations in a data type. The use of data types is a methodology or style of working which yields improved design when followed.
openaire +1 more source
Introduction to the ISO specification language LOTOS [PDF]
, 1987 LOTOS is a specification language that has been specifically developed for the formal description of the OSI (Open Systems Interconnection) architecture, although it is applicable to distributed, concurrent systems in general.
Bolognesi, Tomasso, Brinksma, Ed
core +8 more sources
JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction [PDF]
, 2007 Popular software testing tools, such as JUnit, allow frequent retesting of modified code; yet the manually created test scripts are often seriously incomplete.
A. Petrenko +32 more
core +1 more source
Complexity Theory and the Operational Structure of Algebraic Programming Systems [PDF]
, 1982 An algebraic programming system is a language built from a fixed algebraic data abstraction and a selection of deterministic, and non-deterministic, assignment and control constructs. First, we give a detailed analysis of the operational structure of an
Asveld, P.R.J., Tucker, J.V.
core +3 more sources
Observation and abstract behaviour in specification and implementation of state-based systems [PDF]
, 2001 Classical algebraic specification is an accepted framework for specification. A criticism which applies is the fact that it is functional, not based on a notion of state as most software development and implementation languages are.
Pahl, Claus
core +2 more sources
, 2015 This paper is a tribute to José Meseguer, from the rest of us in the Maude team, reviewing the past, the present, and the future of the language and system with which we have been working for around two decades under his leadership.
Clavel, Manuel +6 more
core +1 more source
Procedia Computer Science, 2012 AbstractThis paper presents an educational tool for testing abstract data types implemented in C++ against formal algebraic specifications written in Maude, a formal specification language based on rewriting logic that allows the specification of abstract data types in a clear and concise manner.
Víırseda, Rafael del Vado +1 more
openaire +1 more source
A Mathematical Framework for Agent Based Models of Complex Biological Networks [PDF]
, 2010 Agent-based modeling and simulation is a useful method to study biological phenomena in a wide range of fields, from molecular biology to ecology. Since there is currently no agreed-upon standard way to specify such models it is not always easy to use ...
A. S. Jarrah +17 more
core +1 more source
Functionally Specified Distributed Transactions in Co-operative Scenarios [PDF]
, 1995 Addresses the problem of specifying co-operative, distributed transactions in a manner that can be subject to verification and testing. Our approach combines the process-algebraic language LOTOS and the object-oriented database modelling language TM to ...
By, Rolf A. de +2 more
core +2 more sources