scholarly journals Agent Models for Concurrent Software Systems

2008 ◽  
pp. 37-48 ◽  
Author(s):  
Lawrence Cabac ◽  
Till Dörges ◽  
Michael Duvigneau ◽  
Daniel Moldt ◽  
Christine Reese ◽  
...  
Keyword(s):  
Software Systems ◽  
Concurrent Software

scholarly journals A Survey of Recent Trends in Testing Concurrent Software Systems

2018 ◽  
Vol 44 (8) ◽  
pp. 747-783 ◽  
Author(s):  
Francesco Adalberto Bianchi ◽  
Alessandro Margara ◽  
Mauro Pezze
Keyword(s):  
Software Systems ◽  
Concurrent Software ◽  
Recent Trends

scholarly journals A Constraint Oriented Proof Methodology based on Modal Transition Systems

1994 ◽  
Vol 1 (47) ◽  
Author(s):  
Kim G. Larsen
Keyword(s):  
Real Time ◽  
Software Systems ◽  
Real Time Systems ◽  
Concurrent Software ◽  
Transition Systems ◽  
Verification Problem ◽  
Key Concepts ◽  
Formal Basis ◽  
Modal Transition Systems ◽  
Time Systems

In this paper, we present a constraint-oriented state-based proof methodology for concurrent software systems which exploits compositionality and abstraction for the reduction of the verification problem under investigation. Formal basis for this methodology are Modal Transition Systems allowing loose state-based specifications, which can be refined by successively adding constraints. Key concepts of our method are <em>projective views</em>, <em>separation of proof obligations</em>, <em> Skolemization</em> and <em>abstraction</em>. The method is even applicable to real time systems

TRANSOBJ: SOFTWARE PROTOTYPING ENVIRONMENT FOR REAL-TIME TRANSACTION-BASED SOFTWARE SYSTEM APPLICATIONS

1992 ◽  
Vol 02 (01) ◽  
pp. 5-29 ◽  
Author(s):  
KIYOSHI ITOH ◽  
YASUHISA TAMURA ◽  
SHINICHI HONIDEN
Keyword(s):  
Real Time ◽  
Design Process ◽  
Large Scale ◽  
Time Span ◽  
Software Systems ◽  
Functional Design ◽  
Concurrent Software ◽  
Object Based ◽  
Software Prototyping ◽  
And Performance

A software prototyping environment called TransObj (TRANSaction and OBJect) is used for designing real-time Transaction-based Concurrent Software Systems (TCSS). In a TCSS design process, a software designer should perform both functional design and performance design. The designer should change his design view from a transaction-based paradigm to an object-based paradigm during the TCSS design process. Recognition of re-entrant functional objects and serially reusable functional objects in the TCSS should be required. TransObj includes the Stepwise Prototyping Method (SPM), and two SPM-based tools: Prolog-based TransObj (P-TransObj) and GPSS-based TransObj (G-TransObj). SPM enables the designer to advance both functional design and performance design for the TCSS prototype as controling the change of design view paradigms. P-TransObj mainly checks the prototype in a microscopic view on a personal computer. G-TransObj mainly checks the same prototype with a longer time span on a large-scale computer.

Sign in / Sign up

Export Citation Format

Share Document