301,047 Hits in 7.7 sec

A Review of Object-Oriented Approaches in Formal Methods

A. Ruiz-Delgado
1995 Computer journal  
This paper presents a survey of recent approaches in the application of the object-oriented paradigm to formal specification.  ...  In this paper we review some of these techniques and discuss problems and issues relevant to the combination of formal methods and object orientation.  ...  Object-orientation people need formal techniques in order to support their methodologies with a sound formal basis and formal methods people use object-oriented engineering concepts to make their mathematical  ... 
doi:10.1093/comjnl/38.10.777 fatcat:ls2fzkgannbrhn2qox7mrq2gye

Business Suitability Principles for Workflow Modelling [article]

Alistair P. Barros, Arthur H. M. ter Hofstede, Henderik A. Proper, Peter N. Creasy
2021 arXiv   pre-print
A general assessment is first conducted on some integrated techniques characterising well-known paradigms - structured process modelling, object-oriented modelling, behavioural process modelling and business-oriented  ...  Traditionally, the success of conceptual modelling techniques has depended largely on the adequacy of conceptualisation, expressive power, comprehensibility and formal foundation.  ...  [Ver93] formally demonstrates an integration of an object-oriented modelling technique, Simcon, and PrT-nets.  ... 
arXiv:2105.12654v1 fatcat:tfzbf3w3tzecnohrkzqguszqh4

Integrating Theories and Techniques for Program Modelling, Design and Verification [chapter]

Bernard K. Aichernig, He Jifeng, Zhiming Liu, Mike Reed
2008 Lecture Notes in Computer Science  
Integrating Component-Based and Object-Oriented Techniques. A component may not have to be designed and implemented in an object-oriented framework.  ...  This will provide theoretical foundation for integration of the formal design techniques with practical engineering development methods.  ...  We have formalized the specification at the top level, and we are going to show how to justify the refinement step by step. We will have three steps of refinement for CORBA.  ... 
doi:10.1007/978-3-540-69149-5_31 fatcat:6wvzxhedpfdmxbzrzjumjov75m

Verification validation and accreditation of simulation models

Osman Balci
1997 Proceedings of the 29th conference on Winter simulation - WSC '97  
Another taxonomy of 38 V&V techniques is presented for object-oriented simulation models.  ...  A taxonomy of more than 77 V&V techniques is provided to assist simulationists in selecting proper approaches for conventional simulation model V&V.  ...  ACKNOWLEDGMENTS This research was sponsored in part by the Defense Modeling and Simulation Office (DMSO) under contract N60921-89-D-A239-052 through the Systems Research Center at Virginia Tech.  ... 
doi:10.1145/268437.268462 fatcat:bmdhddftyzbmtpgiigyhxmdnmq

Formal techniques for OO software development

Pierre America, Derek Coleman, Roger Duke, Doug Lea, Gary Leavens
1991 Conference proceedings on Object-oriented programming systems, languages, and applications - OOPSLA '91  
It will require a conscious effort to combine the naturalness of objects with the precision of formality in order to improve the quality of object-oriented techniques.  ...  Background In this panel, we discuss the relevance of formal techniques for applying object-orientation.  ... 
doi:10.1145/117954.117967 dblp:conf/oopsla/ChampeauxACDLLH91 fatcat:qmkuqtonhbajxoczqtd27wvrqe

Systems, Views and Models of UML [article]

Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe, Wolfgang Schwerin
2014 arXiv   pre-print
This model provides the basis both for integrating the various description techniques of UML and for implementing methodical support.  ...  After describing the basic concepts of the system model, we give a short overview of the UML description techniques.  ...  The SysLab method, just like the Unified Method, is a view-oriented, integrated, and object-oriented development method. Its description techniques are deliberately similar to those used in the UML.  ... 
arXiv:1412.2458v1 fatcat:r7vqyudldzaepa3zhtsrwpix5y

Precise Semantics for Object-Oriented Modeling Techniques [chapter]

H. Kilov, B. Rumpe
1998 Lecture Notes in Computer Science  
In his Ph.D. thesis he has developed an approach for an integrated formalization of object-oriented modeling techniques that capture structure as well as behavior.  ...  Scope of the Workshop Object-oriented modeling techniques (OOMTs) are a way to produce various specifications.  ... 
doi:10.1007/3-540-69687-3_31 fatcat:gwuujf7dsncgdgcpz36snlnxna

Methods and Tools for Formal Software Engineering [chapter]

Zhiming Liu, R. Venkatesh
2008 Lecture Notes in Computer Science  
We propose a collaboration project to integrate the research effort and results obtained at UNU-IIST on formal techniques in component and object systems with research at TRDDC in modelling and development  ...  The main theme is an integration of verification techniques with engineering methods of modelling and design, and an integration of verification tools and transformation tools.  ...  The main theme of the project is to integrate formal verification techniques and tools with design techniques and tools of model (or specification) transformations.  ... 
doi:10.1007/978-3-540-69149-5_4 fatcat:p5rv33tiinbgnkwwbg56j3syva

A Survey on Refinement in Formal Methods and Software Engineering

Muhammed Basheer Jasser, University Putra Malaysia 43400 UPM Serdang, Selangor, Malaysia
2019 International Journal of Advanced Trends in Computer Science and Engineering  
Accordingly, they can decide which formal method is to be used in modelling systems via refinement or which formal method is to be extended with new concepts and notions to support refinement.  ...  Refinement has to be understood carefully in the context of formal specification and verification.  ...  It shares similar properties with UML object oriented modelling language, but UML-B has its own meta-model.  ... 
doi:10.30534/ijatcse/2019/1681.42019 fatcat:6ns7lcojsrfurnpv2orxmte3ze

Change Management In Business Process Modeling Based On Object Oriented Petri Net

Bassam Atieh Rajabi, Sai Peck Lee
2009 Zenodo  
In this research, an adaptive and flexible framework based on the integration between Object Oriented diagramming technique and Petri Net modeling language is proposed in order to support change management  ...  techniques for BPM and increase the representation capability for Object Oriented modeling for the dynamic changes in the runtime instances.  ...  Integration of Petri Nets into Object Oriented techniques: a system is structured with OO techniques. First, the relevant objects of the discourse world and their mutual relationships are identified.  ... 
doi:10.5281/zenodo.1072259 fatcat:dyqmfmrthbf4bohgtvog4iyheu

Future trends of TAPSOFT [chapter]

Hartmut Ehrig, Bernd Mahr
1997 Lecture Notes in Computer Science  
and Semantic Theories -From Algebraic Specification to Integration of Formal Techniques -From Trees to Graphs, Graph Transformations and Visual Languages -From Abstract Data Types to Object-Oriented Techniques  ...  Moreover, there is a huge number of semi-formal specification techniques, like entity-relationship diagrams and object-oriented design techniques, which are used for software development.  ... 
doi:10.1007/bfb0030583 fatcat:sjbbqk7ypzd5hp2jpx2in6rvya

Automated support for the development of formal object-oriented requirements specifications [chapter]

Robert B. Jackson, David W. Embley, Scott N. Woodfield
1994 Lecture Notes in Computer Science  
The problem persists because there is a paucity of formal, object-oriented specification models that are seamlessly integrated into the development cycle and that are supported by automated tools.  ...  Here, we present a formal object-oriented specification model (OSS), which is a seamless extension of an object-oriented analysis model (OSA), and which is supported by a tool (IPOST) that automatically  ...  Acknowledgments: To Steve Clyde and Jeff Pinkston who helped with this research.  ... 
doi:10.1007/3-540-58113-8_167 fatcat:bo6lzj2ddnfuvlqn52biiqwr5m

ICSE 97 doctoral consortium (workshop)

Michal Young
1997 Proceedings of the 19th international conference on Software engineering - ICSE '97  
As au example, integrating a Unix titer with a Corba object is problematic: the titer expects to interact through streams; the object, through method calls.  ...  the specification is captured and can be exploited to reduce the size of the state space in techniques like model checking.  ... 
doi:10.1145/253228.253835 dblp:conf/icse/Young97 fatcat:brofert5i5hj5bq4cxrid3jhgi

Formal Description Techniques for Object Management [chapter]

J. Derrick, P. F. Linington, S. J. Thompson
1995 Integrated Network Management IV  
This paper examines the use of formal description techniques to the specification of managed objects.  ...  Application of formal techniques can make the specifications more precise, reducing the ambiguity inherent in natural language, and can automate some or all of the process of implementation and testing  ...  Object-Z [Object-Z] is a specification language based on Z but with extensions to support an object-oriented specification style.  ... 
doi:10.1007/978-0-387-34890-2_54 fatcat:e73jfe5mwnaxvb2n3oyysdstn4

Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models [chapter]

Alban Rasse, Jean-Marc Perronne, Pierre-Alain Muller, Bernard Thirion
2006 Lecture Notes in Computer Science  
This approach relies on metamodeling, model-transformations and process algebra and combines semi-formal object-oriented models with formal validation.  ...  We then target an implementation platform, which conforms to the semantics of the formal technical space; in turn, this ensure conformance of the final application to the validated specification.  ...  It is based on existing techniques, from different fields of software engineering, and integrates: a specification phase based on object-oriented decomposition. a validation phase based on formal methods  ... 
doi:10.1007/11663430_5 fatcat:x2ka52wkhjaopjpq7nfck4wfsm
« Previous Showing results 1 — 15 out of 301,047 results