List of most recent publications on SIGSAND
- Roger H.L. Chiang – 2023 ASOCA Winner
- Join us in the magical Miami for the 2023 AIS SIGSAND!
- Participate in SAND sessions at AMCIS 2023 – August 10 – 12, 2023 in Panama City, Panama
- Glenn Browne – 2022 ASOCA Winner
- Call for Papers: Conceptual Modelling in the “Digital First” Era — A Joint AIS SIGSAND/SIGPrag Workshop
- MISQ Research Curation on Data Management
- SIGSAND at AMCIS 2022
- Basic Classes in Conceptual Modeling: Theory and Practical Guidelines
- Steven Alter – 2021 ASOCA Winner
- AI FOR COMMUNITY SCIENCE BIODIVERSITY MONITORING
- SIGSAND Diversity Statement
- Send your BPMN papers to BISE SI on BPMN!
- Research Opportunities in SAND
- Submit to SAND track at AMCIS 2021
- Virtual SIGSAND 2021 Symposium – lets write a paper together!
- From Representation to Mediation: A New Agenda for Conceptual Modeling Research in a Digital World
- Developing CRMSys at SoftTel: Traditional or Agile?
- Publications
- Call for Papers: ER 2021 in St. John’s, NL
- Generating instance models from meta models
- Specifying and executing behavioral requirements: the play-in/play-out approach
- Model driven architecture: Principles and practice
- Resolving model inconsistencies using automated regression planning
- Evaluating the effort of composing design models: a controlled experiment
- Bridging proprietary modelling and open-source model management tools: the case of PTC Integrity Modeller and Epsilon
- Epsilon Flock: a model migration language
- Polymorphic scenario-based specification models: semantics and applications
- Expert’ voice: The BabyUML discipline of programming: (where a Program =data + Communication +Algorithms)
- Contract-based modeling and verification of timed safety requirements within SysML
- Converting metamodels to graph grammars: doing without advanced graph grammar features
- Specification of invariability in OCL: Specifying invariable system parts and views
- Supporting the reconciliation of models of object behaviour
- STAIRS towards formal design with sequence diagrams
- On the realizability of collaborative services
- Expressing aspectual interactions in design: evaluating three AOM approaches in the slot machine domain
- Adherence preserving refinement of trace-set properties in STAIRS: exemplified for information flow properties and policies
- A relational approach to defining and implementing transformations between metamodels
- ESUML-EAF: a framework to develop an energy-efficient design model for embedded software
- RoboChart: modelling and verification of the functional behaviour of robotic applications
- Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism
- A systematic approach to generate B preconditions: application to the database domain
- Automatic derivation of BPEL4WS from IDEF0 process models
- Transformation challenges: from software models to performance models
- Correct-by-construction synthesis of model transformations using transformation patterns
- Reusable model transformations
- OMEGA: correct development of real time and embedded systems
- Least-change bidirectional model transformation with QVT-R and ATL
- Modeling and enforcing invariants of dynamic software architectures
- Automatic generation of built-in contract test drivers
- Non-functional properties in the model-driven development of service-oriented systems
- Promoting traits into model-driven development
- A profile and tool for modelling safety information with design information in SysML
- An approach to clone detection in sequence diagrams and its application to security analysis
- A formal approach to model refactoring and model refinement
- A model-driven method for describing and predicting the reliability of composite services
- Graph and model transformation tools for model migration: Empirical results from the transformation tool contest
- Pattern reification as the basis for description-driven systems
- VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML (The Mathematics of Metamodeling is Metamodeling Mathematics)
- The KeY tool: Integrating object oriented design and formal verification
- Modeling robustness behavior using aspect-oriented modeling to support robustness testing of industrial systems
- Incorporating message weights in UML-based analysis of behavioral dependencies in distributed systems
- Emerging OCL tools
