Paper Info
Title
Instance-Level Modeling and Simulation Using Lambda-Calculus and Object-Oriented Environments.
Abstract
We present instance-level modeling and simulation approach and related software environments. First part of this paper describes the role of the instance-level modeling and simulation in the area of software engineering and presents our approach affiliated with lambda-calculus theory. Next, a supporting tool we developed is discussed. Instance-level modeling and simulation is based on manipulation with particular object instances containing real data in similar way as in database querying. This enables to validate, verify and refine the conceptual model even before its final software implementation. The idea of object-level modeling is already being implemented in several educational or development tools, however these tools are too much oriented to target programming environment (typicaly mainstream C-based languages like Java or C#) and are focused on class-level models of software implementation. This is why in the second part we propose to work with ODMG-compliant object databases and also describe our own modeling and simulation tool. Our approach has been used for rapid prototyping in our software development projects and in formal design and software engineering courses at several european and U.S. universities. Interesting outcomes of this experience are not only related to application development, but also to business engineering, where instance-level models refines the business process design.
Year
DOI
Venue
2011
10.1007/978-3-642-24175-8_11
Lecture Notes in Business Information Processing
Keywords
Field
DocType
instance-level modeling and simulation,lambda-calculus,object-oriented programming,ODMG standard,OQL,OCL,Smalltalk
Object-oriented programming,Software engineering,Conceptual model,Modeling and simulation,Computer science,Smalltalk,Software,Business process modeling,Software development,Business engineering
Conference
Volume
ISSN
Citations 
88
1865-1348
1
PageRank 
References 
Authors
0.37
6
1
Name
Order
Citations
PageRank
Vojtech Merunka13511.65