75,742 Hits in 6.1 sec

Validation of Object-Oriented Concurrent Designs by Model Checking [chapter]

Klaus Schneider, Michaela Huhn, George Logothetis
1999 Lecture Notes in Computer Science  
We apply model checking (see [3] for a survey) for the systematic debugging of concurrent designs to detect errors in the behavior and interactions of the object community.  ...  For this domain, one of the most important issues is to validate the interactions of a set of objects with concurrent methods.  ... 
doi:10.1007/3-540-48153-2_34 fatcat:cvnf5gwwd5ecpf526r6mefa4ge


Alban Rasse, Jean Marc Perronne, Bernard Thirion
2005 IFAC Proceedings Volumes  
From an analysis model, the approach helps to obtain both a validation model which can be exploited with existing model checking tools and a specific implementation model which conforms to the validated  ...  This is the aim of the present paper which proposes a coherent approach based on models that guarantee the development of validated applications.  ...  Since Object Oriented concepts and model checking techniques have matured, it is becoming possible to establish a design approach based on model driven engineering.  ... 
doi:10.3182/20050703-6-cz-1902.01070 fatcat:nhoay4ig2bbxvlxsta7tueuvca

Special Issue: Harnessing theories for tool support in software

Volker Stolz
2012 Innovations in Systems and Software Engineering  
-How to insure correctness and dependability of software by integrating formal methods and tools for modeling, design, verification, and validation into design and development processes and environments  ...  separation of concerns about the design of functionality, interaction, concurrency, scheduling, and non-functional requirements.  ...  Acknowledgments Editorial activity partially supported by the ARV Grant of the Macao Science and Technology Development Fund.  ... 
doi:10.1007/s11334-012-0193-4 fatcat:c5nx6lohbvdthkddmeldr55c6m

Matisse: a concurrent and object-oriented system specification language [chapter]

Julio Leao Silva, Chantal Ykman-Couvreur, Gjalt Jong
1997 VLSI: Integrated Systems on Silicon  
We present Matisse, a concurrent object-oriented system specification language, well-suited for protocol processing applications used in telecom networks.  ...  From this case study, we derive the requirements that must be supported by Matisse.  ...  Acknowledgments This work is part of a joint collaboration between IMEC and Alcatel, partially supported by IWT under project "HASTEC". We also would like to thank B. Lin, K. Croes and E.  ... 
doi:10.1007/978-0-387-35311-1_24 fatcat:i4p7wyjtobdixowd7q6znbc7iu

Applying Model Checking to Concurrent UML Models

Patrice Gagnon, Farid Mokhati, Mourad Badri
2008 Journal of Object Technology  
MODEL CHECKING TO CONCURRENT UML MODELS 84 J OURNAL OF OBJECT TECHNOLOGY  ...  APPLYING MODEL CHECKING TO CONCURRENT UML MODELS 60 J OURNAL OF OBJECT TECHNOLOGY V OL. 7, NO. 1 APPLYING MODEL CHECKING TO CONCURRENT UML MODELS 62 J OURNAL OF OBJECT TECHNOLOGY V OL. 7, NO. 1 APPLYING  ...  [Cho99] propose the use of APromela, an extension of the Promela language designed to abstract actors, to apply model checking to concurrent systems using the SPIN model checker.  ... 
doi:10.5381/jot.2008.7.1.a1 fatcat:wpanklcq7rcjnowuegkm5tbdtm

Formal techniques for SystemC verification

Moshe Y. Vardi
2007 Proceedings - Design Automation Conference  
By formal techniques we refer here to a range of techniques, including assertion-based dynamic validation, symbolic simulation, formal test generation, explicit-state model checking, and symbolic model  ...  The difficulty stems from both the object-oriented nature of SystemC, which is fundamental to its modeling philosophy, and its sophisticated event-driven simulation semantics.  ...  Micro-architectural validators would develop the model concurrently with the development of the MAS, by the micro-architects.  ... 
doi:10.1145/1278480.1278527 dblp:conf/dac/Vardi07 fatcat:pucrpnf2kngmrmmvi64rg65gki

Viewing object as patterns of communicating agents

Oscar Nierstrasz, Michael Papathomas
1990 SIGPLAN notices  
Following our own experience developing a concurrent object-oriented language as well of that of other researchers, we have identified several key problems in the design of a concurrency model compatible  ...  with the mechanisms of object-oriented programming.  ...  We shall then describe the design space for approaches to object-oriented concurrency, detailing some specific requirements for a consistent model of concurrent objects.  ... 
doi:10.1145/97946.97952 fatcat:3gdce3e6uvaflpeg4qtcyaipci

A Formal Object-Oriented Analysis for Software Reliability: Design for Verification [chapter]

Natasha Sharygina, James C. Browne, Robert P. Kurshan
2001 Lecture Notes in Computer Science  
Serious logical design errors that had eluded prior testing, were discovered in the course of model-checking.  ...  The design rules yield OOA models with functionally structured designs similar to those of hardware systems.  ...  This research was partially supported by the Robotics Research Group of the University of Texas at Austin.  ... 
doi:10.1007/3-540-45314-8_23 fatcat:fj2az7xc5vfopi2wcx6wlhe534

Model Checking Aspectual Pervasive Software Services

Dhaminda B. Abeywickrama, Sita Ramakrishnan
2011 2011 IEEE 35th Annual Computer Software and Applications Conference  
The crosscutting contextdependent functionality of interacting pervasive services can be modeled as aspect-oriented models in UML.  ...  Model checking is applied, first to check the behavior of the individual pervasive aspects and components, and second to verify the overall behavior of the woven model even if no errors are found in the  ...  , aspect-oriented modeling and formal model checking.  ... 
doi:10.1109/compsac.2011.41 dblp:conf/compsac/AbeywickramaR11 fatcat:o3kx7bd2knbtfpjjm37ttby3y4

Usability Hypotheses in the Design of Plaid

Joshua Sunshine, Jonathan Aldrich
2014 Proceedings of the 5th Workshop on Evaluation and Usability of Programming Languages and Tools - PLATEAU '14  
In this paper, we describe the usability-related hypotheses that drove the design of Plaid.  ...  Typestate describes ordering constraints on method calls to an object; Plaid incorporates typestate into both its object model and its type system.  ...  Acknowledgements This research was supported in part by the National Science Foundation under grant #CCF-1116907, "Foundations of Permission-Based Object-Oriented Languages."  ... 
doi:10.1145/2688204.2688219 dblp:conf/oopsla/SunshineA14 fatcat:ac4exufervbm7fglekxtpbqxfi

A Feature-oriented Database Framework for Web-based CAx Applications

S.-H. Tang, Y.-S. Ma, G. Chen
2004 Computer-Aided Design and Applications  
The information workflow and mechanisms to control concurrency and to validate features are also discussed.  ...  Mapping mechanisms are investigated to convert the EXPRESSdefined feature object information model to the database schemas.  ...  ., each members of the parameter list can be uniquely identified by a parameter_id from parameter FEATURE MODEL VALIDATION CHECK Feature validity must be checked during feature modeling operations in  ... 
doi:10.1080/16864360.2004.10738250 fatcat:mgmxfnfynjaexlytdpwjadnoqm

New Aspects in HDL's Performance Evaluation

B. Andelkovic, V. Litovski, V. Zerbe
2005 EUROCON 2005 - The International Conference on "Computer as a Tool"  
New aspects in Hardware Description Language's (HDL) performance evaluation such as objectorientation, system-level modeling, analog and mixed-signal modeling, software description and verification capabilities  ...  Features of mainstream HDLs and verification languages VHDL-AMS, Java, SystemC, AleC++, MLDesigner, OpenVera, the e language, PSL and SystemVerilog are compared in the context of these aspects.  ...  AleC++ inherited object-orientation from C++. Since modeling is an object-oriented problem by its nature this is a very useful feature.  ... 
doi:10.1109/eurcon.2005.1629974 fatcat:urttnk375ze5fj5aooznv5aam4

Automatic Construction of Object Oriented Design Models [UML Diagrams] from Natural Language Requirements Specification [chapter]

G. S. Anandha Mala, G. V. Uma
2006 Lecture Notes in Computer Science  
the 'parts of speech-tagged' words onto the Object Oriented Modeling Language elements using mapping rules which is the key to a successful implementation of user requirements.  ...  Finally the elements of the object-oriented system namely the classes, the attributes, methods and relationships between the classes, sequence of actions, the use-cases and actors are identified by mapping  ...  Input problem statement Message Records & Object Oriented Design Models REQUIREMENTS ELICITOR Implementation and Results The 'Requirements Elicitor' was implemented using JAVA and validated using  ... 
doi:10.1007/978-3-540-36668-3_152 fatcat:ilkcn6l7grgodllgqxvntu6zza

An object-oriented approach to the concurrent engineering of electronics assemblies

Wen-Yau Liang, Peter O'Grady
2002 Computers in industry (Print)  
A member of the feasible subset of components then replaces the selected component and the validity of the resulting new design model is checked.  ...  A promising approach to the research issue above is that of object-oriented design: "Object-oriented design is a method of design encompassing the process of object-oriented decomposition and a notion  ... 
doi:10.1016/s0166-3615(01)00144-0 fatcat:fydhja3kbzckzfmpwlniubv3sy

Using algebraic specification techniques in development of object-oriented frameworks [chapter]

Shin Nakajima
1999 Lecture Notes in Computer Science  
We first identify several aspects in the target problem before applying the known techniques of developing object-oriented frameworks.  ...  We use CafeOBJ to describe each aspect solution to mechanically check the integrity of the descriptions when all the aspects are put together.  ...  Tetsuo Tamai (Univ. of Tokyo) were helpful in forming the idea presented in this paper. The comments from the anonymous reviewers helped much to improve the presentation.  ... 
doi:10.1007/3-540-48118-4_38 fatcat:caxyz2ux4bahloqwuqfq24tqpu
« Previous Showing results 1 — 15 out of 75,742 results