A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
Filters
A Review of Object-Oriented Approaches in Formal Methods
1995
Computer journal
Preserved Fulltext
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]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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]
2008
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
1997
Proceedings of the 29th conference on Winter simulation - WSC '97
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
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
1991
Conference proceedings on Object-oriented programming systems, languages, and applications - OOPSLA '91
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2014
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
1998
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2008
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2019
International Journal of Advanced Trends in Computer Science and Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2009
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
1997
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
1994
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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)
1997
Proceedings of the 19th international conference on Software engineering - ICSE '97
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
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]
1995
Integrated Network Management IV
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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